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 |
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 #