Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
isSatisfiable :: LazyOC a -> Bool Source #
noConstraints :: LazyOC a Source #
unsatisfiable :: LazyOC a Source #
Instances
Eq a => Eq (LazyOC a) Source # | |
Ord a => Ord (LazyOC a) Source # | |
Defined in Language.REST.WQOConstraints.Lazy | |
(Show a, Eq a, Ord a, Hashable a) => Show (LazyOC a) Source # | |
Generic (LazyOC a) Source # | |
Hashable a => Hashable (LazyOC a) Source # | |
Defined in Language.REST.WQOConstraints.Lazy | |
type Rep (LazyOC a) Source # | |
Defined in Language.REST.WQOConstraints.Lazy |