Safe Haskell	None
Language	Haskell2010

Test.Falsify.ShrinkTree

Contents

Description

Hedgehog-style shrink trees

Intended for qualified import.

import Test.Falsify
import qualified Test.Falsify.ShrinkTree as ShrinkTree

Synopsis

Documentation

Hedgehog-style shrink tree

Constructors

WrapShrinkTree
Fields unwrapShrinkTree :: Tree a

Instances details

Functor ShrinkTree Source #
Instance details Defined in Test.Falsify.ShrinkTree Methods fmap :: (a -> b) -> ShrinkTree a -> ShrinkTree b # (<$) :: a -> ShrinkTree b -> ShrinkTree a #
Show a => Show (ShrinkTree a) Source #
Instance details Defined in Test.Falsify.ShrinkTree Methods showsPrec :: Int -> ShrinkTree a -> ShowS # show :: ShrinkTree a -> String # showList :: [ShrinkTree a] -> ShowS #
Eq a => Eq (ShrinkTree a) Source #
Instance details Defined in Test.Falsify.ShrinkTree Methods (==) :: ShrinkTree a -> ShrinkTree a -> Bool # (/=) :: ShrinkTree a -> ShrinkTree a -> Bool #

Construction

unfold :: a -> (a -> [a]) -> ShrinkTree a Source #

Quickcheck-style manual shrinking