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