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.

Synopsis

desugarTypeClasses :: (MonadSupply m, MonadError MultipleErrors m) => [ExternsFile] -> [Module] -> m [Module]
typeClassMemberName :: Declaration -> Text
superClassDictionaryNames :: [Constraint a] -> [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.

typeClassMemberName :: Declaration -> Text Source #

superClassDictionaryNames :: [Constraint a] -> [Text] Source #