Safe Haskell	None
Language	Haskell2010

Cursor.Tree.Gen

Contents

Orphan instances

GenValid TreeCursorSelection Source #
Instance details Methods genValid :: Gen TreeCursorSelection # shrinkValid :: TreeCursorSelection -> [TreeCursorSelection] #
GenValid a => GenValid (DemoteResult a) Source #
Instance details Methods genValid :: Gen (DemoteResult a) # shrinkValid :: DemoteResult a -> [DemoteResult a] #
GenValid a => GenValid (PromoteElemResult a) Source #
Instance details Methods genValid :: Gen (PromoteElemResult a) # shrinkValid :: PromoteElemResult a -> [PromoteElemResult a] #
GenValid a => GenValid (PromoteResult a) Source #
Instance details Methods genValid :: Gen (PromoteResult a) # shrinkValid :: PromoteResult a -> [PromoteResult a] #
GenValid a => GenValid (SwapResult a) Source #
Instance details Methods genValid :: Gen (SwapResult a) # shrinkValid :: SwapResult a -> [SwapResult a] #
GenValid b => GenValid (TreeAbove b) Source #
Instance details Methods genValid :: Gen (TreeAbove b) # shrinkValid :: TreeAbove b -> [TreeAbove b] #
GenValid a => GenValid (CTree a) Source #
Instance details Methods genValid :: Gen (CTree a) # shrinkValid :: CTree a -> [CTree a] #
GenValid a => GenValid (CForest a) Source #
Instance details Methods genValid :: Gen (CForest a) # shrinkValid :: CForest a -> [CForest a] #
(GenValid a, GenValid b) => GenValid (TreeCursor a b) Source #
Instance details Methods genValid :: Gen (TreeCursor a b) # shrinkValid :: TreeCursor a b -> [TreeCursor a b] #