Module

Polyform.Input.Interpret.Validation

#StringF 

data StringF n e q a

Constructors

Instances

#STRING 

type STRING n e q = FProxy (StringF (Variant n) e q)

#_string 

_string :: SProxy "string"

#string 

string :: forall e q eff name names names'. Cons name Unit names names' => IsSymbol name => SProxy name -> Validation (Run (string :: STRING names' e q | eff)) e q String

#OptStringF 

data OptStringF n q e a

Constructors

Instances

#OPTSTRING 

type OPTSTRING n q e a = FProxy (OptStringF n q e)

#_optString 

_optString :: SProxy "optString"

#optString 

optString :: forall a e eff n q. SProxy n -> Validation (Run (optString :: OPTSTRING n q e a | eff)) e q (Maybe String)

#IntF 

data IntF n e q a

Constructors

Instances

#INT 

type INT names e q = FProxy (IntF (Variant names) e q)

#_int 

_int :: SProxy "int"

#int 

int :: forall e q eff name names names'. Cons name Unit names names' => IsSymbol name => SProxy name -> Validation (Run (int :: INT names' e q | eff)) e q Int

#OptIntF 

data OptIntF n q e a

Constructors

Instances

#OPTINT 

type OPTINT n q e a = FProxy (OptIntF n q e)

#_optInt 

_optInt :: SProxy "optInt"

#optInt 

optInt :: forall a e eff n q. SProxy n -> Validation (Run (optInt :: OPTINT n q e a | eff)) e q (Maybe Int)

Modules