| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Constrained.Examples.Tree
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 #