| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
HelVM.HelMA.Automaton.Instruction.CFInstruction
Synopsis
- isNotJump :: Integral e => BranchTest -> e -> Bool
- isJump :: Integral e => BranchTest -> e -> Bool
- data CFInstruction
- data Mark
- data LabelOperand
- type Label = SString
- data LabeledOperation
- = Call
- | Jump
- | Branch !BranchTest
- data BranchTest
Documentation
isNotJump :: Integral e => BranchTest -> e -> Bool #
Others
isJump :: Integral e => BranchTest -> e -> Bool #
data CFInstruction #
Types
Constructors
| Mark !Mark | |
| Labeled !LabelOperand !LabeledOperation | |
| Return |
Instances
| Eq CFInstruction # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods (==) :: CFInstruction -> CFInstruction -> Bool # (/=) :: CFInstruction -> CFInstruction -> Bool # | |
| Read CFInstruction # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods readsPrec :: Int -> ReadS CFInstruction # readList :: ReadS [CFInstruction] # | |
| Show CFInstruction # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods showsPrec :: Int -> CFInstruction -> ShowS # show :: CFInstruction -> String # showList :: [CFInstruction] -> ShowS # | |
data LabelOperand #
Constructors
| LTop | |
| LImmediate !Natural | |
| LArtificial Label |
Instances
| Eq LabelOperand # | |
| Read LabelOperand # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods readsPrec :: Int -> ReadS LabelOperand # readList :: ReadS [LabelOperand] # | |
| Show LabelOperand # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods showsPrec :: Int -> LabelOperand -> ShowS # show :: LabelOperand -> String # showList :: [LabelOperand] -> ShowS # | |
data LabeledOperation #
Constructors
| Call | |
| Jump | |
| Branch !BranchTest |
Instances
| Eq LabeledOperation # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods (==) :: LabeledOperation -> LabeledOperation -> Bool # (/=) :: LabeledOperation -> LabeledOperation -> Bool # | |
| Read LabeledOperation # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods readsPrec :: Int -> ReadS LabeledOperation # readList :: ReadS [LabeledOperation] # | |
| Show LabeledOperation # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods showsPrec :: Int -> LabeledOperation -> ShowS # show :: LabeledOperation -> String # showList :: [LabeledOperation] -> ShowS # | |
data BranchTest #
Instances
| Eq BranchTest # | |
| Read BranchTest # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods readsPrec :: Int -> ReadS BranchTest # readList :: ReadS [BranchTest] # readPrec :: ReadPrec BranchTest # readListPrec :: ReadPrec [BranchTest] # | |
| Show BranchTest # | |
Defined in HelVM.HelMA.Automaton.Instruction.CFInstruction Methods showsPrec :: Int -> BranchTest -> ShowS # show :: BranchTest -> String # showList :: [BranchTest] -> ShowS # | |