{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# OPTIONS_GHC -Wall #-}
module GHC.Types.Unique.FM (
UniqFM,
NonDetUniqFM(..),
emptyUFM,
unitUFM,
unitDirectlyUFM,
zipToUFM,
listToUFM,
listToUFM_Directly,
listToUFM_C,
listToIdentityUFM,
addToUFM,addToUFM_C,addToUFM_Acc,addToUFM_L,
addListToUFM,addListToUFM_C,
addToUFM_Directly,
addListToUFM_Directly,
adjustUFM, alterUFM, alterUFM_Directly,
adjustUFM_Directly,
delFromUFM,
delFromUFM_Directly,
delListFromUFM,
delListFromUFM_Directly,
plusUFM,
plusUFM_C,
plusUFM_CD,
plusUFM_CD2,
mergeUFM,
plusMaybeUFM_C,
plusUFMList,
plusUFMListWith,
sequenceUFMList,
minusUFM,
minusUFM_C,
intersectUFM,
intersectUFM_C,
disjointUFM,
equalKeysUFM,
diffUFM,
nonDetStrictFoldUFM, nonDetFoldUFM, nonDetStrictFoldUFM_DirectlyM,
nonDetFoldWithKeyUFM,
nonDetStrictFoldUFM_Directly,
anyUFM, allUFM, seqEltsUFM,
mapUFM, mapUFM_Directly, strictMapUFM,
mapMaybeUFM, mapMaybeUFM_sameUnique, mapMaybeWithKeyUFM,
elemUFM, elemUFM_Directly,
filterUFM, filterUFM_Directly, partitionUFM,
sizeUFM,
isNullUFM,
lookupUFM, lookupUFM_Directly,
lookupWithDefaultUFM, lookupWithDefaultUFM_Directly,
nonDetEltsUFM, nonDetKeysUFM,
ufmToSet_Directly,
nonDetUFMToList, ufmToIntMap, unsafeIntMapToUFM,
unsafeCastUFMKey,
pprUniqFM, pprUFM, pprUFMWithKeys, pluralUFM
) where
import GHC.Prelude
import GHC.Types.Unique ( Uniquable(..), Unique, getKey, mkUniqueGrimily )
import GHC.Utils.Outputable
import GHC.Utils.Panic.Plain
import qualified GHC.Data.Word64Map as M
import qualified GHC.Data.Word64Map.Strict as MS
import qualified GHC.Data.Word64Set as S
import Data.Data
import qualified Data.Semigroup as Semi
import Data.Functor.Classes (Eq1 (..))
import Data.Coerce
newtype UniqFM key ele = UFM (M.Word64Map ele)
deriving (Typeable (UniqFM key ele)
Typeable (UniqFM key ele) =>
(forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UniqFM key ele -> c (UniqFM key ele))
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (UniqFM key ele))
-> (UniqFM key ele -> Constr)
-> (UniqFM key ele -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c (UniqFM key ele)))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (UniqFM key ele)))
-> ((forall b. Data b => b -> b)
-> UniqFM key ele -> UniqFM key ele)
-> (forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r)
-> (forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r)
-> (forall u.
(forall d. Data d => d -> u) -> UniqFM key ele -> [u])
-> (forall u.
Int -> (forall d. Data d => d -> u) -> UniqFM key ele -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele))
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele))
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele))
-> Data (UniqFM key ele)
UniqFM key ele -> Constr
UniqFM key ele -> DataType
(forall b. Data b => b -> b) -> UniqFM key ele -> UniqFM key ele
forall a.
Typeable a =>
(forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
(r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
(r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u.
Int -> (forall d. Data d => d -> u) -> UniqFM key ele -> u
forall u. (forall d. Data d => d -> u) -> UniqFM key ele -> [u]
forall k (key :: k) ele.
(Typeable key, Typeable k, Data ele) =>
Typeable (UniqFM key ele)
forall k (key :: k) ele.
(Typeable key, Typeable k, Data ele) =>
UniqFM key ele -> Constr
forall k (key :: k) ele.
(Typeable key, Typeable k, Data ele) =>
UniqFM key ele -> DataType
forall k (key :: k) ele.
(Typeable key, Typeable k, Data ele) =>
(forall b. Data b => b -> b) -> UniqFM key ele -> UniqFM key ele
forall k (key :: k) ele u.
(Typeable key, Typeable k, Data ele) =>
Int -> (forall d. Data d => d -> u) -> UniqFM key ele -> u
forall k (key :: k) ele u.
(Typeable key, Typeable k, Data ele) =>
(forall d. Data d => d -> u) -> UniqFM key ele -> [u]
forall k (key :: k) ele r r'.
(Typeable key, Typeable k, Data ele) =>
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
forall k (key :: k) ele r r'.
(Typeable key, Typeable k, Data ele) =>
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
forall k (key :: k) ele (m :: * -> *).
(Typeable key, Typeable k, Data ele, Monad m) =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
forall k (key :: k) ele (m :: * -> *).
(Typeable key, Typeable k, Data ele, MonadPlus m) =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
forall k (key :: k) ele (c :: * -> *).
(Typeable key, Typeable k, Data ele) =>
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (UniqFM key ele)
forall k (key :: k) ele (c :: * -> *).
(Typeable key, Typeable k, Data ele) =>
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UniqFM key ele -> c (UniqFM key ele)
forall k (key :: k) ele (t :: * -> *) (c :: * -> *).
(Typeable key, Typeable k, Data ele, Typeable t) =>
(forall d. Data d => c (t d)) -> Maybe (c (UniqFM key ele))
forall k (key :: k) ele (t :: * -> * -> *) (c :: * -> *).
(Typeable key, Typeable k, Data ele, Typeable t) =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (UniqFM key ele))
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (UniqFM key ele)
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UniqFM key ele -> c (UniqFM key ele)
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c (UniqFM key ele))
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (UniqFM key ele))
$cgfoldl :: forall k (key :: k) ele (c :: * -> *).
(Typeable key, Typeable k, Data ele) =>
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UniqFM key ele -> c (UniqFM key ele)
gfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> UniqFM key ele -> c (UniqFM key ele)
$cgunfold :: forall k (key :: k) ele (c :: * -> *).
(Typeable key, Typeable k, Data ele) =>
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (UniqFM key ele)
gunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c (UniqFM key ele)
$ctoConstr :: forall k (key :: k) ele.
(Typeable key, Typeable k, Data ele) =>
UniqFM key ele -> Constr
toConstr :: UniqFM key ele -> Constr
$cdataTypeOf :: forall k (key :: k) ele.
(Typeable key, Typeable k, Data ele) =>
UniqFM key ele -> DataType
dataTypeOf :: UniqFM key ele -> DataType
$cdataCast1 :: forall k (key :: k) ele (t :: * -> *) (c :: * -> *).
(Typeable key, Typeable k, Data ele, Typeable t) =>
(forall d. Data d => c (t d)) -> Maybe (c (UniqFM key ele))
dataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c (UniqFM key ele))
$cdataCast2 :: forall k (key :: k) ele (t :: * -> * -> *) (c :: * -> *).
(Typeable key, Typeable k, Data ele, Typeable t) =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (UniqFM key ele))
dataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e))
-> Maybe (c (UniqFM key ele))
$cgmapT :: forall k (key :: k) ele.
(Typeable key, Typeable k, Data ele) =>
(forall b. Data b => b -> b) -> UniqFM key ele -> UniqFM key ele
gmapT :: (forall b. Data b => b -> b) -> UniqFM key ele -> UniqFM key ele
$cgmapQl :: forall k (key :: k) ele r r'.
(Typeable key, Typeable k, Data ele) =>
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
gmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
$cgmapQr :: forall k (key :: k) ele r r'.
(Typeable key, Typeable k, Data ele) =>
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
gmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> UniqFM key ele -> r
$cgmapQ :: forall k (key :: k) ele u.
(Typeable key, Typeable k, Data ele) =>
(forall d. Data d => d -> u) -> UniqFM key ele -> [u]
gmapQ :: forall u. (forall d. Data d => d -> u) -> UniqFM key ele -> [u]
$cgmapQi :: forall k (key :: k) ele u.
(Typeable key, Typeable k, Data ele) =>
Int -> (forall d. Data d => d -> u) -> UniqFM key ele -> u
gmapQi :: forall u.
Int -> (forall d. Data d => d -> u) -> UniqFM key ele -> u
$cgmapM :: forall k (key :: k) ele (m :: * -> *).
(Typeable key, Typeable k, Data ele, Monad m) =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
gmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
$cgmapMp :: forall k (key :: k) ele (m :: * -> *).
(Typeable key, Typeable k, Data ele, MonadPlus m) =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
gmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
$cgmapMo :: forall k (key :: k) ele (m :: * -> *).
(Typeable key, Typeable k, Data ele, MonadPlus m) =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
gmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d)
-> UniqFM key ele -> m (UniqFM key ele)
Data, UniqFM key ele -> UniqFM key ele -> Bool
(UniqFM key ele -> UniqFM key ele -> Bool)
-> (UniqFM key ele -> UniqFM key ele -> Bool)
-> Eq (UniqFM key ele)
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
forall k (key :: k) ele.
Eq ele =>
UniqFM key ele -> UniqFM key ele -> Bool
$c== :: forall k (key :: k) ele.
Eq ele =>
UniqFM key ele -> UniqFM key ele -> Bool
== :: UniqFM key ele -> UniqFM key ele -> Bool
$c/= :: forall k (key :: k) ele.
Eq ele =>
UniqFM key ele -> UniqFM key ele -> Bool
/= :: UniqFM key ele -> UniqFM key ele -> Bool
Eq, (forall a b. (a -> b) -> UniqFM key a -> UniqFM key b)
-> (forall a b. a -> UniqFM key b -> UniqFM key a)
-> Functor (UniqFM key)
forall k (key :: k) a b. a -> UniqFM key b -> UniqFM key a
forall k (key :: k) a b. (a -> b) -> UniqFM key a -> UniqFM key b
forall a b. a -> UniqFM key b -> UniqFM key a
forall a b. (a -> b) -> UniqFM key a -> UniqFM key b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall k (key :: k) a b. (a -> b) -> UniqFM key a -> UniqFM key b
fmap :: forall a b. (a -> b) -> UniqFM key a -> UniqFM key b
$c<$ :: forall k (key :: k) a b. a -> UniqFM key b -> UniqFM key a
<$ :: forall a b. a -> UniqFM key b -> UniqFM key a
Functor)
emptyUFM :: UniqFM key elt
emptyUFM :: forall {k} (key :: k) elt. UniqFM key elt
emptyUFM = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM Word64Map elt
forall a. Word64Map a
M.empty
isNullUFM :: UniqFM key elt -> Bool
isNullUFM :: forall {k} (key :: k) elt. UniqFM key elt -> Bool
isNullUFM (UFM Word64Map elt
m) = Word64Map elt -> Bool
forall a. Word64Map a -> Bool
M.null Word64Map elt
m
unitUFM :: Uniquable key => key -> elt -> UniqFM key elt
unitUFM :: forall key elt. Uniquable key => key -> elt -> UniqFM key elt
unitUFM key
k elt
v = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Key -> elt -> Word64Map elt
forall a. Key -> a -> Word64Map a
M.singleton (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) elt
v)
unitDirectlyUFM :: Unique -> elt -> UniqFM key elt
unitDirectlyUFM :: forall {k} elt (key :: k). Unique -> elt -> UniqFM key elt
unitDirectlyUFM Unique
u elt
v = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Key -> elt -> Word64Map elt
forall a. Key -> a -> Word64Map a
M.singleton (Unique -> Key
getKey Unique
u) elt
v)
zipToUFM :: Uniquable key => [key] -> [elt] -> UniqFM key elt
zipToUFM :: forall key elt. Uniquable key => [key] -> [elt] -> UniqFM key elt
zipToUFM [key]
ks [elt]
vs = Bool
-> (UniqFM key elt -> [key] -> [elt] -> UniqFM key elt)
-> UniqFM key elt
-> [key]
-> [elt]
-> UniqFM key elt
forall a. HasCallStack => Bool -> a -> a
assert ([key] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [key]
ks Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== [elt] -> Int
forall a. [a] -> Int
forall (t :: * -> *) a. Foldable t => t a -> Int
length [elt]
vs ) UniqFM key elt -> [key] -> [elt] -> UniqFM key elt
forall {key} {elt}.
Uniquable key =>
UniqFM key elt -> [key] -> [elt] -> UniqFM key elt
innerZip UniqFM key elt
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM [key]
ks [elt]
vs
where
innerZip :: UniqFM key elt -> [key] -> [elt] -> UniqFM key elt
innerZip UniqFM key elt
ufm (key
k:[key]
kList) (elt
v:[elt]
vList) = UniqFM key elt -> [key] -> [elt] -> UniqFM key elt
innerZip (UniqFM key elt -> key -> elt -> UniqFM key elt
forall key elt.
Uniquable key =>
UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM UniqFM key elt
ufm key
k elt
v) [key]
kList [elt]
vList
innerZip UniqFM key elt
ufm [key]
_ [elt]
_ = UniqFM key elt
ufm
listToUFM :: Uniquable key => [(key,elt)] -> UniqFM key elt
listToUFM :: forall key elt. Uniquable key => [(key, elt)] -> UniqFM key elt
listToUFM = (UniqFM key elt -> (key, elt) -> UniqFM key elt)
-> UniqFM key elt -> [(key, elt)] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\UniqFM key elt
m (key
k, elt
v) -> UniqFM key elt -> key -> elt -> UniqFM key elt
forall key elt.
Uniquable key =>
UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM UniqFM key elt
m key
k elt
v) UniqFM key elt
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM
{-# INLINEABLE listToUFM #-}
listToUFM_Directly :: [(Unique, elt)] -> UniqFM key elt
listToUFM_Directly :: forall {k} elt (key :: k). [(Unique, elt)] -> UniqFM key elt
listToUFM_Directly = (UniqFM key elt -> (Unique, elt) -> UniqFM key elt)
-> UniqFM key elt -> [(Unique, elt)] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\UniqFM key elt
m (Unique
u, elt
v) -> UniqFM key elt -> Unique -> elt -> UniqFM key elt
forall {k} (key :: k) elt.
UniqFM key elt -> Unique -> elt -> UniqFM key elt
addToUFM_Directly UniqFM key elt
m Unique
u elt
v) UniqFM key elt
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM
{-# INLINEABLE listToUFM_Directly #-}
listToIdentityUFM :: Uniquable key => [key] -> UniqFM key key
listToIdentityUFM :: forall key. Uniquable key => [key] -> UniqFM key key
listToIdentityUFM = (UniqFM key key -> key -> UniqFM key key)
-> UniqFM key key -> [key] -> UniqFM key key
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\UniqFM key key
m key
x -> UniqFM key key -> key -> key -> UniqFM key key
forall key elt.
Uniquable key =>
UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM UniqFM key key
m key
x key
x) UniqFM key key
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM
listToUFM_C
:: Uniquable key
=> (elt -> elt -> elt)
-> [(key, elt)]
-> UniqFM key elt
listToUFM_C :: forall key elt.
Uniquable key =>
(elt -> elt -> elt) -> [(key, elt)] -> UniqFM key elt
listToUFM_C elt -> elt -> elt
f = (UniqFM key elt -> (key, elt) -> UniqFM key elt)
-> UniqFM key elt -> [(key, elt)] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\UniqFM key elt
m (key
k, elt
v) -> (elt -> elt -> elt)
-> UniqFM key elt -> key -> elt -> UniqFM key elt
forall key elt.
Uniquable key =>
(elt -> elt -> elt)
-> UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM_C elt -> elt -> elt
f UniqFM key elt
m key
k elt
v) UniqFM key elt
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM
{-# INLINEABLE listToUFM_C #-}
addToUFM :: Uniquable key => UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM :: forall key elt.
Uniquable key =>
UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM (UFM Word64Map elt
m) key
k elt
v = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Key -> elt -> Word64Map elt -> Word64Map elt
forall a. Key -> a -> Word64Map a -> Word64Map a
M.insert (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) elt
v Word64Map elt
m)
addListToUFM :: Uniquable key => UniqFM key elt -> [(key,elt)] -> UniqFM key elt
addListToUFM :: forall key elt.
Uniquable key =>
UniqFM key elt -> [(key, elt)] -> UniqFM key elt
addListToUFM = (UniqFM key elt -> (key, elt) -> UniqFM key elt)
-> UniqFM key elt -> [(key, elt)] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\UniqFM key elt
m (key
k, elt
v) -> UniqFM key elt -> key -> elt -> UniqFM key elt
forall key elt.
Uniquable key =>
UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM UniqFM key elt
m key
k elt
v)
addListToUFM_Directly :: UniqFM key elt -> [(Unique,elt)] -> UniqFM key elt
addListToUFM_Directly :: forall {k} (key :: k) elt.
UniqFM key elt -> [(Unique, elt)] -> UniqFM key elt
addListToUFM_Directly = (UniqFM key elt -> (Unique, elt) -> UniqFM key elt)
-> UniqFM key elt -> [(Unique, elt)] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\UniqFM key elt
m (Unique
k, elt
v) -> UniqFM key elt -> Unique -> elt -> UniqFM key elt
forall {k} (key :: k) elt.
UniqFM key elt -> Unique -> elt -> UniqFM key elt
addToUFM_Directly UniqFM key elt
m Unique
k elt
v)
addToUFM_Directly :: UniqFM key elt -> Unique -> elt -> UniqFM key elt
addToUFM_Directly :: forall {k} (key :: k) elt.
UniqFM key elt -> Unique -> elt -> UniqFM key elt
addToUFM_Directly (UFM Word64Map elt
m) Unique
u elt
v = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Key -> elt -> Word64Map elt -> Word64Map elt
forall a. Key -> a -> Word64Map a -> Word64Map a
M.insert (Unique -> Key
getKey Unique
u) elt
v Word64Map elt
m)
addToUFM_C
:: Uniquable key
=> (elt -> elt -> elt)
-> UniqFM key elt
-> key -> elt
-> UniqFM key elt
addToUFM_C :: forall key elt.
Uniquable key =>
(elt -> elt -> elt)
-> UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM_C elt -> elt -> elt
f (UFM Word64Map elt
m) key
k elt
v =
Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt -> elt -> elt) -> Key -> elt -> Word64Map elt -> Word64Map elt
forall a. (a -> a -> a) -> Key -> a -> Word64Map a -> Word64Map a
M.insertWith ((elt -> elt -> elt) -> elt -> elt -> elt
forall a b c. (a -> b -> c) -> b -> a -> c
flip elt -> elt -> elt
f) (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) elt
v Word64Map elt
m)
addToUFM_Acc
:: Uniquable key
=> (elt -> elts -> elts)
-> (elt -> elts)
-> UniqFM key elts
-> key -> elt
-> UniqFM key elts
addToUFM_Acc :: forall key elt elts.
Uniquable key =>
(elt -> elts -> elts)
-> (elt -> elts)
-> UniqFM key elts
-> key
-> elt
-> UniqFM key elts
addToUFM_Acc elt -> elts -> elts
exi elt -> elts
new (UFM Word64Map elts
m) key
k elt
v =
Word64Map elts -> UniqFM key elts
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elts -> elts -> elts)
-> Key -> elts -> Word64Map elts -> Word64Map elts
forall a. (a -> a -> a) -> Key -> a -> Word64Map a -> Word64Map a
M.insertWith (\elts
_new elts
old -> elt -> elts -> elts
exi elt
v elts
old) (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) (elt -> elts
new elt
v) Word64Map elts
m)
addToUFM_L
:: Uniquable key
=> (key -> elt -> elt -> elt)
-> key
-> elt
-> UniqFM key elt
-> (Maybe elt, UniqFM key elt)
addToUFM_L :: forall key elt.
Uniquable key =>
(key -> elt -> elt -> elt)
-> key -> elt -> UniqFM key elt -> (Maybe elt, UniqFM key elt)
addToUFM_L key -> elt -> elt -> elt
f key
k elt
v (UFM Word64Map elt
m) =
(Maybe elt, Word64Map elt) -> (Maybe elt, UniqFM key elt)
forall a b. Coercible a b => a -> b
coerce ((Maybe elt, Word64Map elt) -> (Maybe elt, UniqFM key elt))
-> (Maybe elt, Word64Map elt) -> (Maybe elt, UniqFM key elt)
forall a b. (a -> b) -> a -> b
$
(Key -> elt -> elt -> elt)
-> Key -> elt -> Word64Map elt -> (Maybe elt, Word64Map elt)
forall a.
(Key -> a -> a -> a)
-> Key -> a -> Word64Map a -> (Maybe a, Word64Map a)
M.insertLookupWithKey
(\Key
_ elt
_n elt
_o -> key -> elt -> elt -> elt
f key
k elt
_o elt
_n)
(Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k)
elt
v
Word64Map elt
m
alterUFM
:: Uniquable key
=> (Maybe elt -> Maybe elt)
-> UniqFM key elt
-> key
-> UniqFM key elt
alterUFM :: forall key elt.
Uniquable key =>
(Maybe elt -> Maybe elt) -> UniqFM key elt -> key -> UniqFM key elt
alterUFM Maybe elt -> Maybe elt
f (UFM Word64Map elt
m) key
k = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((Maybe elt -> Maybe elt) -> Key -> Word64Map elt -> Word64Map elt
forall a. (Maybe a -> Maybe a) -> Key -> Word64Map a -> Word64Map a
M.alter Maybe elt -> Maybe elt
f (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) Word64Map elt
m)
alterUFM_Directly
:: (Maybe elt -> Maybe elt)
-> UniqFM key elt
-> Unique
-> UniqFM key elt
alterUFM_Directly :: forall {k} elt (key :: k).
(Maybe elt -> Maybe elt)
-> UniqFM key elt -> Unique -> UniqFM key elt
alterUFM_Directly Maybe elt -> Maybe elt
f (UFM Word64Map elt
m) Unique
k = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((Maybe elt -> Maybe elt) -> Key -> Word64Map elt -> Word64Map elt
forall a. (Maybe a -> Maybe a) -> Key -> Word64Map a -> Word64Map a
M.alter Maybe elt -> Maybe elt
f (Unique -> Key
getKey Unique
k) Word64Map elt
m)
addListToUFM_C
:: Uniquable key
=> (elt -> elt -> elt)
-> UniqFM key elt -> [(key,elt)]
-> UniqFM key elt
addListToUFM_C :: forall key elt.
Uniquable key =>
(elt -> elt -> elt)
-> UniqFM key elt -> [(key, elt)] -> UniqFM key elt
addListToUFM_C elt -> elt -> elt
f = (UniqFM key elt -> (key, elt) -> UniqFM key elt)
-> UniqFM key elt -> [(key, elt)] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' (\UniqFM key elt
m (key
k, elt
v) -> (elt -> elt -> elt)
-> UniqFM key elt -> key -> elt -> UniqFM key elt
forall key elt.
Uniquable key =>
(elt -> elt -> elt)
-> UniqFM key elt -> key -> elt -> UniqFM key elt
addToUFM_C elt -> elt -> elt
f UniqFM key elt
m key
k elt
v)
adjustUFM :: Uniquable key => (elt -> elt) -> UniqFM key elt -> key -> UniqFM key elt
adjustUFM :: forall key elt.
Uniquable key =>
(elt -> elt) -> UniqFM key elt -> key -> UniqFM key elt
adjustUFM elt -> elt
f (UFM Word64Map elt
m) key
k = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt -> elt) -> Key -> Word64Map elt -> Word64Map elt
forall a. (a -> a) -> Key -> Word64Map a -> Word64Map a
M.adjust elt -> elt
f (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) Word64Map elt
m)
adjustUFM_Directly :: (elt -> elt) -> UniqFM key elt -> Unique -> UniqFM key elt
adjustUFM_Directly :: forall {k} elt (key :: k).
(elt -> elt) -> UniqFM key elt -> Unique -> UniqFM key elt
adjustUFM_Directly elt -> elt
f (UFM Word64Map elt
m) Unique
u = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt -> elt) -> Key -> Word64Map elt -> Word64Map elt
forall a. (a -> a) -> Key -> Word64Map a -> Word64Map a
M.adjust elt -> elt
f (Unique -> Key
getKey Unique
u) Word64Map elt
m)
delFromUFM :: Uniquable key => UniqFM key elt -> key -> UniqFM key elt
delFromUFM :: forall key elt.
Uniquable key =>
UniqFM key elt -> key -> UniqFM key elt
delFromUFM (UFM Word64Map elt
m) key
k = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Key -> Word64Map elt -> Word64Map elt
forall a. Key -> Word64Map a -> Word64Map a
M.delete (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) Word64Map elt
m)
delListFromUFM :: Uniquable key => UniqFM key elt -> [key] -> UniqFM key elt
delListFromUFM :: forall key elt.
Uniquable key =>
UniqFM key elt -> [key] -> UniqFM key elt
delListFromUFM = (UniqFM key elt -> key -> UniqFM key elt)
-> UniqFM key elt -> [key] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' UniqFM key elt -> key -> UniqFM key elt
forall key elt.
Uniquable key =>
UniqFM key elt -> key -> UniqFM key elt
delFromUFM
delListFromUFM_Directly :: UniqFM key elt -> [Unique] -> UniqFM key elt
delListFromUFM_Directly :: forall {k} (key :: k) elt.
UniqFM key elt -> [Unique] -> UniqFM key elt
delListFromUFM_Directly = (UniqFM key elt -> Unique -> UniqFM key elt)
-> UniqFM key elt -> [Unique] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' UniqFM key elt -> Unique -> UniqFM key elt
forall {k} (key :: k) elt.
UniqFM key elt -> Unique -> UniqFM key elt
delFromUFM_Directly
delFromUFM_Directly :: UniqFM key elt -> Unique -> UniqFM key elt
delFromUFM_Directly :: forall {k} (key :: k) elt.
UniqFM key elt -> Unique -> UniqFM key elt
delFromUFM_Directly (UFM Word64Map elt
m) Unique
u = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Key -> Word64Map elt -> Word64Map elt
forall a. Key -> Word64Map a -> Word64Map a
M.delete (Unique -> Key
getKey Unique
u) Word64Map elt
m)
plusUFM :: UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusUFM :: forall {k} (key :: k) elt.
UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusUFM (UFM Word64Map elt
x) (UFM Word64Map elt
y) = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map elt -> Word64Map elt -> Word64Map elt
forall a. Word64Map a -> Word64Map a -> Word64Map a
M.union Word64Map elt
y Word64Map elt
x)
plusUFM_C :: (elt -> elt -> elt) -> UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusUFM_C :: forall {k} elt (key :: k).
(elt -> elt -> elt)
-> UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusUFM_C elt -> elt -> elt
f (UFM Word64Map elt
x) (UFM Word64Map elt
y) = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt -> elt -> elt)
-> Word64Map elt -> Word64Map elt -> Word64Map elt
forall a.
(a -> a -> a) -> Word64Map a -> Word64Map a -> Word64Map a
M.unionWith elt -> elt -> elt
f Word64Map elt
x Word64Map elt
y)
{-# INLINE plusUFM_CD #-}
plusUFM_CD
:: (elta -> eltb -> eltc)
-> UniqFM key elta
-> elta
-> UniqFM key eltb
-> eltb
-> UniqFM key eltc
plusUFM_CD :: forall {k} elta eltb eltc (key :: k).
(elta -> eltb -> eltc)
-> UniqFM key elta
-> elta
-> UniqFM key eltb
-> eltb
-> UniqFM key eltc
plusUFM_CD elta -> eltb -> eltc
f (UFM Word64Map elta
xm) elta
dx (UFM Word64Map eltb
ym) eltb
dy
= Word64Map eltc -> UniqFM key eltc
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map eltc -> UniqFM key eltc)
-> Word64Map eltc -> UniqFM key eltc
forall a b. (a -> b) -> a -> b
$ (Key -> elta -> eltb -> Maybe eltc)
-> (Word64Map elta -> Word64Map eltc)
-> (Word64Map eltb -> Word64Map eltc)
-> Word64Map elta
-> Word64Map eltb
-> Word64Map eltc
forall a b c.
(Key -> a -> b -> Maybe c)
-> (Word64Map a -> Word64Map c)
-> (Word64Map b -> Word64Map c)
-> Word64Map a
-> Word64Map b
-> Word64Map c
MS.mergeWithKey
(\Key
_ elta
x eltb
y -> eltc -> Maybe eltc
forall a. a -> Maybe a
Just (elta
x elta -> eltb -> eltc
`f` eltb
y))
((elta -> eltc) -> Word64Map elta -> Word64Map eltc
forall a b. (a -> b) -> Word64Map a -> Word64Map b
MS.map (\elta
x -> elta
x elta -> eltb -> eltc
`f` eltb
dy))
((eltb -> eltc) -> Word64Map eltb -> Word64Map eltc
forall a b. (a -> b) -> Word64Map a -> Word64Map b
MS.map (\eltb
y -> elta
dx elta -> eltb -> eltc
`f` eltb
y))
Word64Map elta
xm Word64Map eltb
ym
plusUFM_CD2
:: (Maybe elta -> Maybe eltb -> eltc)
-> UniqFM key elta
-> UniqFM key eltb
-> UniqFM key eltc
plusUFM_CD2 :: forall {k} elta eltb eltc (key :: k).
(Maybe elta -> Maybe eltb -> eltc)
-> UniqFM key elta -> UniqFM key eltb -> UniqFM key eltc
plusUFM_CD2 Maybe elta -> Maybe eltb -> eltc
f (UFM Word64Map elta
xm) (UFM Word64Map eltb
ym)
= Word64Map eltc -> UniqFM key eltc
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map eltc -> UniqFM key eltc)
-> Word64Map eltc -> UniqFM key eltc
forall a b. (a -> b) -> a -> b
$ (Key -> elta -> eltb -> Maybe eltc)
-> (Word64Map elta -> Word64Map eltc)
-> (Word64Map eltb -> Word64Map eltc)
-> Word64Map elta
-> Word64Map eltb
-> Word64Map eltc
forall a b c.
(Key -> a -> b -> Maybe c)
-> (Word64Map a -> Word64Map c)
-> (Word64Map b -> Word64Map c)
-> Word64Map a
-> Word64Map b
-> Word64Map c
MS.mergeWithKey
(\Key
_ elta
x eltb
y -> eltc -> Maybe eltc
forall a. a -> Maybe a
Just (elta -> Maybe elta
forall a. a -> Maybe a
Just elta
x Maybe elta -> Maybe eltb -> eltc
`f` eltb -> Maybe eltb
forall a. a -> Maybe a
Just eltb
y))
((elta -> eltc) -> Word64Map elta -> Word64Map eltc
forall a b. (a -> b) -> Word64Map a -> Word64Map b
MS.map (\elta
x -> elta -> Maybe elta
forall a. a -> Maybe a
Just elta
x Maybe elta -> Maybe eltb -> eltc
`f` Maybe eltb
forall a. Maybe a
Nothing))
((eltb -> eltc) -> Word64Map eltb -> Word64Map eltc
forall a b. (a -> b) -> Word64Map a -> Word64Map b
MS.map (\eltb
y -> Maybe elta
forall a. Maybe a
Nothing Maybe elta -> Maybe eltb -> eltc
`f` eltb -> Maybe eltb
forall a. a -> Maybe a
Just eltb
y))
Word64Map elta
xm Word64Map eltb
ym
mergeUFM
:: (elta -> eltb -> Maybe eltc)
-> (UniqFM key elta -> UniqFM key eltc)
-> (UniqFM key eltb -> UniqFM key eltc)
-> UniqFM key elta
-> UniqFM key eltb
-> UniqFM key eltc
mergeUFM :: forall {k} elta eltb eltc (key :: k).
(elta -> eltb -> Maybe eltc)
-> (UniqFM key elta -> UniqFM key eltc)
-> (UniqFM key eltb -> UniqFM key eltc)
-> UniqFM key elta
-> UniqFM key eltb
-> UniqFM key eltc
mergeUFM elta -> eltb -> Maybe eltc
f UniqFM key elta -> UniqFM key eltc
g UniqFM key eltb -> UniqFM key eltc
h (UFM Word64Map elta
xm) (UFM Word64Map eltb
ym)
= Word64Map eltc -> UniqFM key eltc
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map eltc -> UniqFM key eltc)
-> Word64Map eltc -> UniqFM key eltc
forall a b. (a -> b) -> a -> b
$ (Key -> elta -> eltb -> Maybe eltc)
-> (Word64Map elta -> Word64Map eltc)
-> (Word64Map eltb -> Word64Map eltc)
-> Word64Map elta
-> Word64Map eltb
-> Word64Map eltc
forall a b c.
(Key -> a -> b -> Maybe c)
-> (Word64Map a -> Word64Map c)
-> (Word64Map b -> Word64Map c)
-> Word64Map a
-> Word64Map b
-> Word64Map c
MS.mergeWithKey
(\Key
_ elta
x eltb
y -> (elta
x elta -> eltb -> Maybe eltc
`f` eltb
y))
((UniqFM key elta -> UniqFM key eltc)
-> Word64Map elta -> Word64Map eltc
forall a b. Coercible a b => a -> b
coerce UniqFM key elta -> UniqFM key eltc
g)
((UniqFM key eltb -> UniqFM key eltc)
-> Word64Map eltb -> Word64Map eltc
forall a b. Coercible a b => a -> b
coerce UniqFM key eltb -> UniqFM key eltc
h)
Word64Map elta
xm Word64Map eltb
ym
plusMaybeUFM_C :: (elt -> elt -> Maybe elt)
-> UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusMaybeUFM_C :: forall {k} elt (key :: k).
(elt -> elt -> Maybe elt)
-> UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusMaybeUFM_C elt -> elt -> Maybe elt
f (UFM Word64Map elt
xm) (UFM Word64Map elt
ym)
= Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map elt -> UniqFM key elt)
-> Word64Map elt -> UniqFM key elt
forall a b. (a -> b) -> a -> b
$ (Key -> elt -> elt -> Maybe elt)
-> (Word64Map elt -> Word64Map elt)
-> (Word64Map elt -> Word64Map elt)
-> Word64Map elt
-> Word64Map elt
-> Word64Map elt
forall a b c.
(Key -> a -> b -> Maybe c)
-> (Word64Map a -> Word64Map c)
-> (Word64Map b -> Word64Map c)
-> Word64Map a
-> Word64Map b
-> Word64Map c
M.mergeWithKey
(\Key
_ elt
x elt
y -> elt
x elt -> elt -> Maybe elt
`f` elt
y)
Word64Map elt -> Word64Map elt
forall a. a -> a
id
Word64Map elt -> Word64Map elt
forall a. a -> a
id
Word64Map elt
xm Word64Map elt
ym
plusUFMList :: [UniqFM key elt] -> UniqFM key elt
plusUFMList :: forall {k} (key :: k) elt. [UniqFM key elt] -> UniqFM key elt
plusUFMList = (UniqFM key elt -> UniqFM key elt -> UniqFM key elt)
-> UniqFM key elt -> [UniqFM key elt] -> UniqFM key elt
forall b a. (b -> a -> b) -> b -> [a] -> b
forall (t :: * -> *) b a.
Foldable t =>
(b -> a -> b) -> b -> t a -> b
foldl' UniqFM key elt -> UniqFM key elt -> UniqFM key elt
forall {k} (key :: k) elt.
UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusUFM UniqFM key elt
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM
plusUFMListWith :: (elt -> elt -> elt) -> [UniqFM key elt] -> UniqFM key elt
plusUFMListWith :: forall {k} elt (key :: k).
(elt -> elt -> elt) -> [UniqFM key elt] -> UniqFM key elt
plusUFMListWith elt -> elt -> elt
f [UniqFM key elt]
xs = Word64Map elt -> UniqFM key elt
forall {k} elt (key :: k). Word64Map elt -> UniqFM key elt
unsafeIntMapToUFM (Word64Map elt -> UniqFM key elt)
-> Word64Map elt -> UniqFM key elt
forall a b. (a -> b) -> a -> b
$ (elt -> elt -> elt) -> [Word64Map elt] -> Word64Map elt
forall (f :: * -> *) a.
Foldable f =>
(a -> a -> a) -> f (Word64Map a) -> Word64Map a
M.unionsWith elt -> elt -> elt
f ((UniqFM key elt -> Word64Map elt)
-> [UniqFM key elt] -> [Word64Map elt]
forall a b. (a -> b) -> [a] -> [b]
map UniqFM key elt -> Word64Map elt
forall {k} (key :: k) elt. UniqFM key elt -> Word64Map elt
ufmToIntMap [UniqFM key elt]
xs)
sequenceUFMList :: forall key elt. [UniqFM key elt] -> UniqFM key [elt]
sequenceUFMList :: forall {k} (key :: k) elt. [UniqFM key elt] -> UniqFM key [elt]
sequenceUFMList = (UniqFM key elt -> UniqFM key [elt] -> UniqFM key [elt])
-> UniqFM key [elt] -> [UniqFM key elt] -> UniqFM key [elt]
forall a b. (a -> b -> b) -> b -> [a] -> b
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr ((Maybe elt -> Maybe [elt] -> [elt])
-> UniqFM key elt -> UniqFM key [elt] -> UniqFM key [elt]
forall {k} elta eltb eltc (key :: k).
(Maybe elta -> Maybe eltb -> eltc)
-> UniqFM key elta -> UniqFM key eltb -> UniqFM key eltc
plusUFM_CD2 Maybe elt -> Maybe [elt] -> [elt]
cons) UniqFM key [elt]
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM
where
cons :: Maybe elt -> Maybe [elt] -> [elt]
cons :: Maybe elt -> Maybe [elt] -> [elt]
cons (Just elt
x) (Just [elt]
ys) = elt
x elt -> [elt] -> [elt]
forall a. a -> [a] -> [a]
: [elt]
ys
cons Maybe elt
Nothing (Just [elt]
ys) = [elt]
ys
cons (Just elt
x) Maybe [elt]
Nothing = [elt
x]
cons Maybe elt
Nothing Maybe [elt]
Nothing = []
minusUFM :: UniqFM key elt1 -> UniqFM key elt2 -> UniqFM key elt1
minusUFM :: forall {k} (key :: k) elt1 elt2.
UniqFM key elt1 -> UniqFM key elt2 -> UniqFM key elt1
minusUFM (UFM Word64Map elt1
x) (UFM Word64Map elt2
y) = Word64Map elt1 -> UniqFM key elt1
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map elt1 -> Word64Map elt2 -> Word64Map elt1
forall a b. Word64Map a -> Word64Map b -> Word64Map a
M.difference Word64Map elt1
x Word64Map elt2
y)
minusUFM_C :: (elt1 -> elt2 -> Maybe elt1) -> UniqFM key elt1 -> UniqFM key elt2 -> UniqFM key elt1
minusUFM_C :: forall {k} elt1 elt2 (key :: k).
(elt1 -> elt2 -> Maybe elt1)
-> UniqFM key elt1 -> UniqFM key elt2 -> UniqFM key elt1
minusUFM_C elt1 -> elt2 -> Maybe elt1
f (UFM Word64Map elt1
x) (UFM Word64Map elt2
y) = Word64Map elt1 -> UniqFM key elt1
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt1 -> elt2 -> Maybe elt1)
-> Word64Map elt1 -> Word64Map elt2 -> Word64Map elt1
forall a b.
(a -> b -> Maybe a) -> Word64Map a -> Word64Map b -> Word64Map a
M.differenceWith elt1 -> elt2 -> Maybe elt1
f Word64Map elt1
x Word64Map elt2
y)
intersectUFM :: UniqFM key elt1 -> UniqFM key elt2 -> UniqFM key elt1
intersectUFM :: forall {k} (key :: k) elt1 elt2.
UniqFM key elt1 -> UniqFM key elt2 -> UniqFM key elt1
intersectUFM (UFM Word64Map elt1
x) (UFM Word64Map elt2
y) = Word64Map elt1 -> UniqFM key elt1
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map elt1 -> Word64Map elt2 -> Word64Map elt1
forall a b. Word64Map a -> Word64Map b -> Word64Map a
M.intersection Word64Map elt1
x Word64Map elt2
y)
intersectUFM_C
:: (elt1 -> elt2 -> elt3)
-> UniqFM key elt1
-> UniqFM key elt2
-> UniqFM key elt3
intersectUFM_C :: forall {k} elt1 elt2 elt3 (key :: k).
(elt1 -> elt2 -> elt3)
-> UniqFM key elt1 -> UniqFM key elt2 -> UniqFM key elt3
intersectUFM_C elt1 -> elt2 -> elt3
f (UFM Word64Map elt1
x) (UFM Word64Map elt2
y) = Word64Map elt3 -> UniqFM key elt3
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt1 -> elt2 -> elt3)
-> Word64Map elt1 -> Word64Map elt2 -> Word64Map elt3
forall a b c.
(a -> b -> c) -> Word64Map a -> Word64Map b -> Word64Map c
M.intersectionWith elt1 -> elt2 -> elt3
f Word64Map elt1
x Word64Map elt2
y)
disjointUFM :: UniqFM key elt1 -> UniqFM key elt2 -> Bool
disjointUFM :: forall {k} (key :: k) elt1 elt2.
UniqFM key elt1 -> UniqFM key elt2 -> Bool
disjointUFM (UFM Word64Map elt1
x) (UFM Word64Map elt2
y) = Word64Map elt1 -> Word64Map elt2 -> Bool
forall a b. Word64Map a -> Word64Map b -> Bool
M.disjoint Word64Map elt1
x Word64Map elt2
y
nonDetFoldUFM :: (elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetFoldUFM :: forall {k} elt a (key :: k).
(elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetFoldUFM elt -> a -> a
f a
z (UFM Word64Map elt
m) = (elt -> a -> a) -> a -> Word64Map elt -> a
forall a b. (a -> b -> b) -> b -> Word64Map a -> b
M.foldr elt -> a -> a
f a
z Word64Map elt
m
nonDetFoldWithKeyUFM :: (Unique -> elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetFoldWithKeyUFM :: forall {k} elt a (key :: k).
(Unique -> elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetFoldWithKeyUFM Unique -> elt -> a -> a
f a
z (UFM Word64Map elt
m) = (Key -> elt -> a -> a) -> a -> Word64Map elt -> a
forall a b. (Key -> a -> b -> b) -> b -> Word64Map a -> b
M.foldrWithKey Key -> elt -> a -> a
f' a
z Word64Map elt
m
where
f' :: Key -> elt -> a -> a
f' Key
k elt
e a
a = Unique -> elt -> a -> a
f (Key -> Unique
mkUniqueGrimily Key
k) elt
e a
a
mapUFM :: (elt1 -> elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapUFM :: forall {k} elt1 elt2 (key :: k).
(elt1 -> elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapUFM elt1 -> elt2
f (UFM Word64Map elt1
m) = Word64Map elt2 -> UniqFM key elt2
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt1 -> elt2) -> Word64Map elt1 -> Word64Map elt2
forall a b. (a -> b) -> Word64Map a -> Word64Map b
M.map elt1 -> elt2
f Word64Map elt1
m)
mapMaybeUFM :: (elt1 -> Maybe elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapMaybeUFM :: forall {k} elt1 elt2 (key :: k).
(elt1 -> Maybe elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapMaybeUFM = (elt1 -> Maybe elt2) -> UniqFM key elt1 -> UniqFM key elt2
forall {k} {k} elt1 elt2 (key1 :: k) (key2 :: k).
(elt1 -> Maybe elt2) -> UniqFM key1 elt1 -> UniqFM key2 elt2
mapMaybeUFM_sameUnique
mapMaybeUFM_sameUnique :: (elt1 -> Maybe elt2) -> UniqFM key1 elt1 -> UniqFM key2 elt2
mapMaybeUFM_sameUnique :: forall {k} {k} elt1 elt2 (key1 :: k) (key2 :: k).
(elt1 -> Maybe elt2) -> UniqFM key1 elt1 -> UniqFM key2 elt2
mapMaybeUFM_sameUnique elt1 -> Maybe elt2
f (UFM Word64Map elt1
m) = Word64Map elt2 -> UniqFM key2 elt2
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt1 -> Maybe elt2) -> Word64Map elt1 -> Word64Map elt2
forall a b. (a -> Maybe b) -> Word64Map a -> Word64Map b
M.mapMaybe elt1 -> Maybe elt2
f Word64Map elt1
m)
mapMaybeWithKeyUFM :: (Unique -> elt1 -> Maybe elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapMaybeWithKeyUFM :: forall {k} elt1 elt2 (key :: k).
(Unique -> elt1 -> Maybe elt2)
-> UniqFM key elt1 -> UniqFM key elt2
mapMaybeWithKeyUFM Unique -> elt1 -> Maybe elt2
f (UFM Word64Map elt1
m) = Word64Map elt2 -> UniqFM key elt2
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((Key -> elt1 -> Maybe elt2) -> Word64Map elt1 -> Word64Map elt2
forall a b. (Key -> a -> Maybe b) -> Word64Map a -> Word64Map b
M.mapMaybeWithKey (Unique -> elt1 -> Maybe elt2
f (Unique -> elt1 -> Maybe elt2)
-> (Key -> Unique) -> Key -> elt1 -> Maybe elt2
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Key -> Unique
mkUniqueGrimily) Word64Map elt1
m)
mapUFM_Directly :: (Unique -> elt1 -> elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapUFM_Directly :: forall {k} elt1 elt2 (key :: k).
(Unique -> elt1 -> elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapUFM_Directly Unique -> elt1 -> elt2
f (UFM Word64Map elt1
m) = Word64Map elt2 -> UniqFM key elt2
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((Key -> elt1 -> elt2) -> Word64Map elt1 -> Word64Map elt2
forall a b. (Key -> a -> b) -> Word64Map a -> Word64Map b
M.mapWithKey (Unique -> elt1 -> elt2
f (Unique -> elt1 -> elt2) -> (Key -> Unique) -> Key -> elt1 -> elt2
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Key -> Unique
mkUniqueGrimily) Word64Map elt1
m)
strictMapUFM :: (a -> b) -> UniqFM k a -> UniqFM k b
strictMapUFM :: forall {k} elt1 elt2 (key :: k).
(elt1 -> elt2) -> UniqFM key elt1 -> UniqFM key elt2
strictMapUFM a -> b
f (UFM Word64Map a
a) = Word64Map b -> UniqFM k b
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map b -> UniqFM k b) -> Word64Map b -> UniqFM k b
forall a b. (a -> b) -> a -> b
$ (a -> b) -> Word64Map a -> Word64Map b
forall a b. (a -> b) -> Word64Map a -> Word64Map b
MS.map a -> b
f Word64Map a
a
filterUFM :: (elt -> Bool) -> UniqFM key elt -> UniqFM key elt
filterUFM :: forall {k} elt (key :: k).
(elt -> Bool) -> UniqFM key elt -> UniqFM key elt
filterUFM elt -> Bool
p (UFM Word64Map elt
m) = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((elt -> Bool) -> Word64Map elt -> Word64Map elt
forall a. (a -> Bool) -> Word64Map a -> Word64Map a
M.filter elt -> Bool
p Word64Map elt
m)
filterUFM_Directly :: (Unique -> elt -> Bool) -> UniqFM key elt -> UniqFM key elt
filterUFM_Directly :: forall {k} elt (key :: k).
(Unique -> elt -> Bool) -> UniqFM key elt -> UniqFM key elt
filterUFM_Directly Unique -> elt -> Bool
p (UFM Word64Map elt
m) = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM ((Key -> elt -> Bool) -> Word64Map elt -> Word64Map elt
forall a. (Key -> a -> Bool) -> Word64Map a -> Word64Map a
M.filterWithKey (Unique -> elt -> Bool
p (Unique -> elt -> Bool) -> (Key -> Unique) -> Key -> elt -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Key -> Unique
mkUniqueGrimily) Word64Map elt
m)
partitionUFM :: (elt -> Bool) -> UniqFM key elt -> (UniqFM key elt, UniqFM key elt)
partitionUFM :: forall {k} elt (key :: k).
(elt -> Bool) -> UniqFM key elt -> (UniqFM key elt, UniqFM key elt)
partitionUFM elt -> Bool
p (UFM Word64Map elt
m) =
case (elt -> Bool) -> Word64Map elt -> (Word64Map elt, Word64Map elt)
forall a. (a -> Bool) -> Word64Map a -> (Word64Map a, Word64Map a)
M.partition elt -> Bool
p Word64Map elt
m of
(Word64Map elt
left, Word64Map elt
right) -> (Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM Word64Map elt
left, Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM Word64Map elt
right)
sizeUFM :: UniqFM key elt -> Int
sizeUFM :: forall {k} (key :: k) elt. UniqFM key elt -> Int
sizeUFM (UFM Word64Map elt
m) = Word64Map elt -> Int
forall a. Word64Map a -> Int
M.size Word64Map elt
m
elemUFM :: Uniquable key => key -> UniqFM key elt -> Bool
elemUFM :: forall key elt. Uniquable key => key -> UniqFM key elt -> Bool
elemUFM key
k (UFM Word64Map elt
m) = Key -> Word64Map elt -> Bool
forall a. Key -> Word64Map a -> Bool
M.member (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) Word64Map elt
m
elemUFM_Directly :: Unique -> UniqFM key elt -> Bool
elemUFM_Directly :: forall {k} (key :: k) elt. Unique -> UniqFM key elt -> Bool
elemUFM_Directly Unique
u (UFM Word64Map elt
m) = Key -> Word64Map elt -> Bool
forall a. Key -> Word64Map a -> Bool
M.member (Unique -> Key
getKey Unique
u) Word64Map elt
m
lookupUFM :: Uniquable key => UniqFM key elt -> key -> Maybe elt
lookupUFM :: forall key elt. Uniquable key => UniqFM key elt -> key -> Maybe elt
lookupUFM (UFM Word64Map elt
m) key
k = Key -> Word64Map elt -> Maybe elt
forall a. Key -> Word64Map a -> Maybe a
M.lookup (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) Word64Map elt
m
lookupUFM_Directly :: UniqFM key elt -> Unique -> Maybe elt
lookupUFM_Directly :: forall {k} (key :: k) elt. UniqFM key elt -> Unique -> Maybe elt
lookupUFM_Directly (UFM Word64Map elt
m) Unique
u = Key -> Word64Map elt -> Maybe elt
forall a. Key -> Word64Map a -> Maybe a
M.lookup (Unique -> Key
getKey Unique
u) Word64Map elt
m
lookupWithDefaultUFM :: Uniquable key => UniqFM key elt -> elt -> key -> elt
lookupWithDefaultUFM :: forall key elt.
Uniquable key =>
UniqFM key elt -> elt -> key -> elt
lookupWithDefaultUFM (UFM Word64Map elt
m) elt
v key
k = elt -> Key -> Word64Map elt -> elt
forall a. a -> Key -> Word64Map a -> a
M.findWithDefault elt
v (Unique -> Key
getKey (Unique -> Key) -> Unique -> Key
forall a b. (a -> b) -> a -> b
$ key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
k) Word64Map elt
m
lookupWithDefaultUFM_Directly :: UniqFM key elt -> elt -> Unique -> elt
lookupWithDefaultUFM_Directly :: forall {k} (key :: k) elt. UniqFM key elt -> elt -> Unique -> elt
lookupWithDefaultUFM_Directly (UFM Word64Map elt
m) elt
v Unique
u = elt -> Key -> Word64Map elt -> elt
forall a. a -> Key -> Word64Map a -> a
M.findWithDefault elt
v (Unique -> Key
getKey Unique
u) Word64Map elt
m
ufmToSet_Directly :: UniqFM key elt -> S.Word64Set
ufmToSet_Directly :: forall {k} (key :: k) elt. UniqFM key elt -> Word64Set
ufmToSet_Directly (UFM Word64Map elt
m) = Word64Map elt -> Word64Set
forall a. Word64Map a -> Word64Set
M.keysSet Word64Map elt
m
anyUFM :: (elt -> Bool) -> UniqFM key elt -> Bool
anyUFM :: forall {k} elt (key :: k). (elt -> Bool) -> UniqFM key elt -> Bool
anyUFM elt -> Bool
p (UFM Word64Map elt
m) = (elt -> Bool -> Bool) -> Bool -> Word64Map elt -> Bool
forall a b. (a -> b -> b) -> b -> Word64Map a -> b
M.foldr (Bool -> Bool -> Bool
(||) (Bool -> Bool -> Bool) -> (elt -> Bool) -> elt -> Bool -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. elt -> Bool
p) Bool
False Word64Map elt
m
allUFM :: (elt -> Bool) -> UniqFM key elt -> Bool
allUFM :: forall {k} elt (key :: k). (elt -> Bool) -> UniqFM key elt -> Bool
allUFM elt -> Bool
p (UFM Word64Map elt
m) = (elt -> Bool -> Bool) -> Bool -> Word64Map elt -> Bool
forall a b. (a -> b -> b) -> b -> Word64Map a -> b
M.foldr (Bool -> Bool -> Bool
(&&) (Bool -> Bool -> Bool) -> (elt -> Bool) -> elt -> Bool -> Bool
forall b c a. (b -> c) -> (a -> b) -> a -> c
. elt -> Bool
p) Bool
True Word64Map elt
m
seqEltsUFM :: (elt -> ()) -> UniqFM key elt -> ()
seqEltsUFM :: forall {k} elt (key :: k). (elt -> ()) -> UniqFM key elt -> ()
seqEltsUFM elt -> ()
seqElt = (elt -> () -> ()) -> () -> UniqFM key elt -> ()
forall {k} elt a (key :: k).
(elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetFoldUFM (\elt
v ()
rest -> elt -> ()
seqElt elt
v () -> () -> ()
forall a b. a -> b -> b
`seq` ()
rest) ()
nonDetEltsUFM :: UniqFM key elt -> [elt]
nonDetEltsUFM :: forall {k} (key :: k) elt. UniqFM key elt -> [elt]
nonDetEltsUFM (UFM Word64Map elt
m) = Word64Map elt -> [elt]
forall a. Word64Map a -> [a]
M.elems Word64Map elt
m
nonDetKeysUFM :: UniqFM key elt -> [Unique]
nonDetKeysUFM :: forall {k} (key :: k) elt. UniqFM key elt -> [Unique]
nonDetKeysUFM (UFM Word64Map elt
m) = (Key -> Unique) -> [Key] -> [Unique]
forall a b. (a -> b) -> [a] -> [b]
map Key -> Unique
mkUniqueGrimily ([Key] -> [Unique]) -> [Key] -> [Unique]
forall a b. (a -> b) -> a -> b
$ Word64Map elt -> [Key]
forall a. Word64Map a -> [Key]
M.keys Word64Map elt
m
nonDetStrictFoldUFM :: (elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetStrictFoldUFM :: forall {k} elt a (key :: k).
(elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetStrictFoldUFM elt -> a -> a
k a
z (UFM Word64Map elt
m) = (a -> elt -> a) -> a -> Word64Map elt -> a
forall a b. (a -> b -> a) -> a -> Word64Map b -> a
M.foldl' ((elt -> a -> a) -> a -> elt -> a
forall a b c. (a -> b -> c) -> b -> a -> c
flip elt -> a -> a
k) a
z Word64Map elt
m
{-# INLINE nonDetStrictFoldUFM #-}
{-# INLINE nonDetStrictFoldUFM_DirectlyM #-}
nonDetStrictFoldUFM_DirectlyM :: (Monad m) => (Unique -> b -> elt -> m b) -> b -> UniqFM key elt -> m b
nonDetStrictFoldUFM_DirectlyM :: forall {k} (m :: * -> *) b elt (key :: k).
Monad m =>
(Unique -> b -> elt -> m b) -> b -> UniqFM key elt -> m b
nonDetStrictFoldUFM_DirectlyM Unique -> b -> elt -> m b
f b
z0 (UFM Word64Map elt
xs) = (Key -> elt -> (b -> m b) -> b -> m b)
-> (b -> m b) -> Word64Map elt -> b -> m b
forall a b. (Key -> a -> b -> b) -> b -> Word64Map a -> b
M.foldrWithKey Key -> elt -> (b -> m b) -> b -> m b
c b -> m b
forall a. a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return Word64Map elt
xs b
z0
where c :: Key -> elt -> (b -> m b) -> b -> m b
c Key
u elt
x b -> m b
k b
z = Unique -> b -> elt -> m b
f (Key -> Unique
mkUniqueGrimily Key
u) b
z elt
x m b -> (b -> m b) -> m b
forall a b. m a -> (a -> m b) -> m b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= b -> m b
k
{-# INLINE c #-}
nonDetStrictFoldUFM_Directly:: (Unique -> elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetStrictFoldUFM_Directly :: forall {k} elt a (key :: k).
(Unique -> elt -> a -> a) -> a -> UniqFM key elt -> a
nonDetStrictFoldUFM_Directly Unique -> elt -> a -> a
k a
z (UFM Word64Map elt
m) = (a -> Key -> elt -> a) -> a -> Word64Map elt -> a
forall a b. (a -> Key -> b -> a) -> a -> Word64Map b -> a
M.foldlWithKey' (\a
z' Key
i elt
x -> Unique -> elt -> a -> a
k (Key -> Unique
mkUniqueGrimily Key
i) elt
x a
z') a
z Word64Map elt
m
{-# INLINE nonDetStrictFoldUFM_Directly #-}
nonDetUFMToList :: UniqFM key elt -> [(Unique, elt)]
nonDetUFMToList :: forall {k} (key :: k) elt. UniqFM key elt -> [(Unique, elt)]
nonDetUFMToList (UFM Word64Map elt
m) = ((Key, elt) -> (Unique, elt)) -> [(Key, elt)] -> [(Unique, elt)]
forall a b. (a -> b) -> [a] -> [b]
map (\(Key
k, elt
v) -> (Key -> Unique
mkUniqueGrimily Key
k, elt
v)) ([(Key, elt)] -> [(Unique, elt)])
-> [(Key, elt)] -> [(Unique, elt)]
forall a b. (a -> b) -> a -> b
$ Word64Map elt -> [(Key, elt)]
forall a. Word64Map a -> [(Key, a)]
M.toList Word64Map elt
m
newtype NonDetUniqFM key ele = NonDetUniqFM { forall {k} (key :: k) ele. NonDetUniqFM key ele -> UniqFM key ele
getNonDet :: UniqFM key ele }
deriving ((forall a b. (a -> b) -> NonDetUniqFM key a -> NonDetUniqFM key b)
-> (forall a b. a -> NonDetUniqFM key b -> NonDetUniqFM key a)
-> Functor (NonDetUniqFM key)
forall k (key :: k) a b.
a -> NonDetUniqFM key b -> NonDetUniqFM key a
forall k (key :: k) a b.
(a -> b) -> NonDetUniqFM key a -> NonDetUniqFM key b
forall a b. a -> NonDetUniqFM key b -> NonDetUniqFM key a
forall a b. (a -> b) -> NonDetUniqFM key a -> NonDetUniqFM key b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall k (key :: k) a b.
(a -> b) -> NonDetUniqFM key a -> NonDetUniqFM key b
fmap :: forall a b. (a -> b) -> NonDetUniqFM key a -> NonDetUniqFM key b
$c<$ :: forall k (key :: k) a b.
a -> NonDetUniqFM key b -> NonDetUniqFM key a
<$ :: forall a b. a -> NonDetUniqFM key b -> NonDetUniqFM key a
Functor)
instance forall key. Foldable (NonDetUniqFM key) where
foldr :: forall a b. (a -> b -> b) -> b -> NonDetUniqFM key a -> b
foldr a -> b -> b
f b
z (NonDetUniqFM (UFM Word64Map a
m)) = (a -> b -> b) -> b -> Word64Map a -> b
forall a b. (a -> b -> b) -> b -> Word64Map a -> b
forall (t :: * -> *) a b.
Foldable t =>
(a -> b -> b) -> b -> t a -> b
foldr a -> b -> b
f b
z Word64Map a
m
instance forall key. Traversable (NonDetUniqFM key) where
traverse :: forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> NonDetUniqFM key a -> f (NonDetUniqFM key b)
traverse a -> f b
f (NonDetUniqFM (UFM Word64Map a
m)) = UniqFM key b -> NonDetUniqFM key b
forall {k} (key :: k) ele. UniqFM key ele -> NonDetUniqFM key ele
NonDetUniqFM (UniqFM key b -> NonDetUniqFM key b)
-> (Word64Map b -> UniqFM key b)
-> Word64Map b
-> NonDetUniqFM key b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word64Map b -> UniqFM key b
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM (Word64Map b -> NonDetUniqFM key b)
-> f (Word64Map b) -> f (NonDetUniqFM key b)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (a -> f b) -> Word64Map a -> f (Word64Map b)
forall (t :: * -> *) (f :: * -> *) a b.
(Traversable t, Applicative f) =>
(a -> f b) -> t a -> f (t b)
forall (f :: * -> *) a b.
Applicative f =>
(a -> f b) -> Word64Map a -> f (Word64Map b)
traverse a -> f b
f Word64Map a
m
ufmToIntMap :: UniqFM key elt -> M.Word64Map elt
ufmToIntMap :: forall {k} (key :: k) elt. UniqFM key elt -> Word64Map elt
ufmToIntMap (UFM Word64Map elt
m) = Word64Map elt
m
unsafeIntMapToUFM :: M.Word64Map elt -> UniqFM key elt
unsafeIntMapToUFM :: forall {k} elt (key :: k). Word64Map elt -> UniqFM key elt
unsafeIntMapToUFM = Word64Map elt -> UniqFM key elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM
unsafeCastUFMKey :: UniqFM key1 elt -> UniqFM key2 elt
unsafeCastUFMKey :: forall {k} {k} (key1 :: k) elt (key2 :: k).
UniqFM key1 elt -> UniqFM key2 elt
unsafeCastUFMKey (UFM Word64Map elt
m) = Word64Map elt -> UniqFM key2 elt
forall {k} (key :: k) ele. Word64Map ele -> UniqFM key ele
UFM Word64Map elt
m
equalKeysUFM :: UniqFM key a -> UniqFM key b -> Bool
equalKeysUFM :: forall {k} (key :: k) elt1 elt2.
UniqFM key elt1 -> UniqFM key elt2 -> Bool
equalKeysUFM (UFM Word64Map a
m1) (UFM Word64Map b
m2) = (a -> b -> Bool) -> Word64Map a -> Word64Map b -> Bool
forall a b. (a -> b -> Bool) -> Word64Map a -> Word64Map b -> Bool
forall (f :: * -> *) a b.
Eq1 f =>
(a -> b -> Bool) -> f a -> f b -> Bool
liftEq (\a
_ b
_ -> Bool
True) Word64Map a
m1 Word64Map b
m2
data Edit a
= Removed !a
| Added !a
| Changed !a !a
deriving Edit a -> Edit a -> Bool
(Edit a -> Edit a -> Bool)
-> (Edit a -> Edit a -> Bool) -> Eq (Edit a)
forall a. Eq a => Edit a -> Edit a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: forall a. Eq a => Edit a -> Edit a -> Bool
== :: Edit a -> Edit a -> Bool
$c/= :: forall a. Eq a => Edit a -> Edit a -> Bool
/= :: Edit a -> Edit a -> Bool
Eq
instance Outputable a => Outputable (Edit a) where
ppr :: Edit a -> SDoc
ppr (Removed a
a) = String -> SDoc
forall doc. IsLine doc => String -> doc
text String
"-" SDoc -> SDoc -> SDoc
forall doc. IsLine doc => doc -> doc -> doc
<> a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
a
ppr (Added a
a) = String -> SDoc
forall doc. IsLine doc => String -> doc
text String
"+" SDoc -> SDoc -> SDoc
forall doc. IsLine doc => doc -> doc -> doc
<> a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
a
ppr (Changed a
l a
r) = a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
l SDoc -> SDoc -> SDoc
forall doc. IsLine doc => doc -> doc -> doc
<> String -> SDoc
forall doc. IsLine doc => String -> doc
text String
"->" SDoc -> SDoc -> SDoc
forall doc. IsLine doc => doc -> doc -> doc
<> a -> SDoc
forall a. Outputable a => a -> SDoc
ppr a
r
diffUFM :: Eq a => UniqFM key a -> UniqFM key a -> UniqFM key (Edit a)
diffUFM :: forall {k} a (key :: k).
Eq a =>
UniqFM key a -> UniqFM key a -> UniqFM key (Edit a)
diffUFM = (a -> a -> Maybe (Edit a))
-> (UniqFM key a -> UniqFM key (Edit a))
-> (UniqFM key a -> UniqFM key (Edit a))
-> UniqFM key a
-> UniqFM key a
-> UniqFM key (Edit a)
forall {k} elta eltb eltc (key :: k).
(elta -> eltb -> Maybe eltc)
-> (UniqFM key elta -> UniqFM key eltc)
-> (UniqFM key eltb -> UniqFM key eltc)
-> UniqFM key elta
-> UniqFM key eltb
-> UniqFM key eltc
mergeUFM a -> a -> Maybe (Edit a)
forall {a}. Eq a => a -> a -> Maybe (Edit a)
both ((a -> Edit a) -> UniqFM key a -> UniqFM key (Edit a)
forall {k} elt1 elt2 (key :: k).
(elt1 -> elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapUFM a -> Edit a
forall a. a -> Edit a
Removed) ((a -> Edit a) -> UniqFM key a -> UniqFM key (Edit a)
forall {k} elt1 elt2 (key :: k).
(elt1 -> elt2) -> UniqFM key elt1 -> UniqFM key elt2
mapUFM a -> Edit a
forall a. a -> Edit a
Added)
where
both :: a -> a -> Maybe (Edit a)
both a
x a
y | a
x a -> a -> Bool
forall a. Eq a => a -> a -> Bool
== a
y = Maybe (Edit a)
forall a. Maybe a
Nothing
| Bool
otherwise = Edit a -> Maybe (Edit a)
forall a. a -> Maybe a
Just (Edit a -> Maybe (Edit a)) -> Edit a -> Maybe (Edit a)
forall a b. (a -> b) -> a -> b
$! a -> a -> Edit a
forall a. a -> a -> Edit a
Changed a
x a
y
instance Semi.Semigroup (UniqFM key a) where
<> :: UniqFM key a -> UniqFM key a -> UniqFM key a
(<>) = UniqFM key a -> UniqFM key a -> UniqFM key a
forall {k} (key :: k) elt.
UniqFM key elt -> UniqFM key elt -> UniqFM key elt
plusUFM
instance Monoid (UniqFM key a) where
mempty :: UniqFM key a
mempty = UniqFM key a
forall {k} (key :: k) elt. UniqFM key elt
emptyUFM
mappend :: UniqFM key a -> UniqFM key a -> UniqFM key a
mappend = UniqFM key a -> UniqFM key a -> UniqFM key a
forall a. Semigroup a => a -> a -> a
(Semi.<>)
instance Outputable a => Outputable (UniqFM key a) where
ppr :: UniqFM key a -> SDoc
ppr UniqFM key a
ufm = (a -> SDoc) -> UniqFM key a -> SDoc
forall {k} a (key :: k). (a -> SDoc) -> UniqFM key a -> SDoc
pprUniqFM a -> SDoc
forall a. Outputable a => a -> SDoc
ppr UniqFM key a
ufm
pprUniqFM :: (a -> SDoc) -> UniqFM key a -> SDoc
pprUniqFM :: forall {k} a (key :: k). (a -> SDoc) -> UniqFM key a -> SDoc
pprUniqFM a -> SDoc
ppr_elt UniqFM key a
ufm
= SDoc -> SDoc
forall doc. IsLine doc => doc -> doc
brackets (SDoc -> SDoc) -> SDoc -> SDoc
forall a b. (a -> b) -> a -> b
$ [SDoc] -> SDoc
forall doc. IsLine doc => [doc] -> doc
fsep ([SDoc] -> SDoc) -> [SDoc] -> SDoc
forall a b. (a -> b) -> a -> b
$ SDoc -> [SDoc] -> [SDoc]
forall doc. IsLine doc => doc -> [doc] -> [doc]
punctuate SDoc
forall doc. IsLine doc => doc
comma ([SDoc] -> [SDoc]) -> [SDoc] -> [SDoc]
forall a b. (a -> b) -> a -> b
$
[ Unique -> SDoc
forall a. Outputable a => a -> SDoc
ppr Unique
uq SDoc -> SDoc -> SDoc
forall doc. IsLine doc => doc -> doc -> doc
<+> String -> SDoc
forall doc. IsLine doc => String -> doc
text String
":->" SDoc -> SDoc -> SDoc
forall doc. IsLine doc => doc -> doc -> doc
<+> a -> SDoc
ppr_elt a
elt
| (Unique
uq, a
elt) <- UniqFM key a -> [(Unique, a)]
forall {k} (key :: k) elt. UniqFM key elt -> [(Unique, elt)]
nonDetUFMToList UniqFM key a
ufm ]
pprUFM :: UniqFM key a
-> ([a] -> SDoc)
-> SDoc
pprUFM :: forall {k} (key :: k) a. UniqFM key a -> ([a] -> SDoc) -> SDoc
pprUFM UniqFM key a
ufm [a] -> SDoc
pp = [a] -> SDoc
pp (UniqFM key a -> [a]
forall {k} (key :: k) elt. UniqFM key elt -> [elt]
nonDetEltsUFM UniqFM key a
ufm)
pprUFMWithKeys
:: UniqFM key a
-> ([(Unique, a)] -> SDoc)
-> SDoc
pprUFMWithKeys :: forall {k} (key :: k) a.
UniqFM key a -> ([(Unique, a)] -> SDoc) -> SDoc
pprUFMWithKeys UniqFM key a
ufm [(Unique, a)] -> SDoc
pp = [(Unique, a)] -> SDoc
pp (UniqFM key a -> [(Unique, a)]
forall {k} (key :: k) elt. UniqFM key elt -> [(Unique, elt)]
nonDetUFMToList UniqFM key a
ufm)
pluralUFM :: UniqFM key a -> SDoc
pluralUFM :: forall {k} (key :: k) a. UniqFM key a -> SDoc
pluralUFM UniqFM key a
ufm
| UniqFM key a -> Int
forall {k} (key :: k) elt. UniqFM key elt -> Int
sizeUFM UniqFM key a
ufm Int -> Int -> Bool
forall a. Eq a => a -> a -> Bool
== Int
1 = SDoc
forall doc. IsOutput doc => doc
empty
| Bool
otherwise = Char -> SDoc
forall doc. IsLine doc => Char -> doc
char Char
's'