Module

Polyform.Input.Interpret

Package
purescript-polyform
Repository
paluh/purescript-polyform

#intForm Source

intForm :: forall v ns' ns n q form eff e attrs. Monoid e => Cons n Unit ns ns' => IsSymbol n => ({ name :: SProxy n, value :: V e v | attrs } -> form) -> { name :: SProxy n, value :: V e v | attrs } -> Validation (Run (int :: INT ns' e q | eff)) e Int v -> Component (Run (int :: INT ns' e q | eff)) form q v

#optIntForm Source

optIntForm :: forall v n q form eff e attrs. Monoid e => ({ name :: SProxy n, value :: V e (Maybe v) | attrs } -> form) -> { name :: SProxy n, value :: V e (Maybe v) | attrs } -> Validation (Run (optInt :: FProxy (OptIntF n q e) | eff)) e Int v -> Component (Run (optInt :: FProxy (OptIntF n q e) | eff)) form q (Maybe v)

#stringForm Source

stringForm :: forall v ns' ns n q form eff e attrs. Cons n Unit ns ns' => IsSymbol n => Semigroup e => ({ name :: SProxy n, value :: V e v | attrs } -> form) -> { name :: SProxy n, value :: V e v | attrs } -> Validation (Run (string :: STRING ns' e q | eff)) e String v -> Component (Run (string :: STRING ns' e q | eff)) form q v

#optStringForm Source

optStringForm :: forall v n q form eff e attrs. Monoid e => ({ name :: SProxy n, value :: V e (Maybe v) | attrs } -> form) -> { name :: SProxy n, value :: V e (Maybe v) | attrs } -> Validation (Run (optString :: FProxy (OptStringF n q e) | eff)) e String v -> Component (Run (optString :: FProxy (OptStringF n q e) | eff)) form q (Maybe v)