shrink package:test-fun

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.

shrinkC :: Concrete r -> r -> [r]

test-fun Test.Fun Test.Fun.Internal.Types

shrinkFun :: forall a r . (r -> [r]) -> (a :-> r) -> [a :-> r]

test-fun Test.Fun Test.Fun.Internal.Shrink

Simplify function.

shrinkBin :: forall r . (r -> [r]) -> Bin r -> [Bin r]

test-fun Test.Fun.Internal.Shrink

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

test-fun Test.Fun.Internal.Shrink

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

test-fun Test.Fun.Internal.Shrink

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