morphling.tapir.ToSchema$
See theToSchema companion trait
object ToSchema
Attributes
Members list
Type members
Classlikes
Attributes
- Supertypes
trait Ops[S[_], A] extends Serializable
Attributes
- Supertypes
-
trait Serializableclass Objecttrait Matchableclass Any
- Known subtypes
-
trait ToToSchemaOps extends Serializable
Attributes
- Supertypes
-
trait Serializableclass Objecttrait Matchableclass Any
- Known subtypes
-
object nonInheritedOps.type
object nonInheritedOps extends ToToSchemaOps
Attributes
- Supertypes
- Self type
-
nonInheritedOps.type
Value members
Concrete methods
def annSchemaAlg[P[_], Ann[_]](using evidence$5: ToSchema[P], interpret: FunctionK[Ann, [T] =>> () => Schema[T]]): HAlgebra[[Y1[_], Z1] =>> HEnvT[Ann, [Y[_], Z] =>> SchemaF[P, Y, Z], Y1, Z1], Schema]
def recordSchema[P[_], I](rb: FreeApplicative[[_] =>> PropSchema[I, Schema, _$32], I])(using evidence$6: ToSchema[P]): Schema[I]
Givens
Givens
given given_ToSchema_AnnotatedSchema[P[_], A[_]](using evidence$2: ToSchema[P], evidence$3: FunctionK[A, [T] =>> () => Schema[T]]): ToSchema[[_] =>> AnnotatedSchema[P, A, _$12]]
given given_ToSchema_EitherK[P[_], Q[_]](using evidence$7: ToSchema[P], evidence$8: ToSchema[Q]): ToSchema[[_] =>> EitherK[P, Q, _$39]]
In this article