Language.PureScript.Types
data SkolemScope
data Type
data ConstraintData
data Constraint
mapConstraintArgs
overConstraintArgs
rowToList
rowToSortedList
rowFromList
isMonoType
mkForAll
replaceTypeVars
replaceAllTypeVars
usedTypeVariables
freeTypeVariables
quantify
moveQuantifiersToFront
containsWildcards
containsForAll
everywhereOnTypes
everywhereOnTypesTopDown
everywhereOnTypesM
everywhereOnTypesTopDownM
everythingOnTypes
everythingWithContextOnTypes