Polyform.Form.Component

newtype Component m form i o

Tiny wrapper around validation which also carries default "form" value.

Constructors

• Component { default :: form, validation :: Validation m form i o }

Instances

• Newtype (Component m e a b) _
• (Functor m) => Functor (Component m e a)
• (Semigroup e, Monad m) => Apply (Component m e a)
• (Monoid e, Monad m) => Applicative (Component m e a)
• (Monoid e, Monad m) => Alt (Component m e a)
• (Monad m, Semigroup e) => Semigroupoid (Component m e)
• (Monad m, Monoid e) => Category (Component m e)
• (Monad m, Monoid e) => Profunctor (Component m e)

runValidation :: forall m o i form. Component m form i o -> (i -> m (V form o))

fromValidation :: forall m e b a. Monoid e => Validation m e a b -> Component m e a b

hoistFn :: forall m e b a. Monoid e => Monad m => (a -> b) -> Component m e a b

hoistFnV :: forall m e b a. Monoid e => Monad m => (a -> V e b) -> Component m e a b

hoistFnMV :: forall m e b a. Monoid e => Monad m => (a -> m (V e b)) -> Component m e a b

fromField :: forall v q m form e attrs. Monad m => ({ value :: V e v | attrs } -> form) -> { value :: V e v | attrs } -> Validation m e q v -> Component m form q v

Simple helper which combines basic pieces into Component:

• form constructor (I could use Applicative.pure but it seems a bit to heavy constraint ;-))
• default field value
• validation

fromFieldCoerce :: forall v' v q m form e attrs. Monad m => (v -> v') -> ({ value :: V e v | attrs } -> form) -> { value :: V e v | attrs } -> Validation m e q v -> Component m form q v'

Longer version of previous one which allows coersion of field level value into form level value.