Module

Control.Monad.Transformerless.Except

Package
purescript-transformerless
Repository
thimoteus/purescript-transformerless

#Except Source

newtype Except e a

Constructors

Instances

#runExcept Source

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

#withExcept Source

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

#mapExcept Source

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

#throwError Source

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

#catchError Source

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

#except Source

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