Util.Relation

extend Data.Set with relation operations

Documentation

newtype Rel a b

Constructors

Rel (Map a (Set b))

Instances

(Eq a, Eq b) => Eq (Rel a b)

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

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

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

prune :: Map a (Set b) -> Rel a b

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

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

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

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

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

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

mapDomain :: (Ord a, Ord b, Ord c) => (a -> c) -> Rel a b -> Rel c b

mapRange :: (Ord a, Ord b, Ord c) => (b -> c) -> Rel a b -> Rel a c

partitionDomain :: (a -> Bool) -> Rel a b -> (Rel a b, Rel a b)

unRel :: Rel t t1 -> Map t (Set t1)

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