| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Bluefin.Capability.ReturnEarly
Synopsis
- type ReturnEarly = EarlyReturn
- withReturnEarly :: forall r (es :: Effects). (forall (e :: Effects). EarlyReturn r e -> Eff (e :& es) r) -> Eff es r
- returnEarly :: forall (e :: Effects) (es :: Effects) r a. e <: es => EarlyReturn r e -> r -> Eff es a
Documentation
Bluefin.ReturnEarly allows to define a block from which you can
return early. Early return is implemented as an exception, and
its API is just an alternate interface to exceptions.
Capability
type ReturnEarly = EarlyReturn #
Handlers
withReturnEarly :: forall r (es :: Effects). (forall (e :: Effects). EarlyReturn r e -> Eff (e :& es) r) -> Eff es r #
Effectful operations
returnEarly :: forall (e :: Effects) (es :: Effects) r a. e <: es => EarlyReturn r e -> r -> Eff es a #