libcspm-0.2.0: 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.

Documentation

data BuiltIn Source

Constructors

BuiltIn 

Fields

name :: Name
 
stringName :: String
 
isDeprecated :: Bool
 
deprecatedReplacement :: Maybe Name
 
typeScheme :: TypeScheme
 
isTypeUnsafe :: Bool
 
isExternal :: Bool
 
isTransparent :: Bool
 

Instances

builtins :: Bool -> [BuiltIn]Source

transparentFunctionForOccName :: OccName -> Maybe BuiltInSource

externalFunctionForOccName :: OccName -> Maybe BuiltInSource