purescript-0.13.0: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell2010

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.

Synopsis

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.