Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

Shrinker for representation of functions.

### Warning

This is an internal module: it is not subject to any versioning policy, breaking changes can happen at any time. It is made available only for debugging. Otherwise, use Test.Fun.

If something here seems useful, please open an issue to export it from an external module.

## Synopsis

- shrinkFun :: forall a r. (r -> [r]) -> (a :-> r) -> [a :-> r]
- shrinkBranches :: forall x r. (r -> [r]) -> Branches x r -> [Branches x r]
- shrinkFields :: forall x r. (r -> [r]) -> Fields x r -> [Fields x r]
- shrinkBin :: forall r. (r -> [r]) -> Bin r -> [Bin r]
- binToShrink :: forall r. Bin r -> Bin r
- shrinkMaybe :: (r -> [r]) -> Maybe r -> [Maybe r]
- firstFun :: forall a r t. (r -> Maybe t) -> (a :-> r) -> Maybe t
- firstBranches :: forall x r t. (r -> Maybe t) -> Branches x r -> Maybe t
- firstField :: forall x r t. (r -> Maybe t) -> Fields x r -> Maybe t
- firstBin :: forall r t. (r -> Maybe t) -> Bin r -> Maybe t

# Documentation

shrinkBranches :: forall x r. (r -> [r]) -> Branches x r -> [Branches x r] Source #

shrinkFields :: forall x r. (r -> [r]) -> Fields x r -> [Fields x r] Source #

binToShrink :: forall r. Bin r -> Bin r Source #

shrinkMaybe :: (r -> [r]) -> Maybe r -> [Maybe r] Source #