Language.REST.WQOConstraints.Strict

Documentation

strictOC :: Monad m => WQOConstraints StrictOC m

strictOC' :: WQOConstraints StrictOC Identity

addConstraint :: (Eq a, Ord a, Hashable a) => WQO a -> StrictOC a -> StrictOC a

difference :: (Eq a, Ord a, Hashable a) => StrictOC a -> StrictOC a -> StrictOC a

getOrdering :: StrictOC a -> Maybe (WQO a)

intersect :: (Show a, Eq a, Ord a, Hashable a) => StrictOC a -> StrictOC a -> StrictOC a

isSatisfiable :: Eq a => StrictOC a -> Bool

isUnsatisfiable :: Eq a => StrictOC a -> Bool

noConstraints :: forall a. (Eq a, Ord a, Hashable a) => StrictOC a

notStrongerThan :: forall m a. (Monad m, Eq a, Ord a, Hashable a) => StrictOC a -> StrictOC a -> m Bool

permits :: (Eq a, Ord a, Hashable a) => StrictOC a -> WQO a -> Bool

relevantConstraints :: forall a. (Eq a, Ord a, Hashable a) => StrictOC a -> Set a -> Set a -> StrictOC a

union :: (Eq a, Ord a, Hashable a) => StrictOC a -> StrictOC a -> StrictOC a

unsatisfiable :: StrictOC a

singleton :: (Eq a, Ord a, Hashable a) => WQO a -> StrictOC a

data StrictOC a

Instances

Eq a => Eq (StrictOC a)

Defined in Language.REST.WQOConstraints.Strict

Methods

(==) :: StrictOC a -> StrictOC a -> Bool

(/=) :: StrictOC a -> StrictOC a -> Bool

Ord a => Ord (StrictOC a)

Defined in Language.REST.WQOConstraints.Strict

Methods

compare :: StrictOC a -> StrictOC a -> Ordering

(<) :: StrictOC a -> StrictOC a -> Bool

(<=) :: StrictOC a -> StrictOC a -> Bool

(>) :: StrictOC a -> StrictOC a -> Bool

(>=) :: StrictOC a -> StrictOC a -> Bool

max :: StrictOC a -> StrictOC a -> StrictOC a

min :: StrictOC a -> StrictOC a -> StrictOC a

(Show a, Eq a, Ord a, Hashable a) => Show (StrictOC a)

Defined in Language.REST.WQOConstraints.Strict

Methods

showsPrec :: Int -> StrictOC a -> ShowS

show :: StrictOC a -> String

showList :: [StrictOC a] -> ShowS

Generic (StrictOC a)

Defined in Language.REST.WQOConstraints.Strict

Associated Types

type Rep (StrictOC a) :: Type -> Type

Methods

from :: StrictOC a -> Rep (StrictOC a) x

to :: Rep (StrictOC a) x -> StrictOC a

Hashable a => Hashable (StrictOC a)

Defined in Language.REST.WQOConstraints.Strict

Methods

hashWithSalt :: Int -> StrictOC a -> Int

hash :: StrictOC a -> Int

type Rep (StrictOC a)

Defined in Language.REST.WQOConstraints.Strict

type Rep (StrictOC a)

elems :: Ord a => StrictOC a -> Set a