qute-symex-0.1.0: A symbolic execution engine for the QBE intermediate language.
Safe HaskellNone
LanguageGHC2021

Language.QBE.Backend.ExecTree

Documentation

data BTree a Source #

Constructors

Node a (Maybe (BTree a)) (Maybe (BTree a)) 
Leaf 

Instances

Instances details
Show a => Show (BTree a) Source # 
Instance details

Defined in Language.QBE.Backend.ExecTree

Methods

showsPrec :: Int -> BTree a -> ShowS #

show :: BTree a -> String #

showList :: [BTree a] -> ShowS #

Eq a => Eq (BTree a) Source # 
Instance details

Defined in Language.QBE.Backend.ExecTree

Methods

(==) :: BTree a -> BTree a -> Bool #

(/=) :: BTree a -> BTree a -> Bool #

type ExecTree = BTree Branch Source #

mkTree :: ExecTrace -> ExecTree Source #

addTrace :: ExecTree -> ExecTrace -> ExecTree Source #