Data.Schematic.Schema

type family CRepr (s :: Schema) :: Type where ...

data TextConstraint

data DemotedTextConstraint

data NumberConstraint

data DemotedNumberConstraint

data ArrayConstraint

data DemotedArrayConstraint

data Schema

data DemotedSchema

data FieldRepr

toJsonRepr

knownFieldName

knownFieldSchema

data JsonRepr

fromOptional

class FalseConstraint a

type family TopLevel (schema :: Schema) :: Constraint where ...