helma-0.8.4.14: HELMA - Haskellish Esoteric Limited Minimal Automaton
Safe HaskellNone
LanguageHaskell2010

HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Synopsis

Documentation

blAnd :: OperatorType -> BinaryOperation #

Constructors

blOr :: OperatorType -> BinaryOperation #

blXor :: OperatorType -> BinaryOperation #

blEQ :: OperatorType -> BinaryOperation #

blGT :: OperatorType -> BinaryOperation #

calculateOps :: Integral a => a -> a -> [BinaryOperation] -> [a] #

Other functions

calculateOp :: Integral a => a -> a -> BinaryOperation -> a #

doBinary :: Integral a => BinaryOperation -> a -> a -> a #

data SMInstruction #

Types

Constructors

SPure !SPureInstruction 
SIO !IOInstruction 

Instances

Instances details
Eq SMInstruction # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

(==) :: SMInstruction -> SMInstruction -> Bool #

(/=) :: SMInstruction -> SMInstruction -> Bool #

Read SMInstruction # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

readsPrec :: Int -> ReadS SMInstruction #

readList :: ReadS [SMInstruction] #

readPrec :: ReadPrec SMInstruction #

readListPrec :: ReadPrec [SMInstruction] #

Show SMInstruction # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

showsPrec :: Int -> SMInstruction -> ShowS #

show :: SMInstruction -> String #

showList :: [SMInstruction] -> ShowS #

data SPureInstruction #

Constructors

Cons !Integer 
Unary !UnaryOperation 
Binary !BinaryOperation 
Binaries [BinaryOperation] 
Indexed !IndexOperand !IndexedOperation 
Halibut 
Pick 
Discard 

Instances

Instances details
Eq SPureInstruction # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

(==) :: SPureInstruction -> SPureInstruction -> Bool #

(/=) :: SPureInstruction -> SPureInstruction -> Bool #

Read SPureInstruction # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

readsPrec :: Int -> ReadS SPureInstruction #

readList :: ReadS [SPureInstruction] #

readPrec :: ReadPrec SPureInstruction #

readListPrec :: ReadPrec [SPureInstruction] #

Show SPureInstruction # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

showsPrec :: Int -> SPureInstruction -> ShowS #

show :: SPureInstruction -> String #

showList :: [SPureInstruction] -> ShowS #

data IndexOperand #

Constructors

ITop 
IImmediate !Index 

Instances

Instances details
Eq IndexOperand # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

(==) :: IndexOperand -> IndexOperand -> Bool #

(/=) :: IndexOperand -> IndexOperand -> Bool #

Read IndexOperand # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

readsPrec :: Int -> ReadS IndexOperand #

readList :: ReadS [IndexOperand] #

readPrec :: ReadPrec IndexOperand #

readListPrec :: ReadPrec [IndexOperand] #

Show IndexOperand # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

showsPrec :: Int -> IndexOperand -> ShowS #

show :: IndexOperand -> String #

showList :: [IndexOperand] -> ShowS #

data UnaryOperation #

Constructors

Neg 
BNot 
LNot 
UImmediate Integer BinaryOperation 

Instances

Instances details
Eq UnaryOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

(==) :: UnaryOperation -> UnaryOperation -> Bool #

(/=) :: UnaryOperation -> UnaryOperation -> Bool #

Read UnaryOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

readsPrec :: Int -> ReadS UnaryOperation #

readList :: ReadS [UnaryOperation] #

readPrec :: ReadPrec UnaryOperation #

readListPrec :: ReadPrec [UnaryOperation] #

Show UnaryOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

showsPrec :: Int -> UnaryOperation -> ShowS #

show :: UnaryOperation -> String #

showList :: [UnaryOperation] -> ShowS #

data BinaryOperation #

Constructors

Add 
Sub 
Mul 
Div 
Mod 
BAnd 
BOr 
BXor 
BEQ 
BGT 
LAnd 
LOr 
LXor 
LEQ 
LGT 

Instances

Instances details
Eq BinaryOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

(==) :: BinaryOperation -> BinaryOperation -> Bool #

(/=) :: BinaryOperation -> BinaryOperation -> Bool #

Read BinaryOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

readsPrec :: Int -> ReadS BinaryOperation #

readList :: ReadS [BinaryOperation] #

readPrec :: ReadPrec BinaryOperation #

readListPrec :: ReadPrec [BinaryOperation] #

Show BinaryOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

showsPrec :: Int -> BinaryOperation -> ShowS #

show :: BinaryOperation -> String #

showList :: [BinaryOperation] -> ShowS #

data IndexedOperation #

Constructors

Copy 
Move 
Slide 

Instances

Instances details
Eq IndexedOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

(==) :: IndexedOperation -> IndexedOperation -> Bool #

(/=) :: IndexedOperation -> IndexedOperation -> Bool #

Read IndexedOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

readsPrec :: Int -> ReadS IndexedOperation #

readList :: ReadS [IndexedOperation] #

readPrec :: ReadPrec IndexedOperation #

readListPrec :: ReadPrec [IndexedOperation] #

Show IndexedOperation # 
Instance details

Defined in HelVM.HelMA.Automaton.Instruction.Groups.SMInstruction

Methods

showsPrec :: Int -> IndexedOperation -> ShowS #

show :: IndexedOperation -> String #

showList :: [IndexedOperation] -> ShowS #

data OperatorType #

Constructors

Bitwise 
Logical 

printSM :: SMInstruction -> Text #

Internal

printSPure :: SPureInstruction -> Text #

printBinaries :: (Foldable c, Functor c, Show i) => c i -> Text #

printUnary :: UnaryOperation -> Text #

printIndexOperand :: IndexOperand -> Text #