primitive-containers-0.3.1: containers backed by arrays

Safe HaskellNone
LanguageHaskell2010

Data.Map.Subset.Lazy.Unlifted

Contents

Synopsis

Documentation

data Map k v Source #

Instances
Functor (Map k) Source # 
Instance details

Defined in Data.Map.Subset.Lazy.Internal

Methods

fmap :: (a -> b) -> Map k a -> Map k b #

(<$) :: a -> Map k b -> Map k a #

(Eq k, Eq v) => Eq (Map k v) Source # 
Instance details

Defined in Data.Map.Subset.Lazy.Internal

Methods

(==) :: Map k v -> Map k v -> Bool #

(/=) :: Map k v -> Map k v -> Bool #

(Ord k, Ord v) => Ord (Map k v) Source # 
Instance details

Defined in Data.Map.Subset.Lazy.Internal

Methods

compare :: Map k v -> Map k v -> Ordering #

(<) :: Map k v -> Map k v -> Bool #

(<=) :: Map k v -> Map k v -> Bool #

(>) :: Map k v -> Map k v -> Bool #

(>=) :: Map k v -> Map k v -> Bool #

max :: Map k v -> Map k v -> Map k v #

min :: Map k v -> Map k v -> Map k v #

(Show k, Show v) => Show (Map k v) Source # 
Instance details

Defined in Data.Map.Subset.Lazy.Internal

Methods

showsPrec :: Int -> Map k v -> ShowS #

show :: Map k v -> String #

showList :: [Map k v] -> ShowS #

(Semigroup v, Ord k) => Semigroup (Map k v) Source # 
Instance details

Defined in Data.Map.Subset.Lazy.Internal

Methods

(<>) :: Map k v -> Map k v -> Map k v #

sconcat :: NonEmpty (Map k v) -> Map k v #

stimes :: Integral b => b -> Map k v -> Map k v #

(Semigroup v, Ord k) => Monoid (Map k v) Source # 
Instance details

Defined in Data.Map.Subset.Lazy.Internal

Methods

mempty :: Map k v #

mappend :: Map k v -> Map k v -> Map k v #

mconcat :: [Map k v] -> Map k v #

empty :: Map k v Source #

Singleton Subset Maps

singleton :: PrimUnlifted k => Set k -> v -> Map k v Source #

A subset map with a single set as its key.

antisingleton Source #

Arguments

:: PrimUnlifted k 
=> Set k

negative set

-> v

value

-> Map k v 

A subset map with a single negative set as its key. That is, a lookup into this map will only succeed if the needle set and the negative set do not overlap.

fromPolarities Source #

Arguments

:: PrimUnlifted k 
=> Map k Bool

Map of required presences and absences

-> v 
-> Map k v 

Construct a singleton subset map by interpreting a Data.Map.Unlifted.Lifted.Map as requirements about what must be present and absent.

Querying

lookup :: (Ord k, PrimUnlifted k) => Set k -> Map k v -> Maybe v Source #

List Conversion

toList :: PrimUnlifted k => Map k v -> [(Set k, v)] Source #

fromList :: (Ord k, PrimUnlifted k) => [(Set k, v)] -> Map k v Source #