Polyform.Reporter

newtype Reporter m r i o

Constructors

• Reporter (Star (MaybeT (WriterT r m)) i o)

Instances

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

bimapReporter :: forall i m o o' r r'. Monad m => (r -> r') -> (o -> o') -> Reporter m r i o -> Reporter m r' i o'

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

liftFn :: forall e i m. Monad m => Monoid e => (Function i) ~> (Reporter m e i)

liftFnEither :: forall e i m o. Monad m => Monoid e => (i -> Either e o) -> Reporter m e i o

liftFnMR :: forall e i m o. (i -> m (R e o)) -> Reporter m e i o

liftFnR :: forall e i m o. Monad m => Semigroup e => (i -> R e o) -> Reporter m e i o

liftValidator :: forall e i m. Functor m => Monoid e => (Validator m e i) ~> (Reporter m e i)

Building Reporter from Validator with possibly empty failure report.

liftValidatorWith :: forall e i m o r. Functor m => (Tuple i e -> r) -> (Tuple i o -> r) -> Validator m e i o -> Reporter m r i o

Building Reporter from Validator by creating report from error and from value using also an input. We need only Functor m in this case.

liftValidatorWithM :: forall e i m o r. Monad m => (Tuple i e -> m r) -> (Tuple i o -> m r) -> Validator m e i o -> Reporter m r i o

The same as above but in monadic context.

lmapM :: forall i m r r'. Monad m => (r -> m r') -> (Reporter m r i) ~> (Reporter m r' i)

lmapReporter :: forall i m o r r'. Monad m => (r -> r') -> Reporter m r i o -> Reporter m r' i o

runReporter :: forall i o m r. Reporter m r i o -> (i -> m (Tuple (Maybe o) r))

type R r a = Tuple (Maybe a) r

toValidator :: forall e i m. Functor m => Monoid e => (Reporter m e i) ~> (Validator m e i)