purescript-0.7.3.0: PureScript Programming Language Compiler

Safe HaskellNone
LanguageHaskell98

Language.PureScript.TypeChecker.Synonyms

Description

Functions for replacing fully applied type synonyms with the SaturatedTypeSynonym data constructor

Synopsis

Documentation

saturateAllTypeSynonyms :: Map (Qualified ProperName) Int -> Type -> Either ErrorMessage Type Source

Replace all type synonyms with the SaturatedTypeSynonym data constructor

desaturateAllTypeSynonyms :: Type -> Type Source

"Desaturate" SaturatedTypeSynonyms

expandTypeSynonym' :: Environment -> Qualified ProperName -> [Type] -> Either ErrorMessage Type Source

Replace a type synonym and its arguments with the aliased type