-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | GenValidity support for containers
--   
--   Please see README.md
@package genvalidity-containers
@version 0.3.0.0

module Data.GenValidity.Tree

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

-- | Generate a tree of values that are generated as specified.
--   
--   This takes the size parameter much better into account
genTreeOf :: Gen a -> Gen (Tree a)
instance Data.GenValidity.GenUnchecked a => Data.GenValidity.GenUnchecked (Data.Tree.Tree a)
instance Data.GenValidity.GenValid a => Data.GenValidity.GenValid (Data.Tree.Tree a)
instance (Data.GenValidity.GenUnchecked a, Data.GenValidity.GenInvalid a) => Data.GenValidity.GenInvalid (Data.Tree.Tree a)

module Data.GenValidity.Set
instance (GHC.Classes.Ord v, Data.GenValidity.GenUnchecked v) => Data.GenValidity.GenUnchecked (Data.Set.Base.Set v)
instance (GHC.Classes.Ord v, Data.GenValidity.GenValid v) => Data.GenValidity.GenValid (Data.Set.Base.Set v)
instance (GHC.Classes.Ord v, Data.GenValidity.GenInvalid v) => Data.GenValidity.GenInvalid (Data.Set.Base.Set v)

module Data.GenValidity.Sequence
instance Data.GenValidity.GenUnchecked v => Data.GenValidity.GenUnchecked (Data.Sequence.Seq v)
instance Data.GenValidity.GenValid v => Data.GenValidity.GenValid (Data.Sequence.Seq v)
instance Data.GenValidity.GenInvalid v => Data.GenValidity.GenInvalid (Data.Sequence.Seq v)

module Data.GenValidity.Map
instance (GHC.Classes.Ord k, Data.GenValidity.GenUnchecked k, Data.GenValidity.GenUnchecked v) => Data.GenValidity.GenUnchecked (Data.Map.Base.Map k v)
instance (GHC.Classes.Ord k, Data.GenValidity.GenValid k, Data.GenValidity.GenValid v) => Data.GenValidity.GenValid (Data.Map.Base.Map k v)
instance (GHC.Classes.Ord k, Data.GenValidity.GenInvalid k, Data.GenValidity.GenInvalid v) => Data.GenValidity.GenInvalid (Data.Map.Base.Map k v)

module Data.GenValidity.Containers