| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Bluefin.Internal.Capability.ThrowCatch
Synopsis
- data ThrowCatch ex e
- try :: (forall e. ThrowCatch ex e -> Eff (e :& es) a) -> Eff es (Either ex a)
- localTry :: e <: es => ThrowCatch ex e -> Eff es a -> Eff es (Either ex a)
- throw :: e <: es => ThrowCatch ex e -> ex -> Eff es a
- localHandle :: e <: es => ThrowCatch ex e -> (ex -> Eff es a) -> Eff es a -> Eff es a
- handle :: (ex -> Eff es a) -> (forall e. ThrowCatch ex e -> Eff (e :& es) a) -> Eff es a
- catch :: (forall e. ThrowCatch ex e -> Eff (e :& es) a) -> (ex -> Eff es a) -> Eff es a
- localCatch :: e <: es => ThrowCatch ex e -> Eff es a -> (ex -> Eff es a) -> Eff es a
Documentation
data ThrowCatch ex e Source #
A scoped exception capability that can catch within its own scope.
Instances
| e <: es => OneWayCoercible (ThrowCatch ex e :: Type) (ThrowCatch ex es :: Type) Source # | |
Defined in Bluefin.Internal Methods oneWayCoercibleImpl :: OneWayCoercibleD (ThrowCatch ex e) (ThrowCatch ex es) Source # | |
| Handle (ThrowCatch ex) Source # | |
Defined in Bluefin.Internal Methods handleImpl :: HandleD (ThrowCatch ex) Source # | |
Arguments
| :: e <: es | |
| => ThrowCatch ex e | |
| -> (ex -> Eff es a) | |
| -> Eff es a | |
| -> Eff es a | ͘ |
Arguments
| :: (ex -> Eff es a) | |
| -> (forall e. ThrowCatch ex e -> Eff (e :& es) a) | |
| -> Eff es a | ͘ |
Arguments
| :: (forall e. ThrowCatch ex e -> Eff (e :& es) a) | |
| -> (ex -> Eff es a) | |
| -> Eff es a | ͘ |
Arguments
| :: e <: es | |
| => ThrowCatch ex e | |
| -> Eff es a | |
| -> (ex -> Eff es a) | |
| -> Eff es a | ͘ |