Run.Except

newtype Except e a

Constructors

• Except e

Instances

• Functor (Except e)

type EXCEPT e = FProxy (Except e)

type FAIL = EXCEPT Unit

_except :: SProxy "except"

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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