Polyform.Duals.Validator

type Dual m e i o = Dual (Validator m e) i o

type DualD m e i o' o = DualD (Validator m e) i o o'

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

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

Dirty hack to simplify type inference for polymorphic duals

runSerializerM :: forall m o i e. Applicative m => Dual (Validator m e) i o -> (o -> m i)

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

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

newtype Par m r a b

Constructors

• Dual (Par m r a b)

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