-----------------------------------------------------------------------------
-- |
-- Module      :  Data.Trie.General.CollectionsInstances
-- Copyright   :  (c) Adrian Hey 2007
-- License     :  BSD3
--
-- Maintainer  :  http://homepages.nildram.co.uk/~ahey/em.png
-- Stability   :  provisional
-- Portability :  Multi-parameter type classes, Functional dependencies
--
-- This module provides instances of the Collections package Classes
-- for all current generalised Trie types (I.E. instances of GT class).
--
-- It is not possible to efficiently implement the 'Data.Collections.Foldable.Foldable',
-- 'Data.Collections.Unfoldable' and 'Data.Collections.Collection' instances unless keys are explicitely
-- stored as Trie elements. This is refleted in the instance declarations which require elements to be
-- @(key,value)@ pairs. If necessary, generalised Tries of this form can be created using the
-- 'Data.Trie.General.addKeys' function.
--
-- The 'Data.Collections.Map' instances are not so constrained (but will of course
-- still work for Tries with elements which are @(key,value)@ pairs).
-----------------------------------------------------------------------------
module Data.Trie.General.CollectionsInstances
(-- * Modules
 module Data.Trie.General.CollectionsInstances.ListGT
,module Data.Trie.General.CollectionsInstances.OrdGT
,module Data.Trie.General.CollectionsInstances.BoolGT
,module Data.Trie.General.CollectionsInstances.IntGT
,module Data.Trie.General.CollectionsInstances.UnitGT
,module Data.Trie.General.CollectionsInstances.MaybeGT
,module Data.Trie.General.CollectionsInstances.EitherGT
) where

import Data.Trie.General.CollectionsInstances.ListGT
import Data.Trie.General.CollectionsInstances.OrdGT
import Data.Trie.General.CollectionsInstances.BoolGT
import Data.Trie.General.CollectionsInstances.IntGT
import Data.Trie.General.CollectionsInstances.UnitGT
import Data.Trie.General.CollectionsInstances.MaybeGT
import Data.Trie.General.CollectionsInstances.EitherGT