From 31bf84122b21efb444aa8d055472e166ffb90783 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 20 May 2008 11:47:44 +0000 Subject: moved all old source code to src-2.9 ; src will be for GF 3 development --- src-2.9/GF/Data/Map.hs | 61 ++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 61 insertions(+) create mode 100644 src-2.9/GF/Data/Map.hs (limited to 'src-2.9/GF/Data/Map.hs') diff --git a/src-2.9/GF/Data/Map.hs b/src-2.9/GF/Data/Map.hs new file mode 100644 index 000000000..c86c9ab55 --- /dev/null +++ b/src-2.9/GF/Data/Map.hs @@ -0,0 +1,61 @@ +---------------------------------------------------------------------- +-- | +-- Module : Map +-- Maintainer : Markus Forsberg +-- Stability : Stable +-- Portability : Haskell 98 +-- +-- > CVS $Date: 2005/04/21 16:22:04 $ +-- > CVS $Author: bringert $ +-- > CVS $Revision: 1.6 $ +-- +-- (Description of the module) +----------------------------------------------------------------------------- + +module GF.Data.Map ( + Map, + empty, + isEmpty, + (!), + (!+), + (|->), + (|->+), + (<+>), + flatten + ) where + +import GF.Data.RedBlack + +type Map key el = Tree key el + +infixl 6 |-> +infixl 6 |->+ +infixl 5 ! +infixl 5 !+ +infixl 4 <+> + +empty :: Map key el +empty = emptyTree + +-- | lookup operator. +(!) :: Ord key => Map key el -> key -> Maybe el +(!) fm e = lookupTree e fm + +-- | lookupMany operator. +(!+) :: Ord key => Map key el -> [key] -> [Maybe el] +fm !+ [] = [] +fm !+ (e:es) = (lookupTree e fm): (fm !+ es) + +-- | insert operator. +(|->) :: Ord key => (key,el) -> Map key el -> Map key el +(x,y) |-> fm = insertTree (x,y) fm + +-- | insertMany operator. +(|->+) :: Ord key => [(key,el)] -> Map key el -> Map key el +[] |->+ fm = fm +((x,y):xs) |->+ fm = xs |->+ (insertTree (x,y) fm) + +-- | union operator. +(<+>) :: Ord key => Map key el -> Map key el -> Map key el +(<+>) fm1 fm2 = xs |->+ fm2 + where xs = flatten fm1 -- cgit v1.2.3