| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Core.Salt.Env
Description
Types of Disciple Core Salt primops.
- primDataDefs :: DataDefs Name
- primKindEnv :: Env Name
- primTypeEnv :: Env Name
- typeOfPrimOp :: PrimOp -> Type Name
- typeOfPrimArith :: PrimArith -> Type Name
- typeOfPrimCast :: PrimCast -> Type Name
- typeOfPrimCall :: PrimCall -> Type Name
- typeOfPrimControl :: PrimControl -> Type Name
- typeOfPrimStore :: PrimStore -> Type Name
- typeOfPrimLit :: PrimLit -> Type Name
- typeIsUnboxed :: Type Name -> Bool
Documentation
primDataDefs :: DataDefs Name Source #
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 Source #
Kind environment containing kinds of primitive data types.
primTypeEnv :: Env Name Source #
Type environment containing types of primitive operators.
typeOfPrimControl :: PrimControl -> Type Name Source #