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