Module

Run.Except

Package
purescript-run
Repository
natefaubion/purescript-run

#Except Source

newtype Except e a

Constructors

Instances

#EXCEPT Source

type EXCEPT e = FProxy (Except e)

#FAIL Source

#_except Source

_except :: SProxy "except"

#liftExcept Source

liftExcept :: forall r a e. Except e a -> Run (except :: EXCEPT e | r) a

#throw Source

throw :: forall r a e. e -> Run (except :: EXCEPT e | r) a

#fail Source

fail :: forall r a. Run (except :: FAIL | r) a

#catch Source

catch :: forall r a e. (e -> Run r a) -> Run (except :: EXCEPT e | r) a -> Run r a

#runExcept Source

runExcept :: forall r a e. Run (except :: EXCEPT e | r) a -> Run r (Either e a)

#runFail Source

runFail :: forall r a. Run (except :: FAIL | r) a -> Run r (Maybe a)