morphling-scalacheck
API
Generated with
morphling-scalacheck/morphling.scalacheck/ToGen

ToGen

morphling.scalacheck.ToGen$
See theToGen companion trait
object ToGen

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ToGen.type

Members list

Type members

Classlikes

trait AllOps[S[_], A] extends Ops[S, A]

Attributes

Supertypes
trait Ops[S, A]
trait Serializable
class Object
trait Matchable
class Any
trait Ops[S[_], A] extends Serializable

Attributes

Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
trait AllOps[S, A]
trait ToToGenOps extends Serializable

Attributes

Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
object nonInheritedOps.type
object nonInheritedOps extends ToToGenOps

Attributes

Supertypes
trait ToToGenOps
trait Serializable
class Object
trait Matchable
class Any
Self type
object ops

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ops.type

Value members

Concrete methods

def annGenAlg[P[_], Ann[_]](using evidence$5: ToGen[P], interpret: FunctionK[Ann, [T] =>> () => Gen[T]]): HAlgebra[[Y1[_], Z1] =>> HEnvT[Ann, [Y[_], Z] =>> SchemaF[P, Y, Z], Y1, Z1], Gen]
def apply[S[_]](implicit instance: ToGen[S]): ToGen[S]

Summon an instance of ToGen for S.

Summon an instance of ToGen for S.

Attributes

def genAlg[P[_]](using evidence$4: ToGen[P]): HAlgebra[[Y[_], Z] =>> SchemaF[P, Y, Z], Gen]
def recordGen[P[_], I](rb: FreeApplicative[[_] =>> PropSchema[I, Gen, _$30], I])(using evidence$6: ToGen[P]): Gen[I]

Givens

Givens

given given_ToGen_AnnotatedSchema[P[_], A[_]](using evidence$2: ToGen[P], evidence$3: FunctionK[A, [T] =>> () => Gen[T]]): ToGen[[_] =>> AnnotatedSchema[P, A, _$12]]
given given_ToGen_EitherK[P[_], Q[_]](using evidence$7: ToGen[P], evidence$8: ToGen[Q]): ToGen[[_] =>> EitherK[P, Q, _$35]]
given given_ToGen_Schema[P[_]](using evidence$1: ToGen[P]): ToGen[[_] =>> Schema[P, _$4]]
Generated with