purescript-0.5.2.2: PureScript Programming Language Compiler

Safe HaskellNone

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 :: [Module] -> SupplyT (Either ErrorStack) [Module]Source

Add type synonym declarations for type class dictionary types, and value declarations for type class instance dictionary expressions.