Run.Except

newtype Except :: forall k. Type -> k -> Typenewtype Except e a

Constructors

• Except e

Instances

• Functor (Except e)

type EXCEPT :: forall k. Type -> Row (k -> Type) -> Row (k -> Type)type EXCEPT e r = (except :: Except e | r)

type FAIL :: forall k. Row (k -> Type) -> Row (k -> Type)type FAIL r = EXCEPT Unit r

_except :: Proxy "except"

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

liftExceptAt :: forall 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 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 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 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 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 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 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 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 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