derive-trie-0.2: Automatic derivation of Trie implementations.

Data.KeyMap

Documentation

class KeyMap key map | map -> key whereSource

Methods

empty :: map valSource

null :: map val -> BoolSource

lookup :: key -> map val -> Maybe valSource

alter :: key -> (Maybe val -> Maybe val) -> map val -> map valSource

combine :: (Maybe val -> Maybe val' -> Maybe val'') -> map val -> map val' -> map val''Source

mapMaybeWithKey :: (key -> val -> Maybe val') -> map val -> map val'Source

toList :: map val -> [val]Source

Instances

KeyMap Int IntMap 
Ord key => KeyMap key (Map key) 

insert :: KeyMap key map => key -> val -> map val -> map valSource

adjust :: KeyMap key map => key -> (val -> val) -> map val -> map valSource

delete :: KeyMap key map => key -> map val -> map valSource

unionWith :: KeyMap key map => (val -> val -> Maybe val) -> map val -> map val -> map valSource

union :: KeyMap key map => map val -> map val -> map valSource

symDiff :: KeyMap key map => map val -> map val -> map valSource

updateWith :: KeyMap key map => (val -> val' -> Maybe val) -> map val -> map val' -> map valSource

difference :: KeyMap key map => map val -> map val' -> map valSource

update :: KeyMap key map => map val -> map val -> map valSource

intersectionWith :: KeyMap key map => (val -> val' -> Maybe val'') -> map val -> map val' -> map val''Source

intersection :: KeyMap key map => map val -> map val -> map valSource

map :: KeyMap key map => (val -> val') -> map val -> map val'Source

fromList :: KeyMap key map => [(key, val)] -> map valSource