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