Safe Haskell	Safe
Language	Haskell2010

Data.Relation.Internal

Synopsis

data Relation a b = Relation {
- domain :: Map a (Set b)
- range :: Map b (Set a)
}

Documentation

Representation of a relation on ordered (Ord) values

Constructors

Relation
Fields domain :: Map a (Set b) range :: Map b (Set a)

Instances

(Eq a, Eq b) => Eq (Relation a b) Source #
Instance details Defined in Data.Relation.Internal Methods (==) :: Relation a b -> Relation a b -> Bool # (/=) :: Relation a b -> Relation a b -> Bool #
(Ord a, Ord b) => Ord (Relation a b) Source #
Instance details Defined in Data.Relation.Internal Methods compare :: Relation a b -> Relation a b -> Ordering # (<) :: Relation a b -> Relation a b -> Bool # (<=) :: Relation a b -> Relation a b -> Bool # (>) :: Relation a b -> Relation a b -> Bool # (>=) :: Relation a b -> Relation a b -> Bool # max :: Relation a b -> Relation a b -> Relation a b # min :: Relation a b -> Relation a b -> Relation a b #
(Show a, Show b) => Show (Relation a b) Source #
Instance details Defined in Data.Relation.Internal Methods showsPrec :: Int -> Relation a b -> ShowS # show :: Relation a b -> String # showList :: [Relation a b] -> ShowS #