Safe Haskell	None
Language	Haskell98

IRTS.Lang

Documentation

data Endianness Source

Constructors

Native
BE
LE

Instances

Eq Endianness Source
Show Endianness Source

data LVar Source

Constructors

Loc Int
Glob Name

Instances

Eq LVar Source
Show LVar Source

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 Source
Show LExp Source

data FDesc Source

Constructors

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

Instances

Eq FDesc Source
Show FDesc Source

data Export Source

Constructors

ExportData FDesc
ExportFun Name FDesc FDesc [FDesc]

Instances

Eq Export Source
Show Export Source

data ExportIFace Source

Constructors

Export Name String [Export]

Instances

Eq ExportIFace Source
Show ExportIFace Source

data PrimFn Source

Instances

Eq PrimFn Source
Show PrimFn Source

data FCallType Source

Constructors

FStatic
FObject
FConstructor

Instances

Eq FCallType Source
Show FCallType Source

data FType Source

Constructors

FArith ArithTy
FFunction
FFunctionIO
FString
FUnit
FPtr
FManagedPtr
FAny

Instances

Eq FType Source
Show FType Source

data LAlt' e Source

Constructors

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

Instances

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

type LAlt = LAlt' LExp Source

data LDecl Source

Constructors

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

Instances

Eq LDecl Source
Show LDecl Source

type LDefs = Ctxt LDecl Source

data LOpt Source

Constructors

Inline
NoInline

Instances

Eq LOpt Source
Show LOpt Source

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 t1, Foldable t) => t t1 -> t1 -> [t1] 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
LStrSubstr
LReadStr
LWriteStr
LSystemInfo
LFork
LPar
LExternal Name
LNoOp