RSolve.MapLike

Documentation

class MapLike m k v | m -> k, m -> v where

Minimal complete definition

lookup, insert, adjust, member, update

Methods

lookup :: k -> m -> Maybe v

(!) :: m -> k -> v

insert :: k -> v -> m -> m

adjust :: (v -> v) -> k -> m -> m

member :: k -> m -> Bool

update :: (v -> Maybe v) -> k -> m -> m

Instances

Eq k => MapLike [(k, v)] k v

Defined in RSolve.MapLike

Methods

lookup :: k -> [(k, v)] -> Maybe v

(!) :: [(k, v)] -> k -> v

insert :: k -> v -> [(k, v)] -> [(k, v)]

adjust :: (v -> v) -> k -> [(k, v)] -> [(k, v)]

member :: k -> [(k, v)] -> Bool

update :: (v -> Maybe v) -> k -> [(k, v)] -> [(k, v)]

Ord k => MapLike (Map k v) k v

Defined in RSolve.MapLike

Methods

lookup :: k -> Map k v -> Maybe v

(!) :: Map k v -> k -> v

insert :: k -> v -> Map k v -> Map k v

adjust :: (v -> v) -> k -> Map k v -> Map k v

member :: k -> Map k v -> Bool

update :: (v -> Maybe v) -> k -> Map k v -> Map k v