| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Test.Fun.Internal.Shrink
Description
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 #