Language.PureScript.Errors
data SimpleErrorMessage
data ErrorMessage
errorCode
data MultipleErrors
nonEmpty
errorMessage
singleError
onErrorMessages
data LabelType
type UnknownMap
data Level
unwrapErrorMessage
replaceUnknowns
onTypesInErrorMessageM
prettyPrintSingleError
prettyPrintMultipleErrors
prettyPrintMultipleWarnings
prettyPrintMultipleErrorsWith
renderBox
interpretMultipleErrorsAndWarnings
rethrow
rethrowWithPosition
parU