{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE ApplicativeDo #-}
{-# OPTIONS_GHC -Wall #-}
module GHC.Types.Unique.SDFM (
UniqSDFM,
emptyUSDFM,
lookupUSDFM,
equateUSDFM, addToUSDFM,
traverseUSDFM
) where
import GHC.Prelude
import GHC.Types.Unique
import GHC.Types.Unique.DFM
import GHC.Utils.Outputable
data Shared key ele
= Indirect !key
| Entry !ele
newtype UniqSDFM key ele
= USDFM { forall key ele. UniqSDFM key ele -> UniqDFM key (Shared key ele)
unUSDFM :: UniqDFM key (Shared key ele) }
emptyUSDFM :: UniqSDFM key ele
emptyUSDFM :: forall key ele. UniqSDFM key ele
emptyUSDFM = UniqDFM key (Shared key ele) -> UniqSDFM key ele
forall key ele. UniqDFM key (Shared key ele) -> UniqSDFM key ele
USDFM UniqDFM key (Shared key ele)
forall key elt. UniqDFM key elt
emptyUDFM
lookupReprAndEntryUSDFM :: Uniquable key => UniqSDFM key ele -> key -> (key, Maybe ele)
lookupReprAndEntryUSDFM :: forall key ele.
Uniquable key =>
UniqSDFM key ele -> key -> (key, Maybe ele)
lookupReprAndEntryUSDFM (USDFM UniqDFM key (Shared key ele)
env) = key -> (key, Maybe ele)
go
where
go :: key -> (key, Maybe ele)
go key
x = case UniqDFM key (Shared key ele) -> key -> Maybe (Shared key ele)
forall key elt.
Uniquable key =>
UniqDFM key elt -> key -> Maybe elt
lookupUDFM UniqDFM key (Shared key ele)
env key
x of
Maybe (Shared key ele)
Nothing -> (key
x, Maybe ele
forall a. Maybe a
Nothing)
Just (Indirect key
y) -> key -> (key, Maybe ele)
go key
y
Just (Entry ele
ele) -> (key
x, ele -> Maybe ele
forall a. a -> Maybe a
Just ele
ele)
lookupUSDFM :: Uniquable key => UniqSDFM key ele -> key -> Maybe ele
lookupUSDFM :: forall key ele.
Uniquable key =>
UniqSDFM key ele -> key -> Maybe ele
lookupUSDFM UniqSDFM key ele
usdfm key
x = (key, Maybe ele) -> Maybe ele
forall a b. (a, b) -> b
snd (UniqSDFM key ele -> key -> (key, Maybe ele)
forall key ele.
Uniquable key =>
UniqSDFM key ele -> key -> (key, Maybe ele)
lookupReprAndEntryUSDFM UniqSDFM key ele
usdfm key
x)
equateUSDFM
:: Uniquable key => UniqSDFM key ele -> key -> key -> (Maybe ele, UniqSDFM key ele)
equateUSDFM :: forall key ele.
Uniquable key =>
UniqSDFM key ele -> key -> key -> (Maybe ele, UniqSDFM key ele)
equateUSDFM usdfm :: UniqSDFM key ele
usdfm@(USDFM UniqDFM key (Shared key ele)
env) key
x key
y =
case (key -> (key, Maybe ele)
lu key
x, key -> (key, Maybe ele)
lu key
y) of
((key
x', Maybe ele
_) , (key
y', Maybe ele
_))
| key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
x' Unique -> Unique -> Bool
forall a. Eq a => a -> a -> Bool
== key -> Unique
forall a. Uniquable a => a -> Unique
getUnique key
y' -> (Maybe ele
forall a. Maybe a
Nothing, UniqSDFM key ele
usdfm)
((key
x', Maybe ele
_) , (key
y', Maybe ele
Nothing)) -> (Maybe ele
forall a. Maybe a
Nothing, key -> key -> UniqSDFM key ele
set_indirect key
y' key
x')
((key
x', Maybe ele
mb_ex), (key
y', Maybe ele
_)) -> (Maybe ele
mb_ex, key -> key -> UniqSDFM key ele
set_indirect key
x' key
y')
where
lu :: key -> (key, Maybe ele)
lu = UniqSDFM key ele -> key -> (key, Maybe ele)
forall key ele.
Uniquable key =>
UniqSDFM key ele -> key -> (key, Maybe ele)
lookupReprAndEntryUSDFM UniqSDFM key ele
usdfm
set_indirect :: key -> key -> UniqSDFM key ele
set_indirect key
a key
b = UniqDFM key (Shared key ele) -> UniqSDFM key ele
forall key ele. UniqDFM key (Shared key ele) -> UniqSDFM key ele
USDFM (UniqDFM key (Shared key ele) -> UniqSDFM key ele)
-> UniqDFM key (Shared key ele) -> UniqSDFM key ele
forall a b. (a -> b) -> a -> b
$ UniqDFM key (Shared key ele)
-> key -> Shared key ele -> UniqDFM key (Shared key ele)
forall key elt.
Uniquable key =>
UniqDFM key elt -> key -> elt -> UniqDFM key elt
addToUDFM UniqDFM key (Shared key ele)
env key
a (key -> Shared key ele
forall key ele. key -> Shared key ele
Indirect key
b)
addToUSDFM :: Uniquable key => UniqSDFM key ele -> key -> ele -> UniqSDFM key ele
addToUSDFM :: forall key ele.
Uniquable key =>
UniqSDFM key ele -> key -> ele -> UniqSDFM key ele
addToUSDFM usdfm :: UniqSDFM key ele
usdfm@(USDFM UniqDFM key (Shared key ele)
env) key
x ele
v =
UniqDFM key (Shared key ele) -> UniqSDFM key ele
forall key ele. UniqDFM key (Shared key ele) -> UniqSDFM key ele
USDFM (UniqDFM key (Shared key ele) -> UniqSDFM key ele)
-> UniqDFM key (Shared key ele) -> UniqSDFM key ele
forall a b. (a -> b) -> a -> b
$ UniqDFM key (Shared key ele)
-> key -> Shared key ele -> UniqDFM key (Shared key ele)
forall key elt.
Uniquable key =>
UniqDFM key elt -> key -> elt -> UniqDFM key elt
addToUDFM UniqDFM key (Shared key ele)
env ((key, Maybe ele) -> key
forall a b. (a, b) -> a
fst (UniqSDFM key ele -> key -> (key, Maybe ele)
forall key ele.
Uniquable key =>
UniqSDFM key ele -> key -> (key, Maybe ele)
lookupReprAndEntryUSDFM UniqSDFM key ele
usdfm key
x)) (ele -> Shared key ele
forall key ele. ele -> Shared key ele
Entry ele
v)
traverseUSDFM :: forall key a b f. Applicative f => (a -> f b) -> UniqSDFM key a -> f (UniqSDFM key b)
traverseUSDFM :: forall key a b (f :: * -> *).
Applicative f =>
(a -> f b) -> UniqSDFM key a -> f (UniqSDFM key b)
traverseUSDFM a -> f b
f = ([(Unique, Shared key b)] -> UniqSDFM key b)
-> f [(Unique, Shared key b)] -> f (UniqSDFM key b)
forall a b. (a -> b) -> f a -> f b
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap (UniqDFM key (Shared key b) -> UniqSDFM key b
forall key ele. UniqDFM key (Shared key ele) -> UniqSDFM key ele
USDFM (UniqDFM key (Shared key b) -> UniqSDFM key b)
-> ([(Unique, Shared key b)] -> UniqDFM key (Shared key b))
-> [(Unique, Shared key b)]
-> UniqSDFM key b
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [(Unique, Shared key b)] -> UniqDFM key (Shared key b)
forall elt key. [(Unique, elt)] -> UniqDFM key elt
listToUDFM_Directly) (f [(Unique, Shared key b)] -> f (UniqSDFM key b))
-> (UniqSDFM key a -> f [(Unique, Shared key b)])
-> UniqSDFM key a
-> f (UniqSDFM key b)
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Unique, Shared key a) -> f (Unique, Shared key b))
-> [(Unique, Shared key a)] -> f [(Unique, Shared key 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) -> [a] -> f [b]
traverse (Unique, Shared key a) -> f (Unique, Shared key b)
g ([(Unique, Shared key a)] -> f [(Unique, Shared key b)])
-> (UniqSDFM key a -> [(Unique, Shared key a)])
-> UniqSDFM key a
-> f [(Unique, Shared key b)]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. UniqDFM key (Shared key a) -> [(Unique, Shared key a)]
forall key elt. UniqDFM key elt -> [(Unique, elt)]
udfmToList (UniqDFM key (Shared key a) -> [(Unique, Shared key a)])
-> (UniqSDFM key a -> UniqDFM key (Shared key a))
-> UniqSDFM key a
-> [(Unique, Shared key a)]
forall b c a. (b -> c) -> (a -> b) -> a -> c
. UniqSDFM key a -> UniqDFM key (Shared key a)
forall key ele. UniqSDFM key ele -> UniqDFM key (Shared key ele)
unUSDFM
where
g :: (Unique, Shared key a) -> f (Unique, Shared key b)
g :: (Unique, Shared key a) -> f (Unique, Shared key b)
g (Unique
u, Indirect key
y) = (Unique, Shared key b) -> f (Unique, Shared key b)
forall a. a -> f a
forall (f :: * -> *) a. Applicative f => a -> f a
pure (Unique
u,key -> Shared key b
forall key ele. key -> Shared key ele
Indirect key
y)
g (Unique
u, Entry a
a) = do
b
a' <- a -> f b
f a
a
pure (Unique
u,b -> Shared key b
forall key ele. ele -> Shared key ele
Entry b
a')
instance (Outputable key, Outputable ele) => Outputable (Shared key ele) where
ppr :: Shared key ele -> SDoc
ppr (Indirect key
x) = key -> SDoc
forall a. Outputable a => a -> SDoc
ppr key
x
ppr (Entry ele
a) = ele -> SDoc
forall a. Outputable a => a -> SDoc
ppr ele
a
instance (Outputable key, Outputable ele) => Outputable (UniqSDFM key ele) where
ppr :: UniqSDFM key ele -> SDoc
ppr (USDFM UniqDFM key (Shared key ele)
env) = UniqDFM key (Shared key ele) -> SDoc
forall a. Outputable a => a -> SDoc
ppr UniqDFM key (Shared key ele)
env