CSPM.Prelude

This module contains all the builtin definitions for the input CSPM language.

Documentation

data BuiltIn

Constructors

BuiltIn

Fields

name :: Name

stringName :: String

isDeprecated :: Bool

deprecatedReplacement :: Maybe Name

typeScheme :: TypeScheme

isTypeUnsafe :: Bool

isExternal :: Bool

isHidden :: Bool

isTransparent :: Bool

Instances

Eq BuiltIn

builtins :: Bool -> [BuiltIn]

builtInName :: String -> Name

transparentFunctionForOccName :: OccName -> Maybe BuiltIn

externalFunctionForOccName :: OccName -> Maybe BuiltIn