Language.REST.WQOConstraints.Lazy

Documentation

lazyOC :: Monad m => WQOConstraints LazyOC m

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

intersect :: (Ord a, Hashable a) => LazyOC a -> LazyOC a -> LazyOC a

isSatisfiable :: LazyOC a -> Bool

noConstraints :: LazyOC a

singleton :: WQO a -> LazyOC a

union :: Eq a => LazyOC a -> LazyOC a -> LazyOC a

unsatisfiable :: LazyOC a

data LazyOC a

Instances

Eq a => Eq (LazyOC a)

Defined in Language.REST.WQOConstraints.Lazy

Methods

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

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

Ord a => Ord (LazyOC a)

Defined in Language.REST.WQOConstraints.Lazy

Methods

compare :: LazyOC a -> LazyOC a -> Ordering

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

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

(>) :: LazyOC a -> LazyOC a -> Bool

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

max :: LazyOC a -> LazyOC a -> LazyOC a

min :: LazyOC a -> LazyOC a -> LazyOC a

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

Defined in Language.REST.WQOConstraints.Lazy

Methods

showsPrec :: Int -> LazyOC a -> ShowS

show :: LazyOC a -> String

showList :: [LazyOC a] -> ShowS

Generic (LazyOC a)

Defined in Language.REST.WQOConstraints.Lazy

Associated Types

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

Methods

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

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

Hashable a => Hashable (LazyOC a)

Defined in Language.REST.WQOConstraints.Lazy

Methods

hashWithSalt :: Int -> LazyOC a -> Int

hash :: LazyOC a -> Int

type Rep (LazyOC a)

Defined in Language.REST.WQOConstraints.Lazy

type Rep (LazyOC a)