Module
Polyform.Validator
- Package
- purescript-polyform
- Repository
- purescript-polyform/polyform
#bimapValidator Source
bimapValidator :: forall i e e' m o o'. Monad m => (e -> e') -> (o -> o') -> Validator m e i o -> Validator m e' i o'
#check Source
check :: forall e i m. Applicative m => Semigroup e => (i -> e) -> (i -> Boolean) -> Validator m e i i
#invalidate Source
invalidate :: forall e i o m. Applicative m => (i -> e) -> Validator m e i o
#liftEither Source
liftEither :: forall e m o. Applicative m => Semigroup e => Validator m e (Either e o) o
#liftFn Source
liftFn :: forall e i m o. Applicative m => Semigroup e => (i -> o) -> Validator m e i o
These hoists set is used to lift functions into Validator
#liftFnEither Source
liftFnEither :: forall e i m o. Applicative m => Semigroup e => (i -> Either e o) -> Validator m e i o
TODO: Drop it - its redundant
#liftFnM Source
liftFnM :: forall e i m o. Applicative m => Semigroup e => (i -> m o) -> Validator m e i o
#liftFnMaybe Source
liftFnMaybe :: forall e i m o. Applicative m => (i -> e) -> (i -> Maybe o) -> Validator m e i o
#liftFnMMaybe Source
liftFnMMaybe :: forall e i m o. Applicative m => (i -> m e) -> (i -> m (Maybe o)) -> Validator m e i o
#lmapValidator Source
lmapValidator :: forall e e' i m o. Monad m => (e -> e') -> Validator m e i o -> Validator m e' i o
#runValidator Source
runValidator :: forall i m o e. Validator m e i o -> (i -> m (V e o))
#Validator Source
newtype Validator m e i o
Constructors
Instances
Newtype (Validator m r i o) _
(Applicative m) => 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)
Lazy (Validator m r i o)
- Modules
- Polyform
- Polyform.
Dual - Polyform.
Dual. Generic - Polyform.
Dual. Generic. Sum - Polyform.
Dual. Generic. Variant - Polyform.
Dual. Record - Polyform.
Dual. Variant - Polyform.
Exceptor - Polyform.
Parser - Polyform.
Reporter - Polyform.
Reporter. Dual - Polyform.
Reporter. Par - Polyform.
StarExceptT - Polyform.
Tokenized - Polyform.
Tokenized. Dual - Polyform.
Tokenized. Validator - Polyform.
Tokenized. Validator. Dual - Polyform.
Tokenized. Validator. Dual. Pure - Polyform.
Type. Row - Polyform.
Validator - Polyform.
Validator. Dual - Polyform.
Validator. Dual. Generic - Polyform.
Validator. Dual. Pure - Polyform.
Validator. Par - Polyform.
Validator. Pure - Polyform.
Validator. Record