ghc-7.8.20140130: The GHC API

Safe Haskell	None
Language	Haskell98

Literal

Contents

Main data type

Synopsis

Main data type

data Literal Source

So-called Literals are one of:

An unboxed (machine) literal (MachInt, MachFloat, etc.), which is presumed to be surrounded by appropriate constructors (Int#, etc.), so that the overall thing makes sense.
The literal derived from the label mentioned in a "foreign label" declaration (MachLabel)

Constructors

MachChar Char	`Char#` - at least 31 bits. Create with `mkMachChar`
MachStr ByteString	A string-literal: stored and emitted UTF-8 encoded, we'll arrange to decode it at runtime. Also emitted with a `'\0'` terminator. Create with `mkMachString`
MachNullAddr	The `NULL` pointer, the only pointer value that can be represented as a Literal. Create with `nullAddrLit`
MachInt Integer	`Int#` - at least `WORD_SIZE_IN_BITS` bits. Create with `mkMachInt`
MachInt64 Integer	`Int64#` - at least 64 bits. Create with `mkMachInt64`
MachWord Integer	`Word#` - at least `WORD_SIZE_IN_BITS` bits. Create with `mkMachWord`
MachWord64 Integer	`Word64#` - at least 64 bits. Create with `mkMachWord64`
MachFloat Rational	`Float#`. Create with `mkMachFloat`
MachDouble Rational	`Double#`. Create with `mkMachDouble`
MachLabel FastString (Maybe Int) FunctionOrData	A label literal. Parameters: 1) The name of the symbol mentioned in the declaration 2) The size (in bytes) of the arguments the label expects. Only applicable with `stdcall` labels. `Just x` => `<x>` will be appended to label name when emitting assembly.
LitInteger Integer Type

Instances

Eq Literal
Data Literal
Ord Literal
Outputable Literal
Binary Literal
Typeable * Literal

Creating Literals

mkMachInt :: DynFlags -> Integer -> Literal Source

Creates a Literal of type Int#

mkMachWord :: DynFlags -> Integer -> Literal Source

Creates a Literal of type Word#

mkMachInt64 :: Integer -> Literal Source

Creates a Literal of type Int64#

mkMachWord64 :: Integer -> Literal Source

Creates a Literal of type Word64#

mkMachFloat :: Rational -> Literal Source

Creates a Literal of type Float#

mkMachDouble :: Rational -> Literal Source

Creates a Literal of type Double#

mkMachChar :: Char -> Literal Source

Creates a Literal of type Char#

mkMachString :: String -> Literal Source

Creates a Literal of type Addr#, which is appropriate for passing to e.g. some of the "error" functions in GHC.Err such as GHC.Err.runtimeError

mkLitInteger :: Integer -> Type -> Literal Source

Operations on Literals

literalType :: Literal -> Type Source

Find the Haskell Type the literal occupies

hashLiteral :: Literal -> Int Source

absentLiteralOf :: TyCon -> Maybe Literal Source

pprLiteral :: (SDoc -> SDoc) -> Literal -> SDoc Source

Predicates on Literals and their contents

litIsDupable :: DynFlags -> Literal -> Bool Source

True if code space does not go bad if we duplicate this literal Currently we treat it just like litIsTrivial

litIsTrivial :: Literal -> Bool Source

True if there is absolutely no penalty to duplicating the literal. False principally of strings

litIsLifted :: Literal -> Bool Source

inIntRange :: DynFlags -> Integer -> Bool Source

inWordRange :: DynFlags -> Integer -> Bool Source

tARGET_MAX_INT :: DynFlags -> Integer Source

inCharRange :: Char -> Bool Source

isZeroLit :: Literal -> Bool Source

Tests whether the literal represents a zero of whatever type it is

litFitsInChar :: Literal -> Bool Source

Coercions

word2IntLit :: DynFlags -> Literal -> Literal Source

int2WordLit :: DynFlags -> Literal -> Literal Source

narrow8IntLit :: Literal -> Literal Source

narrow16IntLit :: Literal -> Literal Source

narrow32IntLit :: Literal -> Literal Source

narrow8WordLit :: Literal -> Literal Source

narrow16WordLit :: Literal -> Literal Source

narrow32WordLit :: Literal -> Literal Source

char2IntLit :: Literal -> Literal Source

int2CharLit :: Literal -> Literal Source

float2IntLit :: Literal -> Literal Source

int2FloatLit :: Literal -> Literal Source

double2IntLit :: Literal -> Literal Source

int2DoubleLit :: Literal -> Literal Source

nullAddrLit :: Literal Source

float2DoubleLit :: Literal -> Literal Source

double2FloatLit :: Literal -> Literal Source