HaskellWorks.CabalCache.Data.Relation.Type

Documentation

data Relation a b

Constructors

Relation

Fields

• domain :: Map a (Set b)
• range :: Map b (Set a)

Instances

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

Defined in HaskellWorks.CabalCache.Data.Relation.Type

Methods

(==) :: Relation a b -> Relation a b -> Bool

(/=) :: Relation a b -> Relation a b -> Bool

(Ord a, Ord b) => Ord (Relation a b)

Defined in HaskellWorks.CabalCache.Data.Relation.Type

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)

Defined in HaskellWorks.CabalCache.Data.Relation.Type

Methods

showsPrec :: Int -> Relation a b -> ShowS

show :: Relation a b -> String

showList :: [Relation a b] -> ShowS

Generic (Relation a b)

Defined in HaskellWorks.CabalCache.Data.Relation.Type

Associated Types

type Rep (Relation a b) :: Type -> Type

Methods

from :: Relation a b -> Rep (Relation a b) x

to :: Rep (Relation a b) x -> Relation a b

type Rep (Relation a b)

Defined in HaskellWorks.CabalCache.Data.Relation.Type

type Rep (Relation a b) = D1 (MetaData "Relation" "HaskellWorks.CabalCache.Data.Relation.Type" "cabal-cache-1.0.0.8-BYtWMxUY5CzC1xaN9q3jsL" False) (C1 (MetaCons "Relation" PrefixI True) (S1 (MetaSel (Just "domain") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map a (Set b))) :*: S1 (MetaSel (Just "range") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map b (Set a)))))