| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Bluefin.Capability.Tell
Synopsis
- type Tell = Writer
- runTell :: forall w (es :: Effects) r. Monoid w => (forall (e :: Effects). Tell w e -> Eff (e :& es) r) -> Eff es (r, w)
- execTell :: forall w (es :: Effects) r. Monoid w => (forall (e :: Effects). Tell w e -> Eff (e :& es) r) -> Eff es w
- tell :: forall (e :: Effects) (es :: Effects) w. e <: es => Writer w e -> w -> Eff es ()
Documentation
In most cases you'll probably prefer Yield
to Tell, but Tell can still be useful in some cases,
for example with Data.Monoid. to determine
whether an event ever occurred.Any
Capability
Handlers
runTell :: forall w (es :: Effects) r. Monoid w => (forall (e :: Effects). Tell w e -> Eff (e :& es) r) -> Eff es (r, w) #
execTell :: forall w (es :: Effects) r. Monoid w => (forall (e :: Effects). Tell w e -> Eff (e :& es) r) -> Eff es w #