Module

Record.Optional.Fields.Types

Package: purescript-record-ptional-fields
Repository: katsujukou/purescript-record-optional-fields

#Context Source

data Context

#Root Source

data Root :: Row Type -> Type -> Contextdata Root t0 t1

Instances

SetContextRow r (Root _1) (Root r)

#AtProp Source

data AtProp :: (Type -> Context) -> Symbol -> Row Type -> Type -> Contextdata AtProp t0 t1 t2 t3

Instances

SetContextRow r (AtProp ctx prop _1) (AtProp ctx prop r)

#ErrorDesc Source

data ErrorDesc

#UnsupportedProp Source

data UnsupportedProp :: Symbol -> Row Type -> ErrorDescdata UnsupportedProp t0 t1

#UnexpectedType Source

data UnexpectedType :: Type -> Type -> ErrorDescdata UnexpectedType t0 t1

#TypeError Source

data TypeError :: Context -> ErrorDesc -> Typedata TypeError ctx err

#SetContextRow Source

class SetContextRow :: Row Type -> (Type -> Context) -> (Type -> Context) -> Constraintclass SetContextRow r ctx ctx' | r ctx -> ctx'

Instances

SetContextRow r (Root _1) (Root r)
SetContextRow r (AtProp ctx prop _1) (AtProp ctx prop r)

Modules: Record.Optional.Fields; Record.Optional.Fields.Errors; Record.Optional.Fields.Types