purescript-0.5.2.6: PureScript Programming Language Compiler

Safe HaskellNone

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 TypeSource

Replace all type synonyms with the SaturatedTypeSynonym data constructor