purescript-0.6.2: 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 :: [(Qualified ProperName, Int)] -> Type -> Either String Type Source

Replace all type synonyms with the SaturatedTypeSynonym data constructor

desaturateAllTypeSynonyms :: Type -> Type Source

"Desaturate" SaturatedTypeSynonyms

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

Replace a type synonym and its arguments with the aliased type