Module

Polyform.Exceptor

Package: purescript-polyform
Repository: purescript-polyform/polyform

#Exceptor Source

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) => Lazy (Exceptor m e i o)
(Monad m) => Alt (Exceptor m e i)
(Applicative f, Parallel f m, Monad m) => Parallel (ParExceptor f e i) (Exceptor m e i)

#ParExceptor Source

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)