libcspm-0.1.2: A library providing a parser, type checker and evaluator for CSPM.
CSPM.TypeChecker.BuiltInFunctions
injectBuiltInFunctions :: TypeCheckMonad ()Source
externalFunctions :: PartialFunction String TypeSource
transparentFunctions :: PartialFunction String TypeSource
builtInNames :: [String]Source
replacementForDeprecatedName :: Name -> Maybe NameSource