Polyform.Input.Interpret

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

optIntForm :: forall attrs e eff form q n v. Monoid e => ({ value :: V e (Maybe v), name :: SProxy n | attrs } -> form) -> { value :: V e (Maybe v), name :: SProxy n | 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 :: forall attrs e eff form q n ns ns' v. Cons n Unit ns ns' => IsSymbol n => Semigroup e => ({ value :: V e v, name :: SProxy n | attrs } -> form) -> { value :: V e v, name :: SProxy n | attrs } -> Validation (Run (string :: STRING ns' e q | eff)) e String v -> Component (Run (string :: STRING ns' e q | eff)) form q v

optStringForm :: forall attrs e eff form q n v. Monoid e => ({ value :: V e (Maybe v), name :: SProxy n | attrs } -> form) -> { value :: V e (Maybe v), name :: SProxy n | 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)