Safe Haskell | None |
---|---|
Language | Haskell2010 |
Orphan instances
GenValid TreeCursorSelection Source # | |
GenValid a => GenValid (DemoteResult a) Source # | |
genValid :: Gen (DemoteResult a) # shrinkValid :: DemoteResult a -> [DemoteResult a] # | |
GenValid a => GenValid (PromoteElemResult a) Source # | |
genValid :: Gen (PromoteElemResult a) # shrinkValid :: PromoteElemResult a -> [PromoteElemResult a] # | |
GenValid a => GenValid (PromoteResult a) Source # | |
genValid :: Gen (PromoteResult a) # shrinkValid :: PromoteResult a -> [PromoteResult a] # | |
GenValid a => GenValid (SwapResult a) Source # | |
genValid :: Gen (SwapResult a) # shrinkValid :: SwapResult a -> [SwapResult a] # | |
GenValid b => GenValid (TreeAbove b) Source # | |
GenValid a => GenValid (CTree a) Source # | |
GenValid a => GenValid (CForest a) Source # | |
(GenValid a, GenValid b) => GenValid (TreeCursor a b) Source # | |
genValid :: Gen (TreeCursor a b) # shrinkValid :: TreeCursor a b -> [TreeCursor a b] # |