Polyform.Exceptor

newtype Exceptor m e i o

This type is nearly Star (Except e m) but:

• No Semigroup e constraint in its Alt instance (consistent with Either)

• Provides Parallel instance.

Constructors

• Exceptor (Star (ExceptT e m) i o)

Instances

• Newtype (Exceptor m r i o) _
• (Applicative m) => Functor (Exceptor m e i)
• (Monad m) => Apply (Exceptor m e i)
• (Monad m) => Applicative (Exceptor m e i)
• (Monad m) => Bind (Exceptor m e i)
• (Monad m) => Monad (Exceptor m e i)
• (Monad m) => Semigroupoid (Exceptor m e)
• (Monad m) => Category (Exceptor m e)
• (Functor m) => Profunctor (Exceptor m e)
• (Monad m) => Choice (Exceptor m e)
• (Monad m) => Strong (Exceptor m e)
• (Monad m) => Alt (Exceptor m e i)
• (Applicative f, Parallel f m, Monad m) => Parallel (ParExceptor f e i) (Exceptor m e i)

newtype ParExceptor f e i o

Constructors

• ParExceptor (Star (Compose f (Either e)) i o)

Instances

• (Applicative f) => Functor (ParExceptor f e i)
• (Applicative f) => Apply (ParExceptor f e i)
• (Applicative f) => Applicative (ParExceptor f e i)
• (Applicative f, Parallel f m, Monad m) => Parallel (ParExceptor f e i) (Exceptor m e i)