idris-0.9.17: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

IRTS.Bytecode

Documentation

data Reg Source

Constructors

RVal 
L Int 
T Int 
Tmp 

Instances

toBC :: (Name, SDecl) -> (Name, [BC]) Source

bc :: Reg -> SExp -> Bool -> [BC] Source

moveReg :: Int -> [LVar] -> [BC] Source

assign :: Reg -> Reg -> [BC] Source

conCase :: Bool -> Reg -> Reg -> [SAlt] -> Bool -> [BC] Source

constCase :: Reg -> Reg -> [SAlt] -> Bool -> [BC] Source

caseAlt :: Reg -> Reg -> Bool -> SAlt -> Maybe (Int, [BC]) Source

constAlt :: t -> Reg -> Bool -> SAlt -> Maybe (Const, [BC]) Source