heftia-0.3.1.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.ExtensibleTreeA

Description

Type operators for extensible effectful programs based on the tree-structured encoded free applicative.

See Control.Applicative.Free.

Documentation

type (!!) eh ef = Effectful ExtensibleUnion Ap eh ef infixr 5 Source #

type (!) ef = EffectfulF ExtensibleUnion Ap ef infixr 4 Source #

type (:!!) ehs efs = Eff ExtensibleUnion Ap ehs efs infixr 4 Source #

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

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

runEffF :: Applicative f => (:!) '[LiftIns f] ~> f Source #