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 e a r. Except e a -> Run (except :: EXCEPT e | r) a

#liftExceptAt Source

liftExceptAt :: forall t e a r s. IsSymbol s => Cons s (EXCEPT e) t r => SProxy s -> Except e a -> Run r a

#runExcept Source

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

#runExceptAt Source

runExceptAt :: forall t e a r s. IsSymbol s => Cons s (EXCEPT e) t r => SProxy s -> Run r a -> Run t (Either e a)

#runFail Source

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

#runFailAt Source

runFailAt :: forall t a r s. IsSymbol s => Cons s FAIL t r => SProxy s -> Run r a -> Run t (Maybe a)

#throw Source

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

#throwAt Source

throwAt :: forall t e a r s. IsSymbol s => Cons s (EXCEPT e) t r => SProxy s -> e -> Run r a

#fail Source

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

#failAt Source

failAt :: forall t a r s. IsSymbol s => Cons s FAIL t r => SProxy s -> Run r a

#rethrow Source

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

#rethrowAt Source

rethrowAt :: forall t e a r s. IsSymbol s => Cons s (EXCEPT e) t r => SProxy s -> Either e a -> Run r a

#note Source

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

#noteAt Source

noteAt :: forall t e a r s. IsSymbol s => Cons s (EXCEPT e) t r => SProxy s -> e -> Maybe a -> Run r a

#fromJust Source

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

#fromJustAt Source

fromJustAt :: forall t a r s. IsSymbol s => Cons s FAIL t r => SProxy s -> Maybe a -> Run r a

#catch Source

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

#catchAt Source

catchAt :: forall t e a r s. IsSymbol s => Cons s (EXCEPT e) t r => SProxy s -> (e -> Run t a) -> Run r a -> Run t a