Polyform.Reporter.Dual

type Dual m r = Dual (Reporter m r) (Writer r)

type DualD m r = DualD (Reporter m r) (Writer r)

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

iso :: forall e i m o. Monoid e => Monad m => (i -> o) -> (o -> i) -> Dual m e i o

liftValidatorDual :: forall i m r. Monad m => Monoid r => (Dual m r i) ~> (Dual m r i)

liftValidatorDualWith :: forall e i m o r. Monad m => Monoid r => (Tuple i e -> r) -> (Tuple i o -> r) -> Dual m e i o -> Dual m r i o

mapReport :: forall i m o r r'. Monad m => (r -> r') -> Dual m r i o -> Dual m r' i o

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

runReporter :: forall r i m o. Dual m r i o -> (i -> m (R r o))

runSerializer :: forall i o m r. Dual m r i o -> (o -> i /\ r)