zio-test-magnolia
zio-test-magnolia
zio.test.magnolia
DeriveDiff
DeriveGen
DeriveGen
LowPri
zio-test-magnolia
/
zio.test.magnolia
/
DeriveGen
DeriveGen
object
DeriveGen
Companion:
class
Graph
Supertypes
Self type
class
Object
trait
Matchable
class
Any
DeriveGen
.type
Value members
Givens
Value members
Concrete methods
def
apply
[
A
](
using
DeriveGen
[
A
]):
Gen
[
Any
,
A
]
inline
def
gen
[
T
](
using
m:
Of
[
T
]):
DeriveGen
[
T
]
def
genProduct
[
T
](
p:
ProductOf
[
T
],
instances:
=>
List
[
DeriveGen
[
_
]]):
Gen
[
Any
,
T
]
def
genSum
[
T
](
s:
SumOf
[
T
],
instances:
=>
List
[
DeriveGen
[
_
]]):
Gen
[
Any
,
T
]
inline
def
instance
[
A
](
gen:
=>
Gen
[
Any
,
A
]):
DeriveGen
[
A
]
inline
def
summonAll
[
T
<:
Tuple
]:
List
[
DeriveGen
[
_
]]
Givens
Givens
given
derived
[
T
](
using
m:
Of
[
T
]):
DeriveGen
[
T
]
given
given_DeriveGen_*:
[
A
,
T
<:
Tuple
](
using
a:
DeriveGen
[
A
],
t:
DeriveGen
[
T
]):
DeriveGen
[
A
*:
T
]
given
given_DeriveGen_BigDecimal
:
DeriveGen
[
BigDecimal
]
given
given_DeriveGen_Boolean
:
DeriveGen
[
Boolean
]
given
given_DeriveGen_Byte
:
DeriveGen
[
Byte
]
given
given_DeriveGen_Char
:
DeriveGen
[
Char
]
given
given_DeriveGen_Chunk
[
A
](
using
a:
DeriveGen
[
A
]):
DeriveGen
[
Chunk
[
A
]]
given
given_DeriveGen_Double
:
DeriveGen
[
Double
]
given
given_DeriveGen_Either
[
A
,
B
](
using
a:
DeriveGen
[
A
],
b:
DeriveGen
[
B
]):
DeriveGen
[
Either
[
A
,
B
]]
given
given_DeriveGen_EmptyTuple
:
DeriveGen
[
EmptyTuple
]
given
given_DeriveGen_Float
:
DeriveGen
[
Float
]
given
given_DeriveGen_Function
[
A
,
B
](
using
b:
DeriveGen
[
B
]):
DeriveGen
[
A
=>
B
]
given
given_DeriveGen_Instant
:
DeriveGen
[
Instant
]
given
given_DeriveGen_Int
:
DeriveGen
[
Int
]
given
given_DeriveGen_Iterable
[
A
](
using
a:
DeriveGen
[
A
]):
DeriveGen
[
Iterable
[
A
]]
given
given_DeriveGen_List
[
A
](
using
a:
DeriveGen
[
A
]):
DeriveGen
[
List
[
A
]]
given
given_DeriveGen_LocalDate
:
DeriveGen
[
LocalDate
]
given
given_DeriveGen_LocalDateTime
:
DeriveGen
[
LocalDateTime
]
given
given_DeriveGen_LocalTime
:
DeriveGen
[
LocalTime
]
given
given_DeriveGen_Long
:
DeriveGen
[
Long
]
given
given_DeriveGen_Map
[
A
,
B
](
using
a:
DeriveGen
[
A
],
b:
DeriveGen
[
B
]):
DeriveGen
[
Map
[
A
,
B
]]
given
given_DeriveGen_Option
[
A
](
using
a:
=>
DeriveGen
[
A
]):
DeriveGen
[
Option
[
A
]]
given
given_DeriveGen_PartialFunction
[
A
,
B
](
using
b:
DeriveGen
[
B
]):
DeriveGen
[
PartialFunction
[
A
,
B
]]
given
given_DeriveGen_Seq
[
A
](
using
a:
DeriveGen
[
A
]):
DeriveGen
[
Seq
[
A
]]
given
given_DeriveGen_Set
[
A
](
using
a:
DeriveGen
[
A
]):
DeriveGen
[
Set
[
A
]]
given
given_DeriveGen_Short
:
DeriveGen
[
Short
]
given
given_DeriveGen_String
:
DeriveGen
[
String
]
given
given_DeriveGen_UUID
:
DeriveGen
[
UUID
]
given
given_DeriveGen_Unit
:
DeriveGen
[
Unit
]
given
given_DeriveGen_Vector
[
A
](
using
a:
DeriveGen
[
A
]):
DeriveGen
[
Vector
[
A
]]