morphling-tapir
API
Generated with
morphling-tapir/morphling.tapir/ToSchema

ToSchema

morphling.tapir.ToSchema
See theToSchema companion trait
object ToSchema

Attributes

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

Members list

Value members

Concrete methods

def annSchemaAlg[P[_], Ann[_]](using evidence$1: ToSchema[P], interpret: FunctionK[Ann, [T] =>> () => Schema[T]]): HAlgebra[[Y1[_], Z1] =>> HEnvT[Ann, [Y[_], Z] =>> SchemaF[P, Y, Z], Y1, Z1], Schema]
def apply[P[_]](using ts: ToSchema[P]): ToSchema[P]
def recordSchema[P[_], I](rb: FreeApplicative[[_] =>> PropSchema[I, Schema, _$33], I])(using evidence$1: ToSchema[P]): Schema[I]
def schemaAlg[P[_]](using evidence$1: ToSchema[P]): HAlgebra[[Y[_], Z] =>> SchemaF[P, Y, Z], Schema]

Givens

Givens

given given_ToSchema_AnnotatedSchema[P[_], A[_]](using evidence$1: ToSchema[P], evidence$2: FunctionK[A, [T] =>> () => Schema[T]]): ToSchema[[_] =>> AnnotatedSchema[P, A, _$13]]
given given_ToSchema_EitherK[P[_], Q[_]](using evidence$1: ToSchema[P], evidence$2: ToSchema[Q]): ToSchema[[_] =>> EitherK[P, Q, _$40]]
given given_ToSchema_Schema[P[_]](using evidence$1: ToSchema[P]): ToSchema[[_] =>> Schema[P, _$5]]
Generated with