morphling-scalacheck/morphling.scalacheck/ToGen

ToGen

object ToGen
Companion:
class
class Object
trait Matchable
class Any
ToGen.type

Type members

Classlikes

trait AllOps[S[_], A] extends Ops[S, A]
trait Ops[S[_], A] extends Serializable
trait ToToGenOps extends Serializable
object nonInheritedOps extends ToToGenOps
object ops

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]
@inline
def apply[S[_]](implicit instance: ToGen[S]): ToGen[S]

Summon an instance of ToGen for S.

Summon an instance of ToGen for S.

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]]