Safe Haskell	None
Language	Haskell98

IRTS.Lang

Documentation

data Endianness Source

Constructors

Native
BE
LE

Instances

Eq Endianness
Show Endianness

data LVar Source

Constructors

Loc Int
Glob Name

Instances

Eq LVar
Show LVar

data LExp Source

Constructors

LV LVar
LApp Bool LExp [LExp]
LLazyApp Name [LExp]
LLazyExp LExp
LForce LExp
LLet Name LExp LExp
LLam [Name] LExp
LProj LExp Int
LCon (Maybe LVar) Int Name [LExp]
LCase CaseType LExp [LAlt]
LConst Const
LForeign FDesc FDesc [(FDesc, LExp)]
LOp PrimFn [LExp]
LNothing
LError String

Instances

Eq LExp
Show LExp

data FDesc Source

Constructors

FCon Name
FStr String
FUnknown
FIO FDesc
FApp Name [FDesc]

Instances

Eq FDesc
Show FDesc

data Export Source

Constructors

ExportData FDesc
ExportFun Name FDesc FDesc [FDesc]

Instances

Eq Export
Show Export

data ExportIFace Source

Constructors

Export Name String [Export]

Instances

Eq ExportIFace
Show ExportIFace

data FCallType Source

Constructors

FStatic
FObject
FConstructor

Instances

Eq FCallType
Show FCallType

data FType Source

Constructors

FArith ArithTy
FFunction
FFunctionIO
FString
FUnit
FPtr
FManagedPtr
FAny

Instances

Eq FType
Show FType

data LAlt' e Source

Constructors

LConCase Int Name [Name] e
LConstCase Const e
LDefaultCase e

Instances

Functor LAlt'
Eq e => Eq (LAlt' e)
Show e => Show (LAlt' e)

type LAlt = LAlt' LExp Source

data LDecl Source

Constructors

LFun [LOpt] Name [Name] LExp
LConstructor Name Int Int

Instances

Eq LDecl
Show LDecl

type LDefs = Ctxt LDecl Source

data LOpt Source

Constructors

Inline
NoInline

Instances

Eq LOpt
Show LOpt

addTags :: Int -> [(Name, LDecl)] -> (Int, [(Name, LDecl)]) Source

data LiftState Source

Constructors

LS Name Int [(Name, LDecl)]

lname :: Name -> Int -> Name Source

liftAll :: [(Name, LDecl)] -> [(Name, LDecl)] Source

lambdaLift :: Name -> LDecl -> [(Name, LDecl)] Source

getNextName :: State LiftState Name Source

addFn :: Name -> LDecl -> State LiftState () Source

lift :: [Name] -> LExp -> State LiftState LExp Source

allocUnique :: LDefs -> (Name, LDecl) -> (Name, LDecl) Source

usedArg :: Eq t => [t] -> t -> [t] Source

usedIn :: [Name] -> LExp -> [Name] Source

LPlus ArithTy
LMinus ArithTy
LTimes ArithTy
LUDiv IntTy
LSDiv ArithTy
LURem IntTy
LSRem ArithTy
LAnd IntTy
LOr IntTy
LXOr IntTy
LCompl IntTy
LSHL IntTy
LLSHR IntTy
LASHR IntTy
LEq ArithTy
LLt IntTy
LLe IntTy
LGt IntTy
LGe IntTy
LSLt ArithTy
LSLe ArithTy
LSGt ArithTy
LSGe ArithTy
LSExt IntTy IntTy
LZExt IntTy IntTy
LTrunc IntTy IntTy
LStrConcat
LStrLt
LStrEq
LStrLen
LIntFloat IntTy
LFloatInt IntTy
LIntStr IntTy
LStrInt IntTy
LFloatStr
LStrFloat
LChInt IntTy
LIntCh IntTy
LBitCast ArithTy ArithTy
LFExp
LFLog
LFSin
LFCos
LFTan
LFASin
LFACos
LFATan
LFSqrt
LFFloor
LFCeil
LFNegate
LStrHead
LStrTail
LStrCons
LStrIndex
LStrRev
LReadStr
LWriteStr
LSystemInfo
LFork
LPar
LExternal Name
LNoOp