crux-0.7: Simple top-level library for Crucible Simulation
Safe HaskellSafe-Inferred
LanguageHaskell2010

Crux.Loops

Documentation

data Tree a Source #

Constructors

Node 

Fields

Instances

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

Defined in Crux.Loops

Methods

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

show :: Tree a -> String #

showList :: [Tree a] -> ShowS #

type Forest a = [Tree a] Source #

findLoops :: Eq a => [a] -> Forest a Source #

annotate :: Ord a => Forest a -> [([Int], a)] Source #

annotateLoops :: Ord a => [a] -> [([Int], a)] Source #