DDC.Core.Flow.Env

Documentation

primDataDefs :: DataDefs Name

Data type definitions

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

 Tuple{2-32}         (T{2-32})
 Vector              (none, abstract)
 Series              (none, abstract)

primSortEnv :: Env Name

Sort environment containing sorts of primitive kinds.

primKindEnv :: Env Name

Kind environment containing kinds of primitive data types.

primTypeEnv :: Env Name

Type environment containing types of primitive operators.