genvalidity-containers-0.5.1.1: GenValidity support for containers

Safe HaskellNone
LanguageHaskell2010

Data.GenValidity.Tree

Contents

Synopsis

Documentation

genTreeOf :: Gen a -> Gen (Tree a) Source #

Generate a tree of values that are generated as specified.

This takes the size parameter much better into account

Orphan instances

GenUnchecked a => GenUnchecked (Tree a) Source # 
Instance details

GenValid a => GenValid (Tree a) Source # 
Instance details

Methods

genValid :: Gen (Tree a) Source #

shrinkValid :: Tree a -> [Tree a] Source #

(GenUnchecked a, GenInvalid a) => GenInvalid (Tree a) Source #

There should be at least one invalid element, either it's here or it's further down the tree.

Instance details