zio-test-magnolia
zio-test-magnolia
API
zio.test.magnolia
DeriveDiff
DeriveGen
DeriveGen
LowPri
zio-test-magnolia
/
zio.test.magnolia
/
DeriveDiff
DeriveDiff
zio.test.magnolia.DeriveDiff$
object
DeriveDiff
extends
AutoDerivation
[
Diff
]
with
LowPri
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
LowPri
trait
AutoDerivation
[
Diff
]
trait
Derivation
[
Diff
]
trait
CommonDerivation
[
Diff
]
class
Object
trait
Matchable
class
Any
Self type
DeriveDiff
.type
Clear all
Members list
Concise view
Type members
Inherited types
type
Typeclass
[
T
] =
TypeClass
[
T
]
Attributes
Inherited from:
CommonDerivation
Value members
Concrete methods
def
join
[
A
](
caseClass
:
CaseClass
[
Diff
,
A
]):
Diff
[
A
]
def
split
[
A
](
ctx
:
SealedTrait
[
Diff
,
A
]):
Diff
[
A
]
Inherited methods
inline
def
derived
[
A
](
using
Of
[
A
]):
TypeClass
[
A
]
Attributes
Inherited from:
Derivation
inline
def
derivedMirror
[
A
](
using
mirror
:
Of
[
A
]):
TypeClass
[
A
]
Attributes
Inherited from:
Derivation
inline
def
derivedMirrorProduct
[
A
](
product
:
ProductOf
[
A
]):
TypeClass
[
A
]
Attributes
Inherited from:
CommonDerivation
inline
def
derivedMirrorSum
[
A
](
sum
:
SumOf
[
A
]):
TypeClass
[
A
]
Attributes
Inherited from:
Derivation
inline
def
getParams
[
T
,
Labels
<:
Tuple
,
Params
<:
Tuple
](
annotations
:
Map
[
String
,
List
[
Any
]],
typeAnnotations
:
Map
[
String
,
List
[
Any
]],
repeated
:
Map
[
String
,
Boolean
],
idx
:
Int
):
List
[
Param
[
Typeclass
,
T
]]
Attributes
Inherited from:
CommonDerivation
inline
def
getParams_
[
T
,
Labels
<:
Tuple
,
Params
<:
Tuple
](
annotations
:
Map
[
String
,
List
[
Any
]],
inheritedAnnotations
:
Map
[
String
,
List
[
Any
]],
typeAnnotations
:
Map
[
String
,
List
[
Any
]],
repeated
:
Map
[
String
,
Boolean
],
idx
:
Int
):
List
[
Param
[
Typeclass
,
T
]]
Attributes
Inherited from:
CommonDerivation
transparent inline
def
subtypes
[
T
,
SubtypeTuple
<:
Tuple
](
m
:
SumOf
[
T
],
idx
:
Int
):
List
[
Subtype
[
Typeclass
,
T
,
_
]]
Attributes
Inherited from:
Derivation
Givens
Inherited givens
inline
given
autoDerived
[
A
](
using
Of
[
A
]):
TypeClass
[
A
]
Attributes
Inherited from:
AutoDerivation
given
fallback
[
A
]:
Diff
[
A
]
Attributes
Inherited from:
LowPri
Implicits
Implicits
implicit inline
def
gen
[
A
:
Of
]:
Diff
[
A
]