UHC.Util.RelMap

Relation via pair of maps for domain and range, for faster lookup in 2 directions. Incomplete w.r.t. corresponding UHC.Util.Rel

Documentation

data Rel a b

Relation, represented as 2 maps from domain to range and the inverse, thus allowing faster lookup at the expense of some set like operations more expensive.

Instances

(Ord b, Ord a, Binary a, Binary b) => Binary (Rel a b)

Methods

put :: Rel a b -> Put

get :: Get (Rel a b)

putList :: [Rel a b] -> Put

(Ord b, Ord a, Serialize a, Serialize b) => Serialize (Rel a b)

Methods

sput :: Rel a b -> SPut

sget :: SGet (Rel a b)

sputNested :: Rel a b -> SPut

sgetNested :: SGet (Rel a b)

empty :: Rel a b

Empty relation

toDomList :: Rel a b -> [(a, [b])]

As assocation list where each domain value only occurs once and the range as list

toRngList :: Rel a b -> [([a], b)]

As assocation list where each range value only occurs once and the domain as list

toList :: Rel a b -> [(a, b)]

As assocation list

fromList :: (Ord a, Ord b) => [(a, b)] -> Rel a b

From association list

singleton :: (Ord a, Ord b) => a -> b -> Rel a b

Singleton relation

dom :: (Ord a, Ord b) => Rel a b -> Set a

Domain of relation

rng :: (Ord a, Ord b) => Rel a b -> Set b

Range of relation

restrictDom :: (Ord a, Ord b) => (a -> Bool) -> Rel a b -> Rel a b

Filter on domain

restrictRng :: (Ord a, Ord b) => (b -> Bool) -> Rel a b -> Rel a b

Filter on range

mapDom :: (Ord b, Ord x) => (a -> x) -> Rel a b -> Rel x b

Map domain

mapRng :: (Ord a, Ord x) => (b -> x) -> Rel a b -> Rel a x

Map range

union :: (Ord a, Ord b) => Rel a b -> Rel a b -> Rel a b

Union

unions :: (Ord a, Ord b) => [Rel a b] -> Rel a b

Union of list of relations

insert :: (Ord a, Ord b) => a -> b -> Rel a b -> Rel a b

Insert

deleteDom :: (Ord a, Ord b) => a -> Rel a b -> Rel a b

Delete at domain

delete :: (Ord a, Ord b) => a -> Rel a b -> Rel a b

Delete at domain

deleteRng :: (Ord a, Ord b) => b -> Rel a b -> Rel a b

Delete at range

applyDomMbSet :: Ord a => Rel a b -> a -> Maybe (Set b)

Apply relation as a function, possible yielding a non empty set

applyRngMbSet :: Ord b => Rel a b -> b -> Maybe (Set a)

Apply relation as an inverse function, possible yielding a non empty set

applyDomSet :: Ord a => Rel a b -> a -> Set b

Apply relation as a function, yielding a possibly empty set

applyRngSet :: Ord b => Rel a b -> b -> Set a

Apply relation as an inverse function, yielding a possibly empty set

applyDom :: Ord a => Rel a b -> a -> Maybe b

Apply relation as a function, aka lookup, picking an arbitrary value in case of multiples

applyRng :: Ord b => Rel a b -> b -> Maybe a

Apply relation as an inverse function, aka lookup, picking an arbitrary value in case of multiples

apply :: Ord a => Rel a b -> a -> [b]

Apply relation as a function

applyInverse :: Ord b => Rel a b -> b -> [a]

Apply relation as an inverse function

lookupDom :: Ord a => a -> Rel a b -> Maybe b

Alias for apply in more conventional terms

lookupRng :: Ord b => b -> Rel a b -> Maybe a

Alias for apply in more conventional terms

lookup :: Ord a => a -> Rel a b -> Maybe b

Alias for apply in more conventional terms

lookupInverse :: Ord b => b -> Rel a b -> Maybe a

Alias for apply in more conventional terms

toDomMap :: Ord a => Rel a b -> Map a [b]

As a Map keyed on domain

toRngMap :: Ord b => Rel a b -> Map b [a]

As a Map keyed on range