heftia-0.2.0.0: higher-order effects done right
Copyright(c) 2023-2024 Yamada Ryo
LicenseMPL-2.0 (see the file LICENSE)
Maintainerymdfield@outlook.jp
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageGHC2021

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 (:!!) ehs efs = Eff ExtensibleUnion (FreerFinal Monad) ehs efs infixr 4 Source #

type (:!) efs = EffF ExtensibleUnion (FreerFinal Monad) efs infixr 3 Source #

runEff :: Monad f => ('[] :!! '[LiftIns f]) ~> f Source #