Safe Haskell | None |
---|---|
Language | Haskell98 |
This module implements the desugaring pass which creates type synonyms for type class dictionaries and dictionary expressions for type class instances.
- desugarTypeClasses :: [Module] -> SupplyT (Either ErrorStack) [Module]
- typeClassMemberName :: Declaration -> String
- superClassDictionaryNames :: [Constraint] -> [String]
Documentation
desugarTypeClasses :: [Module] -> SupplyT (Either ErrorStack) [Module] Source
Add type synonym declarations for type class dictionary types, and value declarations for type class instance dictionary expressions.
superClassDictionaryNames :: [Constraint] -> [String] Source