CHR.Data.AssocL

Assoc list

type Assoc k v = (k, v)

type AssocL k v = [Assoc k v]

assocLMapElt :: (v -> v') -> AssocL k v -> AssocL k v'

assocLMapKey :: (k -> k') -> AssocL k v -> AssocL k' v

assocLElts :: AssocL k v -> [v]

assocLKeys :: AssocL k v -> [k]

assocLGroupSort :: Ord k => AssocL k v -> AssocL k [v]

assocLMapUnzip :: AssocL k (v1, v2) -> (AssocL k v1, AssocL k v2)

ppAssocL :: (PP k, PP v) => AssocL k v -> PP_Doc

ppAssocL' :: (PP k, PP v, PP s) => ([PP_Doc] -> PP_Doc) -> s -> AssocL k v -> PP_Doc

ppAssocLV :: (PP k, PP v) => AssocL k v -> PP_Doc

ppAssocLH :: (PP k, PP v) => AssocL k v -> PP_Doc

ppCurlysAssocL :: (k -> PP_Doc) -> (v -> PP_Doc) -> AssocL k v -> PP_Doc

intended for parsing

Utils

combineToDistinguishedElts :: Eq k => [AssocL k v] -> [AssocL k v]

Combine [[x1..xn],..,[y1..ym]] to [[x1..y1],[x2..y1],..,[xn..ym]]. Each element [xi..yi] is distinct based on the the key k in xi==(k,_)