| 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.ExtensibleChurch
Description
Type operators for extensible effectful programs based on the Church-encoded Freer monad.
Documentation
type (!!) eh ef = Effectful ExtensibleUnion FreerChurch eh ef infixr 5 Source #
type (!) ef = EffectfulF ExtensibleUnion FreerChurch ef infixr 4 Source #
type (:!!) ehs efs = Eff ExtensibleUnion FreerChurch ehs efs infixr 4 Source #
type (:!) efs = EffF ExtensibleUnion FreerChurch efs infixr 3 Source #