Control.Monad.Transformerless.Except

newtype Except e a

Constructors

• Except (Either e a)

Instances

• Newtype (Except e a) _
• Invariant (Except e)
• Bifunctor Except
• Functor (Except e)
• Apply (Except e)
• Applicative (Except e)
• Bind (Except e)
• Monad (Except e)
• Extend (Except e)
• (Eq e, Eq a) => Eq (Except e a)
• (Eq e) => Eq1 (Except e)
• (Ord e, Ord a) => Ord (Except e a)
• (Ord e) => Ord1 (Except e)
• (Bounded e, Bounded a) => Bounded (Except e a)
• Foldable (Except e)
• Bifoldable Except
• Traversable (Except e)
• Bitraversable Except
• (Semigroup a) => Semigroup (Except e a)
• (Monoid e) => Alternative (Except e)
• (Monoid e) => MonadZero (Except e)
• (Monoid e) => MonadPlus (Except e)
• (Show e, Show a) => Show (Except e a)
• (Semigroup e) => Alt (Except e)

  The Alt instance differs from that belonging to the underlying Either in that this version collects errors.

• (Monoid e) => Plus (Except e)

runExcept :: forall e. (Except e) ~> (Either e)

withExcept :: forall e2 e1. (e1 -> e2) -> (Except e1) ~> (Except e2)

mapExcept :: forall a2 a1 e2 e1. (Either e1 a1 -> Either e2 a2) -> Except e1 a1 -> Except e2 a2

throwError :: forall a e. e -> Except e a

catchError :: forall a e. Except e a -> (e -> Except e a) -> Except e a

except :: forall a e. Either e a -> Except e a