| Copyright | (c) 2021 Xy Ren |
|---|---|
| License | BSD3 |
| Maintainer | xy.r@outlook.com |
| Stability | experimental |
| Portability | non-portable (GHC only) |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Cleff.Output
Contents
Description
Synopsis
- data Output o :: Effect where
- output :: Output o :> es => o -> Eff es ()
- outputToListState :: Eff (Output o ': es) ~> Eff (State [o] ': es)
- outputToWriter :: (o -> o') -> Eff (Output o ': es) ~> Eff (Writer o' ': es)
- ignoreOutput :: Eff (Output o ': es) ~> Eff es
- runOutputEff :: (o -> Eff es ()) -> Eff (Output o ': es) ~> Eff es
Effect
data Output o :: Effect where Source #
An effect that is capable of sending outputs, for example to a log file or an output stream.
Operations
Interpretations
outputToListState :: Eff (Output o ': es) ~> Eff (State [o] ': es) Source #
Run an Output effect by accumulating a list.