Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
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 #
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 #