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


-- | Validity instances for containers
--   
--   Please see README.md
@package validity-containers
@version 0.2.0.0

module Data.Validity.Map

-- | A <a>Map</a> of things is valid if all the keys and values are valid
--   and the <a>Map</a> itself is valid.
instance (GHC.Classes.Ord k, Data.Validity.Validity k, Data.Validity.Validity v) => Data.Validity.Validity (Data.Map.Internal.Map k v)

module Data.Validity.Sequence

-- | A <a>Seq</a>uence of things is valid if all the elements are valid.
instance Data.Validity.Validity v => Data.Validity.Validity (Data.Sequence.Internal.Seq v)

module Data.Validity.Set

-- | A <a>Set</a> of things is valid if all the elements are valid and the
--   <a>Set</a> itself is valid.
instance (GHC.Classes.Ord v, Data.Validity.Validity v) => Data.Validity.Validity (Data.Set.Internal.Set v)

module Data.Validity.Tree

-- | A <a>Tree</a> of things is valid if all the things in the <a>Tree</a>
--   are valid.
instance Data.Validity.Validity a => Data.Validity.Validity (Data.Tree.Tree a)

module Data.Validity.Containers
