DDC.Core.Salt.Env

Types of Disciple Core Salt primops.

Documentation

primDataDefs :: DataDefs Name

Data type definitions for:

 Type                        Constructors
 ----                --------------------------
 Bool#               True# False#
 Nat#                0# 1# 2# ...
 Int#                ... -2i# -1i# 0i# 1i# 2i# ...
 Size#               0s# 1s# 2s# ...
 Word{8,16,32,64}#   42w8# 123w64# ...
 Float{32,64}#       (none, convert from Int#)
 Tag#                (none, convert from Nat#)

primKindEnv :: Env Name

Kind environment containing kinds of primitive data types.

primTypeEnv :: Env Name

Type environment containing types of primitive operators.

typeOfPrimOp :: PrimOp -> Type Name

Take the type of a primitive operator.

typeOfPrimArith :: PrimArith -> Type Name

Take the type of a primitive operator.

typeOfPrimCast :: PrimCast -> Type Name

Take the type of a primitive cast.

typeOfPrimCall :: PrimCall -> Type Name

Take the type of a primitive call operator.

typeOfPrimControl :: PrimControl -> Type Name

typeOfPrimStore :: PrimStore -> Type Name

Take the type of a primitive projection.

typeOfPrimLit :: PrimLit -> Type Name

Take the type of a primitive literal.

typeIsUnboxed :: Type Name -> Bool

Check if a type is an unboxed data type.