-- File created: 2009-03-06 12:40:42

-- Base.Map plus stuff we don't want to export
module Data.ListTrie.Base.Map.Internal
   (module Data.ListTrie.Base.Map, difference) where

import Data.ListTrie.Base.Map

-- Moved this outside Map because it's an odd one out: union and intersection
-- aren't needed
difference :: Map m k => m k a -> m k b -> m k a
difference :: forall (m :: * -> * -> *) k a b. Map m k => m k a -> m k b -> m k a
difference = (a -> b -> Maybe a) -> m k a -> m k b -> m k a
forall a b. (a -> b -> Maybe a) -> m k a -> m k b -> m k a
forall (m :: * -> * -> *) k a b.
Map m k =>
(a -> b -> Maybe a) -> m k a -> m k b -> m k a
differenceWith (\a
_ b
_ -> Maybe a
forall a. Maybe a
Nothing)