Safe Haskell | None |
---|
DDC.Core.Lite.Env
- primDataDefs :: DataDefs Name
- primKindEnv :: Env Name
- primTypeEnv :: Env Name
- isBoxedType :: Type Name -> Bool
Documentation
primDataDefs :: DataDefs NameSource
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
Kind environment containing kinds of primitive data types.
Type environment containing types of primitive operators.
isBoxedType :: Type Name -> BoolSource
Check if a type represents a boxed data type, where type variables are treated as boxed.