Polyform.Validator

newtype Validator m e i o

Constructors

• Validator (Star (Compose m (V e)) i o)

Instances

• Newtype (Validator m r i o) _
• (Applicative m, Semigroup e) => Functor (Validator m e i)
• (Applicative m, Semigroup e) => Apply (Validator m e i)
• (Applicative m, Semigroup e) => Applicative (Validator m e i)
• (Functor m) => Profunctor (Validator m e)
• (Semigroup e, Applicative m) => Choice (Validator m e)
• (Monad m, Semigroup e) => Strong (Validator m e)
• (Semigroup e, Monad m) => Alt (Validator m e i)
• (Monad m, Monoid e) => Plus (Validator m e i)
• (Apply m, Semigroup e, Semigroup o) => Semigroup (Validator m e i o)
• (Applicative m, Monoid e, Monoid o) => Monoid (Validator m e i o)
• (Monad m, Semigroup e) => Semigroupoid (Validator m e)
• (Monad m, Semigroup e) => Category (Validator m e)

ask :: forall e m i. Monad m => Semigroup e => Validator m e i i

runValidator :: forall e o m i. Validator m e i o -> (i -> m (V e o))

hoistFn :: forall o m i e. Applicative m => Semigroup e => (i -> o) -> Validator m e i o

These hoists set is used to lift functions into Validator

hoistFnV :: forall o m i e. Applicative m => Semigroup e => (i -> V e o) -> Validator m e i o

hoistFnM :: forall o m i e. Applicative m => Semigroup e => (i -> m o) -> Validator m e i o

hoistFnMV :: forall o m i e. (i -> m (V e o)) -> Validator m e i o

hoistFnEither :: forall o m i e. Applicative m => Semigroup e => (i -> Either e o) -> Validator m e i o

hoist :: forall o m n i e. Functor m => (m ~> n) -> Validator m e i o -> Validator n e i o

lift :: forall t m o i e. MonadTrans t => Monad m => Validator m e i o -> Validator (t m) e i o

newtype BifunctorValidator m i e o

Provides access to validation result so you can bimap over e and b type in resulting V e b.

Constructors

• BifunctorValidator (Validator m e i o)

Instances

• Newtype (BifunctorValidator m i e o) _
• (Monad m) => Bifunctor (BifunctorValidator m i)

bimapValidator :: forall o' o m e' e i. Monad m => (e -> e') -> (o -> o') -> Validator m e i o -> Validator m e' i o'

lmapValidator :: forall o m i e' e. Monad m => (e -> e') -> Validator m e i o -> Validator m e' i o

rmapValidator :: forall m o' o i e. Monad m => (o -> o') -> Validator m e i o -> Validator m e i o'

optional :: forall m o i e. Monad m => Semigroup e => Validator m e i o -> Validator m e i (Maybe o)

valid :: forall e a. Semigroup e => a -> V e a

toStarExceptT :: forall o m i e. Functor m => Validator m e i o -> Star (ExceptT e m) i o

lmapToStarExceptT :: forall o m i e' e. Monad m => (e -> e') -> Validator m e i o -> Star (ExceptT e' m) i o

It is often the case that after successfull chain of validation we want to drop to "non semigroup" error representation like Variant etc.

fromStarExceptT :: forall o m i e. Functor m => Star (ExceptT e m) i o -> Validator m e i o