| Safe Haskell | None |
|---|
DDC.Core.Transform.Eta
- data Config = Config {
- configExpand :: Bool
- configZero :: Config
- data Info = Info {}
- etaModule :: (Ord n, Show n, Pretty n, Show a) => Config -> Profile n -> Module a n -> TransformResult (Module a n)
- etaX :: (Ord n, Show n, Show a, Pretty n) => Config -> Profile n -> KindEnv n -> TypeEnv n -> Exp a n -> TransformResult (Exp a n)
Documentation
Empty eta configuration with all flags set to False.
Constructors
| Info | |
Fields
| |