constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 #