| Copyright | (c) 2023-2024 Yamada Ryo |
|---|---|
| License | MPL-2.0 (see the file LICENSE) |
| Maintainer | ymdfield@outlook.jp |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
| Language | GHC2021 |
Control.Effect.ExtensibleFinal
Description
Type operators for extensible effectful programs based on the final-encoded Freer monad.
Documentation
type (!!) eh ef = Effectful ExtensibleUnion (FreerFinal Monad) eh ef infixr 5 Source #
type (!) ef = EffectfulF ExtensibleUnion (FreerFinal Monad) ef infixr 4 Source #
type (:!!) ehs efs = Eff ExtensibleUnion (FreerFinal Monad) ehs efs infixr 4 Source #
type (:!) efs = EffF ExtensibleUnion (FreerFinal Monad) efs infixr 3 Source #