libcspm-0.2.1: A library providing a parser, type checker and evaluator for CSPM.
CSPM.Prelude
Description
This module contains all the builtin definitions for the input CSPM language.
data BuiltIn Source
Constructors
Fields
Instances
builtins :: Bool -> [BuiltIn]Source
transparentFunctionForOccName :: OccName -> Maybe BuiltInSource
externalFunctionForOccName :: OccName -> Maybe BuiltInSource