Util.HierarchicalMap
- data HierarchicalMap a b = HierarchicalMap [Map a b]
- data HierarchicalMapException a = ValueNotFoundException a
- update :: Ord a => HierarchicalMap a b -> a -> b -> HierarchicalMap a b
- updateMulti :: Ord a => HierarchicalMap a b -> [(a, b)] -> HierarchicalMap a b
- lookup :: (Show k, Typeable k, Ord k) => HierarchicalMap k a -> k -> a
- maybeLookup :: (Show k, Typeable k, Ord k) => HierarchicalMap k a -> k -> Maybe a
- maybeLookupInTopLayer :: (Show k, Typeable k, Ord k) => HierarchicalMap k a -> k -> Maybe a
- popLayer :: Ord a => HierarchicalMap a b -> HierarchicalMap a b
- flatten :: Ord a => HierarchicalMap a b -> [(a, b)]
- newLayer :: Ord a => HierarchicalMap a b -> HierarchicalMap a b
- newLayerAndBind :: Ord a => HierarchicalMap a b -> [(a, b)] -> HierarchicalMap a b
- newRecursiveLayerAndBind :: Ord a => HierarchicalMap a b -> [HierarchicalMap a b -> (a, b)] -> HierarchicalMap a b
- new :: Ord a => HierarchicalMap a b
Documentation
data HierarchicalMap a b Source
Constructors
| HierarchicalMap [Map a b] |
Instances
| (Show a, Show b) => Show (HierarchicalMap a b) |
data HierarchicalMapException a Source
Constructors
| ValueNotFoundException a |
Instances
| Typeable1 HierarchicalMapException | |
| Show a => Show (HierarchicalMapException a) | |
| (Ord a, Show a, Typeable a) => Exception (HierarchicalMapException a) |
update :: Ord a => HierarchicalMap a b -> a -> b -> HierarchicalMap a bSource
Creates/updates a key in the top level map.
updateMulti :: Ord a => HierarchicalMap a b -> [(a, b)] -> HierarchicalMap a bSource
lookup :: (Show k, Typeable k, Ord k) => HierarchicalMap k a -> k -> aSource
Looks up a key in any map, starting from the top
maybeLookup :: (Show k, Typeable k, Ord k) => HierarchicalMap k a -> k -> Maybe aSource
maybeLookupInTopLayer :: (Show k, Typeable k, Ord k) => HierarchicalMap k a -> k -> Maybe aSource
popLayer :: Ord a => HierarchicalMap a b -> HierarchicalMap a bSource
flatten :: Ord a => HierarchicalMap a b -> [(a, b)]Source
newLayer :: Ord a => HierarchicalMap a b -> HierarchicalMap a bSource
newLayerAndBind :: Ord a => HierarchicalMap a b -> [(a, b)] -> HierarchicalMap a bSource
newRecursiveLayerAndBind :: Ord a => HierarchicalMap a b -> [HierarchicalMap a b -> (a, b)] -> HierarchicalMap a bSource
new :: Ord a => HierarchicalMap a bSource
Creates a new map