data-map-multikey-0.0.1: Data.Map with multiple, unique keys

Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Map.MultiKey

Documentation

data MultiKey a Source

Constructors

MultiKey [Key a] 

Instances

Typeable (* -> *) MultiKey 

class MultiKeyable a where Source

Methods

empty :: MultiKey a Source

delete :: a -> MultiKey a -> MultiKey a Source

deleteKey :: (Typeable a, Typeable k) => k -> MultiKey a -> MultiKey a Source

fromList :: MultiKeyable a => [a] -> MultiKey a Source

insert :: a -> MultiKey a -> MultiKey a Source

insertList :: MultiKeyable a => [a] -> MultiKey a -> MultiKey a Source

key :: (Typeable k, Ord k) => (a -> k) -> Key a Source

lookup :: (Typeable a, Typeable k) => k -> MultiKey a -> Maybe a Source

null :: MultiKey a -> Bool Source

toList :: MultiKey a -> [a] Source

updateKey :: (Typeable a, Typeable k) => k -> a -> MultiKey a -> MultiKey a Source