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

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

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

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 :: forall a r. Run (except :: FAIL | r) a -> Run r (Maybe a)

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

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

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

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

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

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

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

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

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

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

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

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

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