Module

Polyform.Input.Interpret.Validation

Package: purescript-polyform
Repository: paluh/purescript-polyform

#StringF Source

data StringF n e q a

Constructors

StringF n q (V e String -> a)

Instances

Functor (StringF n q e)

#STRING Source

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

#_string Source

_string :: SProxy "string"

#string Source

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

#OptStringF Source

data OptStringF n q e a

Constructors

OptStringF (SProxy n) q (V e (Maybe String) -> a)

Instances

Functor (OptStringF n q e)

#OPTSTRING Source

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

#_optString Source

_optString :: SProxy "optString"

#optString Source

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

#IntF Source

data IntF n e q a

Constructors

IntF n q (V e Int -> a)

Instances

Functor (IntF n e q)

#INT Source

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

#_int Source

_int :: SProxy "int"

#int Source

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

#OptIntF Source

data OptIntF n q e a

Constructors

OptIntF (SProxy n) q (V e (Maybe Int) -> a)

Instances

Functor (OptIntF n q e)

#OPTINT Source

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

#_optInt Source

_optInt :: SProxy "optInt"

#optInt Source

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

Modules: Polyform.Field; Polyform.Field.Generic; Polyform.Field.Generic.Option; Polyform.Field.Html5; Polyform.Field.Validation.Combinators; Polyform.Form.Component; Polyform.Input.Foreign; Polyform.Input.Http; Polyform.Input.Interpret; Polyform.Input.Interpret.Http; Polyform.Input.Interpret.Record; Polyform.Input.Interpret.Validation; Polyform.Validation; Polyform.Validation.Par