Documentation

isICF :: Instruction -> Bool #

isMark :: Instruction -> Bool #

checkNaturalMark :: Natural -> Instruction -> Bool #

checkArtificialMark :: Label -> Instruction -> Bool #

pattern SubP :: Instruction #

pattern HalibutP :: Instruction #

pattern PickP :: Instruction #

pattern ConsP :: Integer -> Instruction #

pattern CopyIP :: Index -> Instruction #

pattern MoveIP :: Index -> Instruction #

pattern BinaryP :: BinaryOperation -> Instruction #

pattern SPureP :: SPureInstruction -> Instruction #

pattern BNeIP :: Natural -> Instruction #

pattern JumpP :: LabelOperand -> Instruction #

pattern MarkP :: Mark -> Instruction #

pattern MNaturalP :: Natural -> Instruction #

pattern MArtificialP :: Label -> Instruction #

pattern BranchTP :: BranchTest -> Instruction #

pattern StoreP :: Instruction #

pattern LoadP :: Instruction #

pattern LoadDP :: Index -> Instruction #