PureFP.OrdMap

Chapter 1 and Appendix A of /Pure Functional Parsing – an advanced tutorial/ by Peter Ljunglöf

http://www.ling.gu.se/~peb/pubs/p02-lic-thesis.pdf

Documentation

class OrdMap m where

Methods

emptyMap :: Ord s => m s a

(|->) :: Ord s => s -> a -> m s a

isEmptyMap :: Ord s => m s a -> Bool

(?) :: Ord s => m s a -> s -> Maybe a

lookupWith :: Ord s => a -> m s a -> s -> a

mergeWith :: Ord s => (a -> a -> a) -> m s a -> m s a -> m s a

unionMapWith :: Ord s => (a -> a -> a) -> [m s a] -> m s a

assocs :: Ord s => m s a -> [(s, a)]

ordMap :: Ord s => [(s, a)] -> m s a

mapMap :: Ord s => (a -> b) -> m s a -> m s b

Instances

OrdMap Map

OrdMap m => OrdMap (Next m)

data Map s a

Instances

OrdMap Map

(Eq s, Eq a) => Eq (Map s a)

(Show s, Show a) => Show (Map s a)

makeMapWith :: (Ord s, OrdMap m) => (a -> a -> a) -> [(s, a)] -> m s a

mapMapWithKey :: (t -> t1 -> a) -> Map t t1 -> Map t a