rest-rewrite-0.3.0: Rewriting library with online termination checking
Safe HaskellNone
LanguageHaskell2010

Language.REST.WQOConstraints.Lazy

Documentation

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

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

singleton :: WQO a -> LazyOC a Source #

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

data LazyOC a Source #

Instances

Instances details
Eq a => Eq (LazyOC a) Source # 
Instance details

Defined in Language.REST.WQOConstraints.Lazy

Methods

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

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

Ord a => Ord (LazyOC a) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.REST.WQOConstraints.Lazy

Methods

showsPrec :: Int -> LazyOC a -> ShowS #

show :: LazyOC a -> String #

showList :: [LazyOC a] -> ShowS #

Generic (LazyOC a) Source # 
Instance details

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) Source # 
Instance details

Defined in Language.REST.WQOConstraints.Lazy

Methods

hashWithSalt :: Int -> LazyOC a -> Int #

hash :: LazyOC a -> Int #

type Rep (LazyOC a) Source # 
Instance details

Defined in Language.REST.WQOConstraints.Lazy

type Rep (LazyOC a)