| Safe Haskell | None |
|---|
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 :: [Module] -> Either ErrorStack [Module]
Documentation
desugarTypeClasses :: [Module] -> Either ErrorStack [Module]Source
Add type synonym declarations for type class dictionary types, and value declarations for type class instance dictionary expressions.