Cursor.Tree.Gen

Orphan instances

GenUnchecked TreeCursorSelection

Methods

genUnchecked :: Gen TreeCursorSelection

shrinkUnchecked :: TreeCursorSelection -> [TreeCursorSelection]

GenValid TreeCursorSelection

Methods

genValid :: Gen TreeCursorSelection

shrinkValid :: TreeCursorSelection -> [TreeCursorSelection]

GenUnchecked a => GenUnchecked (DemoteResult a)

Methods

genUnchecked :: Gen (DemoteResult a)

shrinkUnchecked :: DemoteResult a -> [DemoteResult a]

GenUnchecked a => GenUnchecked (PromoteElemResult a)

Methods

genUnchecked :: Gen (PromoteElemResult a)

shrinkUnchecked :: PromoteElemResult a -> [PromoteElemResult a]

GenUnchecked a => GenUnchecked (PromoteResult a)

Methods

genUnchecked :: Gen (PromoteResult a)

shrinkUnchecked :: PromoteResult a -> [PromoteResult a]

GenUnchecked a => GenUnchecked (SwapResult a)

Methods

genUnchecked :: Gen (SwapResult a)

shrinkUnchecked :: SwapResult a -> [SwapResult a]

GenUnchecked b => GenUnchecked (TreeAbove b)

Methods

genUnchecked :: Gen (TreeAbove b)

shrinkUnchecked :: TreeAbove b -> [TreeAbove b]

GenUnchecked a => GenUnchecked (CTree a)

Methods

genUnchecked :: Gen (CTree a)

shrinkUnchecked :: CTree a -> [CTree a]

GenUnchecked a => GenUnchecked (CForest a)

Methods

genUnchecked :: Gen (CForest a)

shrinkUnchecked :: CForest a -> [CForest a]

GenValid a => GenValid (DemoteResult a)

Methods

genValid :: Gen (DemoteResult a)

shrinkValid :: DemoteResult a -> [DemoteResult a]

GenValid a => GenValid (PromoteElemResult a)

Methods

genValid :: Gen (PromoteElemResult a)

shrinkValid :: PromoteElemResult a -> [PromoteElemResult a]

GenValid a => GenValid (PromoteResult a)

Methods

genValid :: Gen (PromoteResult a)

shrinkValid :: PromoteResult a -> [PromoteResult a]

GenValid a => GenValid (SwapResult a)

Methods

genValid :: Gen (SwapResult a)

shrinkValid :: SwapResult a -> [SwapResult a]

GenValid b => GenValid (TreeAbove b)

Methods

genValid :: Gen (TreeAbove b)

shrinkValid :: TreeAbove b -> [TreeAbove b]

GenValid a => GenValid (CTree a)

Methods

genValid :: Gen (CTree a)

shrinkValid :: CTree a -> [CTree a]

GenValid a => GenValid (CForest a)

Methods

genValid :: Gen (CForest a)

shrinkValid :: CForest a -> [CForest a]

(GenUnchecked a, GenUnchecked b) => GenUnchecked (TreeCursor a b)

Methods

genUnchecked :: Gen (TreeCursor a b)

shrinkUnchecked :: TreeCursor a b -> [TreeCursor a b]

(GenValid a, GenValid b) => GenValid (TreeCursor a b)

Methods

genValid :: Gen (TreeCursor a b)

shrinkValid :: TreeCursor a b -> [TreeCursor a b]