refined4s-doobie-ce3
refined4s-doobie-ce3
refined4s.modules.doobie.derivation
DoobieNewtypeGet
DoobieNewtypeGetPut
DoobiePut
DoobieRefinedGet
DoobieRefinedGetPut
refined4s.modules.doobie.derivation.generic
auto
auto
refined4s.modules.doobie.derivation.types
all
all
refined4s-doobie-ce3
/
refined4s.modules.doobie.derivation.generic
/
auto
auto
trait
auto
Since:
2023-12-16
Companion:
object
Graph
Supertypes
Known subtypes
class
Object
trait
Matchable
class
Any
object
auto
.type
Givens
Givens
Givens
given
derivedNewtypeGet
[
A
,
B
](
using
coercible:
Coercible
[
A
,
B
],
getA:
Get
[
A
]):
Get
[
B
]
given
derivedPut
[
A
,
B
](
using
coercible:
Coercible
[
A
,
B
],
put:
Put
[
B
]):
Put
[
A
]
given
derivedRefinedGet
[
A
,
B
](
using
refinedCtor:
RefinedCtor
[
B
,
A
],
getA:
Get
[
A
],
showA:
Show
[
A
]):
Get
[
B
]