Documentation

module Data.IdMap

data LinkMap i k a Source

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

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

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

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

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

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

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

member :: I i => Id k -> LinkMap i k a -> BoolSource

notMember :: I i => Id k -> LinkMap i k a -> BoolSource

same :: I i => LinkMap i k a -> Id k -> Id k -> BoolSource

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

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