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

Data.LinkMap

Documentation

module Data.IdMap

data LinkMap i k a Source

Instances Functor (LinkMap i k)

linkMap :: (forall b. Map i k b) -> LinkMap i k a Source

link :: I i => Id k -> Id k -> LinkMap i k a -> LinkMap i k a Source

follow :: I i => LinkMap i k a -> Id k -> Id k Source

lookUp :: I i => Id k -> LinkMap i k a -> Maybe a Source

insert :: I i => Id k -> a -> LinkMap i k a -> LinkMap i k a Source

delete :: I i => Id k -> LinkMap i k a -> LinkMap i k a Source

union :: LinkMap i k a -> LinkMap i l a -> LinkMap i (k :|: l) a Source

member :: I i => Id k -> LinkMap i k a -> Bool Source

notMember :: I i => Id k -> LinkMap i k a -> Bool Source

same :: I i => LinkMap i k a -> Id k -> Id k -> Bool Source

(!) :: I i => LinkMap i k a -> Id k -> a Source

fromList :: I i => (forall b. Map i k b) -> [(Id k, a)] -> LinkMap i k a Source

Produced by Haddock version 2.4.2