DDC.Core.Lite.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#)

  Unit                ()
  Bool                B#
  Nat                 N#
  Int                 I#
  Pair                Pr
  List                Nil  Cons

primKindEnv :: Env Name

Kind environment containing kinds of primitive data types.

primTypeEnv :: Env Name

Type environment containing types of primitive operators.

isBoxedType :: Type Name -> Bool

Check if a type represents a boxed data type, where type variables are treated as boxed.