CSPM

CSPM Monad

data CSPMSession

newCSPMSession

data ProfilerOptions

defaultProfilerOptions

data EvaluatorOptions

defaultEvaluatorOptions

class CSPMMonad m

withSession

A basic implementation of the monad

type CSPM

unCSPM

Common Data Types

Parser API

parseStringAsFile

parseFile

parseInteractiveStmt

parseExpression

Renamer API

renameFile

renameInteractiveStmt

renameExpression

getBoundNames

Type Checker API

typeCheckFile

typeCheckInteractiveStmt

typeCheckExpression

ensureExpressionIsOfType

typeOfExpression

modifyTypeCheckerErrorOptions

typeOfName

boundProcessNames

Desugarer API

desugarFile

desugarInteractiveStmt

desugarExpression

Evaluator API

bindFile

bindDeclaration

evaluateExpression

maybeProcessNameToProcess

profilingData

Shortcuts

stringToValue

Low-Level API

runParserInCurrentState

runRenamerInCurrentState

runTypeCheckerInCurrentState

runEvaluatorInCurrentState

reportWarnings

Misc functions

getLibCSPMVersion