Polyform.Validator.Dual

type Dual m e = Dual (Validator m e) Identity

type DualD m e = DualD (Validator m e) Identity

check :: forall e i m. Applicative m => Semigroup e => (i -> e) -> (i -> Boolean) -> Dual m e i i

checkM :: forall e i m. Monad m => Semigroup e => (i -> e) -> (i -> m Boolean) -> Dual m e i i

iso :: forall e i m o. Semigroup e => Applicative m => (i -> o) -> (o -> i) -> Dual m e i o

lmapDual :: forall e e' i m o. Monad m => (e -> e') -> Dual m e i o -> Dual m e' i o

lmapDualD :: forall e e' i m o o'. Monad m => (e -> e') -> DualD m e i o' o -> DualD m e' i o' o

liftEither :: forall e m o. Applicative m => Semigroup e => Dual m e (Either e o) o

lmapM :: forall e e' i m o. Monad m => (e -> m e') -> Dual m e i o -> Dual m e' i o

newtypeIso :: forall a e m n. Monad m => Semigroup e => Newtype n a => Dual m e a n

Using not so smart constructor so succeed all the time

hoist :: forall e i o m m'. Functor m => (m ~> m') -> Dual m e i o -> Dual m' e i o

invalidate :: forall e i m. Applicative m => (i -> e) -> Dual m e i i

smartNewtypeIso :: forall a e m n. Monad m => Semigroup e => Newtype n a => (a -> Maybe n) -> (a -> e) -> Dual m e a n

Using smart constructor so possibly fail

runSerializer :: forall e i o m. Dual m e i o -> (o -> i)

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