- module Data.IdMap
- data k :. x = !(Id k) :. !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
Documentation
module Data.IdMap