CSPM.TypeChecker.Monad

Documentation

readTypeRef :: TypeVarRef -> TypeCheckMonad (Either (TypeVar, [Constraint]) Type)

writeTypeRef :: TypeVarRef -> Type -> TypeCheckMonad ()

freshTypeVar :: MonadIO m => m Type

freshTypeVarWithConstraints :: MonadIO m => [Constraint] -> m Type

getType :: Name -> TypeCheckMonad TypeScheme

Get the type of n and throw an exception if it doesn't exist.

setType :: Name -> TypeScheme -> TypeCheckMonad ()

Sets the type of n to be t in the current scope only. No unification is performed.

isTypeUnsafe :: Name -> TypeCheckMonad Bool

markTypeAsUnsafe :: Name -> TypeCheckMonad ()

replacementForDeprecatedName :: Name -> TypeCheckMonad (Maybe Name)

isDeprecated :: Name -> TypeCheckMonad Bool

markAsDeprecated :: Name -> Maybe Name -> TypeCheckMonad ()

compress :: Type -> TypeCheckMonad Type

Takes a type and compresses the type by reading all type variables and if they point to another type, it returns that type instead.

compressTypeScheme :: TypeScheme -> TypeCheckMonad TypeScheme

Apply compress to the type of a type scheme.

type TypeCheckMonad = StateT TypeInferenceState IO

runTypeChecker :: TypeInferenceState -> TypeCheckMonad a -> IO a

Runs the typechecker, starting from state st. If any errors are encountered then a SourceError will be thrown with the relevent error messages.

newTypeInferenceState :: TypeInferenceState

data TypeInferenceState

Constructors

TypeInferenceState

Fields

environment :: Environment

The type environment, which is a map from names to types.

srcSpan :: SrcSpan

Location of the current AST element - used for error pretty printing

errorContexts :: [ErrorContext]

Error stack - provides context information for any errors that might be raised

errors :: [ErrorMessage]

Errors that have occured

warnings :: [ErrorMessage]

List of warnings that have occured

unificationStack :: [(Type, Type)]

Stack of attempted unifications - the current one is at the front. In the form (expected, actual).

definitionStack :: [Name]

The stack of names that we are currently type-checking.

inError :: Bool

Are we currently in an error state

symUnificationAllowed :: Bool

comparableForEqualityDataTypes :: [Name]

The set of datatypes that can be compared for equality.

errorOptions :: ErrorOptions

The error options to use

getState :: TypeCheckMonad TypeInferenceState

local :: [Name] -> TypeCheckMonad a -> TypeCheckMonad a

getEnvironment :: TypeCheckMonad Environment

type ErrorContext = Doc

addErrorContext :: ErrorContext -> TypeCheckMonad a -> TypeCheckMonad a

getErrorContexts :: TypeCheckMonad [ErrorContext]

getSrcSpan :: TypeCheckMonad SrcSpan

setSrcSpan :: SrcSpan -> TypeCheckMonad a -> TypeCheckMonad a

Sets the SrcSpan only within prog.

getUnificationStack :: TypeCheckMonad [(Type, Type)]

addUnificationPair :: (Type, Type) -> TypeCheckMonad a -> TypeCheckMonad a

symmetricUnificationAllowed :: TypeCheckMonad Bool

disallowSymmetricUnification :: TypeCheckMonad a -> TypeCheckMonad a

getInError :: TypeCheckMonad Bool

setInError :: Bool -> TypeCheckMonad a -> TypeCheckMonad a

resetWarnings :: TypeCheckMonad ()

getWarnings :: TypeCheckMonad [ErrorMessage]

addWarning :: (ErrorOptions -> Bool) -> Warning -> TypeCheckMonad ()

markDatatypeAsComparableForEquality :: Name -> TypeCheckMonad ()

datatypeIsComparableForEquality :: Name -> TypeCheckMonad Bool

unmarkDatatypeAsComparableForEquality :: Name -> TypeCheckMonad ()

modifyErrorOptions :: (ErrorOptions -> ErrorOptions) -> TypeCheckMonad ()

addDefinitionName :: Name -> TypeCheckMonad a -> TypeCheckMonad a

getDefinitionStack :: TypeCheckMonad [Name]

raiseMessageAsError :: Error -> TypeCheckMonad a

raiseMessagesAsError :: [Error] -> TypeCheckMonad a

Report a message as an error

panic :: String -> a

Given a string causes a Panic to be thrown.

manyErrorsIfFalse :: Bool -> [Error] -> TypeCheckMonad ()

errorIfFalseM :: TypeCheckMonad Bool -> Error -> TypeCheckMonad ()

errorIfFalse :: Bool -> Error -> TypeCheckMonad ()

Report the error if first parameter is False.

tryAndRecover :: Bool -> TypeCheckMonad a -> TypeCheckMonad a -> TypeCheckMonad a

failM :: TypeCheckMonad a