Data.Schematic.Schema

type family All (c :: k -> Constraint) (s :: [k]) :: Constraint where ...

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

data TextConstraint

data NumberConstraint

data ArrayConstraint

data Schema

data FieldRepr

knownFieldName

knownFieldSchema

data JsonRepr

fromOptional

class FalseConstraint a

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