Data.Diet.Map.Unboxed.Lifted

Documentation

data Map k v

Instances

(Prim k, Ord k, Enum k, Eq v) => IsList (Map k v)

Associated Types

type Item (Map k v) :: *

Methods

fromList :: [Item (Map k v)] -> Map k v

fromListN :: Int -> [Item (Map k v)] -> Map k v

toList :: Map k v -> [Item (Map k v)]

(Prim k, Eq k, Eq v) => Eq (Map k v)

Methods

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

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

(Prim k, Show k, Show v) => Show (Map k v)

Methods

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

show :: Map k v -> String

showList :: [Map k v] -> ShowS

(Prim k, Ord k, Enum k, Semigroup v, Eq v) => Semigroup (Map k v)

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

(Prim k, Ord k, Enum k, Semigroup v, Eq v) => Monoid (Map k v)

Methods

mempty :: Map k v

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

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

type Item (Map k v)

type Item (Map k v) = (k, k, v)

singleton

Arguments

:: (Prim k, Ord k)

=> k

inclusive lower bound

-> k

inclusive upper bound

-> v

value

-> Map k v

O(1) Create a diet map with a single element.

lookup :: (Prim k, Ord k) => k -> Map k v -> Maybe v

O(log n) Lookup the value at a key in the map.

List Conversion

fromList :: (Ord k, Enum k, Prim k, Eq v) => [(k, k, v)] -> Map k v

fromListAppend :: (Ord k, Enum k, Prim k, Semigroup v, Eq v) => [(k, k, v)] -> Map k v

fromListN

Arguments

:: (Ord k, Enum k, Prim k, Eq v)

=> Int

expected size of resulting Map

-> [(k, k, v)]

key-value pairs

-> Map k v

fromListAppendN

Arguments

:: (Ord k, Enum k, Prim k, Semigroup v, Eq v)

=> Int

expected size of resulting Map

-> [(k, k, v)]

key-value pairs

-> Map k v