classy-effects-th-0.1.0.0: Automatic compliance with the classy-effects protocols

Safe Haskell	Safe-Inferred
Language	GHC2021

Control.Effect.Class.Machinery.TH.Internal

Synopsis

generateEffect :: EffectOrder -> EffectInfo -> Q [Dec]
defaultEffDataNamer :: EffectOrder -> Name -> Name
generateEffectWith :: EffectOrder -> Name -> EffectInfo -> Q [Dec]
generateOrderUnifiedEffectClass :: EffectInfo -> EffectInfo -> [Name] -> Name -> Q [Dec]
generateOrderUnifiedEffDataTySyn :: Name -> Name -> [Name] -> Name -> Q Dec
unifyEffTypeParams :: EffectInfo -> EffectInfo -> Q [Name]

Documentation

generateEffect :: EffectOrder -> EffectInfo -> Q [Dec] Source #

defaultEffDataNamer :: EffectOrder -> Name -> Name Source #

generateEffectWith :: EffectOrder -> Name -> EffectInfo -> Q [Dec] Source #

generateOrderUnifiedEffectClass :: EffectInfo -> EffectInfo -> [Name] -> Name -> Q [Dec] Source #

Generate the order-unified empty effect class:

class (FoobarF ... f, FoobarH ... f) => Foobar ... f

, and derive an instance of the effect that handles via SendIns/ SendSig instances.

generateOrderUnifiedEffDataTySyn :: Name -> Name -> [Name] -> Name -> Q Dec Source #

Generate the order-unified effect data type synonym:

type Foobar ... = FoobarS ... :+: LiftIns (FoobarI ...)

unifyEffTypeParams :: EffectInfo -> EffectInfo -> Q [Name] Source #