From 7178fdc965a41827d673a5d354f079b980c891b4 Mon Sep 17 00:00:00 2001 From: ross Date: Tue, 27 Jan 2004 09:52:37 +0000 Subject: [PATCH] [project @ 2004-01-27 09:52:37 by ross] generalize the type of minusFM --- Data/FiniteMap.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Data/FiniteMap.hs b/Data/FiniteMap.hs index e63d92b..ee18419 100644 --- a/Data/FiniteMap.hs +++ b/Data/FiniteMap.hs @@ -180,7 +180,7 @@ plusFM_C :: (Ord key OUTPUTABLE_key) => (elt -> elt -> elt) -> FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt -- | @(minusFM a1 a2)@ deletes from @a1@ any mappings which are bound in @a2@ -minusFM :: (Ord key OUTPUTABLE_key) => FiniteMap key elt -> FiniteMap key elt -> FiniteMap key elt +minusFM :: (Ord key OUTPUTABLE_key) => FiniteMap key elt1 -> FiniteMap key elt2 -> FiniteMap key elt1 -- | @(intersectFM a1 a2)@ returns a new 'FiniteMap' containing -- mappings from @a1@ for which @a2@ also has a mapping with the same -- 1.7.10.4