Data.GMap.OrdMap

OrdMap type

data OrdMap k a

The default Map type any key type which is an instance of Ord. This is a newtype wrapper around Data.Tree.AVL.AVL (k,a).

Instances

Functor (OrdMap k)

(Ord k, Typeable k) => Typeable1 (OrdMap k)

Foldable (OrdMap k)

Ord k => OrderedMap (OrdMap k) k

Ord k => Map (OrdMap k) k

(Eq k, Eq a) => Eq (OrdMap k a)

(Ord k, Ord a) => Ord (OrdMap k a)

(Ord k, Read k, Read a) => Read (OrdMap k a)

(Ord k, Show k, Show a) => Show (OrdMap k a)

(Typeable1 (OrdMap k), Typeable a) => Typeable (OrdMap k a)

(Ord k, Monoid a) => Monoid (OrdMap k a)