| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Bluefin.Capability.Throw
Synopsis
- data Throw exn (e :: Effects)
- try :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es (Either exn a)
- handle :: forall exn (es :: Effects) a. (exn -> Eff es a) -> (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es a
- catch :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> (exn -> Eff es a) -> Eff es a
- throw :: forall (e :: Effects) (es :: Effects) ex a. e <: es => Throw ex e -> ex -> Eff es a
- rethrowIO :: forall ex (es :: Effects) (e1 :: Effects) (e2 :: Effects) r. (e1 <: es, e2 <: es, Exception ex) => IOE e1 -> Throw ex e2 -> Eff es r -> Eff es r
Capability
data Throw exn (e :: Effects) #
Instances
| e <: es => OneWayCoercible (Throw ex e :: Type) (Throw ex es :: Type) | |
Defined in Bluefin.Internal Methods oneWayCoercibleImpl :: OneWayCoercibleD (Throw ex e) (Throw ex es) # | |
| Handle (Throw exn) | |
Defined in Bluefin.Internal Methods handleImpl :: HandleD (Throw exn) # | |
| CloneableHandle (Throw a) | |
Defined in Bluefin.Internal.CloneableHandle Methods cloneableHandleImpl :: CloneableHandleD (Throw a) | |
| e <: es => MonadFail (EffReader (Throw String e) es) | |
Defined in Bluefin.Internal | |
Handlers
try :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es (Either exn a) #
handle :: forall exn (es :: Effects) a. (exn -> Eff es a) -> (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> Eff es a #
catch :: forall exn (es :: Effects) a. (forall (e :: Effects). Throw exn e -> Eff (e :& es) a) -> (exn -> Eff es a) -> Eff es a #