Language.PureScript.TypeChecker.Monad

data NameKind

data TypeDeclarationKind

data Environment

emptyEnvironment

data CheckState

data Check a

getEnv

putEnv

fresh

check

guardWith

rethrow

withModule