Safe Haskell	Safe
Language	Haskell2010

HaskellWorks.CabalCache.Data.Relation

Documentation

data Relation a b Source #

Constructors

Relation (Map a (Set b)) (Map b (Set a))

Instances

(Eq a, Eq b) => Eq (Relation a b) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details 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)))))

empty :: Relation a b Source #

null :: Relation a b -> Bool Source #

fromList :: (Ord a, Ord b) => [(a, b)] -> Relation a b Source #

toList :: Relation a b -> [(a, b)] Source #

singleton :: a -> b -> Relation a b Source #

insert :: (Ord a, Ord b) => a -> b -> Relation a b -> Relation a b Source #

delete :: (Ord a, Ord b) => a -> b -> Relation a b -> Relation a b Source #

domain :: Relation a b -> Set a Source #

range :: Relation a b -> Set b Source #

restrictDomain :: (Ord a, Ord b) => Set a -> Relation a b -> Relation a b Source #

restrictRange :: (Ord a, Ord b) => Set b -> Relation a b -> Relation a b Source #

withoutDomain :: (Ord a, Ord b) => Set a -> Relation a b -> Relation a b Source #

withoutRange :: (Ord a, Ord b) => Set b -> Relation a b -> Relation a b Source #