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

Value members

Concrete methods

def annGenAlg[P[_], Ann[_]](using evidence$1: 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[_]](using toGen: ToGen[S]): ToGen[S]
def genAlg[P[_]](using evidence$1: ToGen[P]): HAlgebra[[Y[_], Z] =>> SchemaF[P, Y, Z], Gen]
def recordGen[P[_], I](rb: FreeApplicative[[_] =>> PropSchema[I, Gen, _$31], I])(using evidence$1: ToGen[P]): Gen[I]

Givens

Givens

given given_ToGen_AnnotatedSchema[P[_], A[_]](using evidence$1: ToGen[P], evidence$2: FunctionK[A, [T] =>> () => Gen[T]]): ToGen[[_] =>> AnnotatedSchema[P, A, _$13]]
given given_ToGen_EitherK[P[_], Q[_]](using evidence$1: ToGen[P], evidence$2: ToGen[Q]): ToGen[[_] =>> EitherK[P, Q, _$36]]
given given_ToGen_Schema[P[_]](using evidence$1: ToGen[P]): ToGen[[_] =>> Schema[P, _$5]]
Generated with