| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.PureScript.Sugar.TypeClasses
Description
This module implements the desugaring pass which creates type synonyms for type class dictionaries and dictionary expressions for type class instances.
- desugarTypeClasses :: (MonadSupply m, MonadError MultipleErrors m) => [ExternsFile] -> [Module] -> m [Module]
- typeClassMemberName :: Declaration -> Text
- superClassDictionaryNames :: [Constraint] -> [Text]
Documentation
desugarTypeClasses :: (MonadSupply m, MonadError MultipleErrors m) => [ExternsFile] -> [Module] -> m [Module] Source #
Add type synonym declarations for type class dictionary types, and value declarations for type class instance dictionary expressions.
superClassDictionaryNames :: [Constraint] -> [Text] Source #