Run.Except

newtype Except e a

Constructors

• Except e

Instances

• Functor (Except e)

type EXCEPT e r = (except :: Except e | r)

type FAIL r = EXCEPT Unit r

_except :: Proxy "except"

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

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

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

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

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

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

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

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

fail :: forall a r. Run (FAIL + r) a

failAt :: forall proxy t a r s. IsSymbol s => Cons s Fail t r => proxy s -> Run r a

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

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

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

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

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

fromJustAt :: forall proxy t a r s. IsSymbol s => Cons s Fail t r => proxy s -> Maybe a -> Run r a

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

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