Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.REST.Internal.EquivalenceClass

Synopsis

isMember :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a -> Bool
isSingleton :: EquivalenceClass a -> Bool
insert :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a -> EquivalenceClass a
union :: (Ord a, Eq a, Hashable a) => EquivalenceClass a -> EquivalenceClass a -> EquivalenceClass a
singleton :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a
fromList :: (Ord a, Eq a, Hashable a) => [a] -> EquivalenceClass a
toList :: EquivalenceClass a -> [a]
head :: EquivalenceClass a -> a
data EquivalenceClass a
elems :: EquivalenceClass a -> Set a
isSubsetOf :: Ord a => EquivalenceClass a -> EquivalenceClass a -> Bool

Documentation

isMember :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a -> Bool Source #

isSingleton :: EquivalenceClass a -> Bool Source #

insert :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a -> EquivalenceClass a Source #

union :: (Ord a, Eq a, Hashable a) => EquivalenceClass a -> EquivalenceClass a -> EquivalenceClass a Source #

singleton :: (Ord a, Eq a, Hashable a) => a -> EquivalenceClass a Source #

fromList :: (Ord a, Eq a, Hashable a) => [a] -> EquivalenceClass a Source #

toList :: EquivalenceClass a -> [a] Source #

head :: EquivalenceClass a -> a Source #

data EquivalenceClass a Source #

Equivalent classes of the (==) relation of a type a.

Instances

Instances details

Generic (EquivalenceClass a) Source #
Instance details Defined in Language.REST.Internal.EquivalenceClass Associated Types type Rep (EquivalenceClass a) :: Type -> Type # Methods from :: EquivalenceClass a -> Rep (EquivalenceClass a) x # to :: Rep (EquivalenceClass a) x -> EquivalenceClass a #
Show a => Show (EquivalenceClass a) Source #
Instance details Defined in Language.REST.Internal.EquivalenceClass Methods showsPrec :: Int -> EquivalenceClass a -> ShowS # show :: EquivalenceClass a -> String # showList :: [EquivalenceClass a] -> ShowS #
Eq a => Eq (EquivalenceClass a) Source #
Instance details Defined in Language.REST.Internal.EquivalenceClass Methods (==) :: EquivalenceClass a -> EquivalenceClass a -> Bool # (/=) :: EquivalenceClass a -> EquivalenceClass a -> Bool #
Ord a => Ord (EquivalenceClass a) Source #
Instance details Defined in Language.REST.Internal.EquivalenceClass Methods compare :: EquivalenceClass a -> EquivalenceClass a -> Ordering # (<) :: EquivalenceClass a -> EquivalenceClass a -> Bool # (<=) :: EquivalenceClass a -> EquivalenceClass a -> Bool # (>) :: EquivalenceClass a -> EquivalenceClass a -> Bool # (>=) :: EquivalenceClass a -> EquivalenceClass a -> Bool # max :: EquivalenceClass a -> EquivalenceClass a -> EquivalenceClass a # min :: EquivalenceClass a -> EquivalenceClass a -> EquivalenceClass a #
Hashable a => Hashable (EquivalenceClass a) Source #
Instance details Defined in Language.REST.Internal.EquivalenceClass Methods hashWithSalt :: Int -> EquivalenceClass a -> Int # hash :: EquivalenceClass a -> Int #
type Rep (EquivalenceClass a) Source #
Instance details Defined in Language.REST.Internal.EquivalenceClass type Rep (EquivalenceClass a) = D1 ('MetaData "EquivalenceClass" "Language.REST.Internal.EquivalenceClass" "rest-rewrite-0.4.3-L4CHsmDzf4PMYNf7CqgfF" 'True) (C1 ('MetaCons "EquivalenceClass" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set a))))

elems :: EquivalenceClass a -> Set a Source #

isSubsetOf :: Ord a => EquivalenceClass a -> EquivalenceClass a -> Bool Source #