Documentation

allZeroTree ∷ Specification (BinTree Int) Source #

isBST ∷ Specification (BinTree Int) Source #

noChildrenSameTree ∷ Specification (BinTree Int) Source #

isAllZeroTree ∷ Specification (Tree Int) Source #

noSameChildrenTree ∷ Specification (Tree Int) Source #

successiveChildren ∷ Specification (Tree Int) Source #

successiveChildren8 ∷ Specification (Tree Int) Source #

roseTreeList ∷ Specification [Tree Int] Source #

roseTreePairs ∷ Specification (Tree ([Int], [Int])) Source #

roseTreeMaybe ∷ Specification (Tree (Maybe (Int, Int))) Source #

badTreeInteraction ∷ Specification (Tree (Either Int Int)) Source #