package derive
- Alphabetic
- Public
- All
Type Members
- trait CoproductInstances extends AnyRef
- trait CoproductSingletons[C <: Coproduct] extends AnyRef
- trait DerivedInstances extends AnyRef
- trait FieldTypeInstances extends AnyRef
- trait HListInstances extends AnyRef
- trait HListSingletons[L <: HList] extends AnyRef
- trait LowPrioritySingletons extends AnyRef
-
trait
MkCogen[T] extends AnyRef
Derives
Cogen[T]
instances forT
anHList
, aCoproduct
, a case class or an ADT (or more generally, a type representedGeneric
ally as anHList
or aCoproduct
).Derives
Cogen[T]
instances forT
anHList
, aCoproduct
, a case class or an ADT (or more generally, a type representedGeneric
ally as anHList
or aCoproduct
).Use like val cogen: Cogen[T] = MkCogen[T].cogen or look up for an implicit
MkCogen[T]
. - trait MkCoproductCogen[C <: Coproduct] extends AnyRef
- trait MkCoproductGen[C <: Coproduct] extends AnyRef
- trait MkCoproductShrink[C <: Coproduct] extends AnyRef
-
trait
MkGen[T] extends AnyRef
Derives
Gen[T]
instances forT
anHList
, aCoproduct
, a case class or an ADT (or more generally, a type representedGeneric
ally as anHList
or aCoproduct
).Derives
Gen[T]
instances forT
anHList
, aCoproduct
, a case class or an ADT (or more generally, a type representedGeneric
ally as anHList
or aCoproduct
).Use like val gen: Gen[T] = MkGen[T].gen or look up for an implicit
MkGen[T]
. - abstract class MkGenLowPriority extends AnyRef
- trait MkHListCogen[L <: HList] extends AnyRef
- trait MkHListGen[L <: HList] extends AnyRef
- trait MkHListShrink[L <: HList] extends AnyRef
- trait MkRecursiveCoproductGen[C <: Coproduct] extends AnyRef
-
trait
MkShrink[T] extends AnyRef
Derives
Shrink[T]
instances forT
anHList
, aCoproduct
, a case class or an ADT (or more generally, a type representedGeneric
ally as anHList
or aCoproduct
).Derives
Shrink[T]
instances forT
anHList
, aCoproduct
, a case class or an ADT (or more generally, a type representedGeneric
ally as anHList
or aCoproduct
).Use like val shrink: Shrink[T] = MkShrink[T].shrink or look up for an implicit
MkShrink[T]
. - sealed abstract class Recursive[T] extends AnyRef
- trait SingletonInstances extends AnyRef
-
trait
Singletons[T] extends AnyRef
Type class providing the instances of
T
that can be built out of singletons only.Type class providing the instances of
T
that can be built out of singletons only.Used by the derived Shrink instances for ADTs in particular.
Value Members
- object CoproductSingletons
- object HListSingletons
- object MkCogen
- object MkCoproductCogen
- object MkCoproductGen
- object MkCoproductShrink
- object MkGen extends MkGenLowPriority
- object MkHListCogen
- object MkHListGen
- object MkHListShrink
- object MkRecursiveCoproductGen
- object MkShrink
- object Recursive
- object Singletons extends LowPrioritySingletons