linear-maps-0.6: Finite maps for linear use Source code Contents Index

Data.IdMap.Static

Synopsis

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

data k :. x Source

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 Source

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

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

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

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

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

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

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

Produced by Haddock version 2.4.2