Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
genSelectionSkeleton :: Gen ( Address ctx) -> Gen ( SelectionSkeleton ctx) Source #
shrinkSelectionLimit :: SelectionLimit -> [ SelectionLimit ] Source #
shrinkSelectionSkeleton :: ( Address ctx -> [ Address ctx]) -> SelectionSkeleton ctx -> [ SelectionSkeleton ctx] Source #