Language.PureScript.Types

data SkolemScope

data Type

rowToList

rowFromList

isMonoType

mkForAll

replaceTypeVars

replaceAllTypeVars

usedTypeVariables

freeTypeVariables

quantify

moveQuantifiersToFront

containsWildcards

everywhereOnTypes

everywhereOnTypesTopDown

everywhereOnTypesM

everywhereOnTypesTopDownM

everythingOnTypes