Data.IdMap.Static

Documentation

module Data.IdMap

data k :. x

Identifiers with static data.

Constructors

!(Id k) :. !x

Instances

Incl2 :.

Functor (:. x)

insert :: MaplikeClass i a => (k :. d) -> a -> Maplike i k a -> Maplike i k a

delete :: MaplikeClass i a => (k :. d) -> Maplike i k a -> Maplike i k a

lookUp :: MaplikeClass i a => (k :. d) -> Maplike i k a -> Maybe a

(!) :: I i => Map i k a -> (k :. d) -> a

member :: MaplikeClass i a => (k :. d) -> Maplike i k a -> Bool

inserts :: I i => Map i k a -> [(k :. d, a)] -> Map i k a

setInsert :: I i => (k :. d) -> Set i k -> Set i k

setInserts :: I i => Set i k -> [k :. d] -> Set i k