IRTS.Defunctionalise

Documentation

data DExp

Constructors

DV LVar

DApp Bool Name [DExp]

DLet Name DExp DExp

DUpdate Name DExp

DProj DExp Int

DC (Maybe LVar) Int Name [DExp]

DCase CaseType DExp [DAlt]

DChkCase DExp [DAlt]

DConst Const

DForeign FLang FType String [(FType, DExp)]

DOp PrimFn [DExp]

DNothing

DError String

Instances

Eq DExp

Show DExp

data DAlt

Constructors

DConCase Int Name [Name] DExp

DConstCase Const DExp

DDefaultCase DExp

Instances

Eq DAlt

Show DAlt

data DDecl

Constructors

DFun Name [Name] DExp

DConstructor Name Int Int

Instances

Eq DDecl

Show DDecl

type DDefs = Ctxt DDecl

defunctionalise :: Int -> LDefs -> DDefs

getFn :: [(Name, LDecl)] -> [(Name, Int)]

addApps :: LDefs -> (Name, LDecl) -> State ([Name], [(Name, Int)]) (Name, DDecl)

eEVAL :: DExp -> DExp

data EvalApply a

Constructors

EvalCase (Name -> a)

ApplyCase a

toCons :: [Name] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)]

toConsA :: [(Name, Int)] -> (Name, Int) -> [(Name, Int, EvalApply DAlt)]

mkApplyCase :: Name -> Int -> Int -> [(Name, Int, EvalApply DAlt)]

mkEval :: [(Name, Int, EvalApply DAlt)] -> (Name, DDecl)

mkApply :: [(Name, Int, EvalApply DAlt)] -> (Name, DDecl)

declare :: Int -> [(Name, Int, EvalApply DAlt)] -> [(Name, DDecl)]

genArgs :: Int -> [Name]

mkFnCon :: Show a => a -> Name

mkUnderCon :: Name -> Int -> Name

mkBigCase :: t -> Int -> DExp -> [DAlt] -> DExp

groupsOf :: Int -> [DAlt] -> [[DAlt]]

dumpDefuns :: DDefs -> String

module IRTS.Lang