Safe Haskell	None
Language	Haskell2010

Data.OpenApi.Compare.Validate.Schema.DNF

Synopsis

newtype DNF a = DNF (Set (Disjunct a))
newtype Disjunct a = Disjunct (Set a)
pattern SingleDisjunct :: Ord a => Disjunct a -> DNF a
pattern TopDNF :: DNF a
pattern BottomDNF :: DNF a
pattern LiteralDNF :: Ord a => a -> DNF a
foldDNF :: BoundedLattice l => (a -> l) -> DNF a -> l
forDNF :: (BoundedLattice l, Applicative f) => (a -> f l) -> DNF a -> f l

Documentation

newtype DNF a Source #

A boolean formula (without "not") represented as a Disjunctive Normal Form: the formula is a disjunction of a set of clauses, each of which is a conjunction of a set of some elementary formulas. Invariant: no two disjuncts imply eachother

Constructors

DNF (Set (Disjunct a))

Instances

Instances details

Eq a => Eq (DNF a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods (==) :: DNF a -> DNF a -> Bool # (/=) :: DNF a -> DNF a -> Bool #
Ord a => Ord (DNF a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods compare :: DNF a -> DNF a -> Ordering # (<) :: DNF a -> DNF a -> Bool # (<=) :: DNF a -> DNF a -> Bool # (>) :: DNF a -> DNF a -> Bool # (>=) :: DNF a -> DNF a -> Bool # max :: DNF a -> DNF a -> DNF a # min :: DNF a -> DNF a -> DNF a #
Show a => Show (DNF a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods showsPrec :: Int -> DNF a -> ShowS # show :: DNF a -> String # showList :: [DNF a] -> ShowS #
Ord a => Lattice (DNF a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods (\/) :: DNF a -> DNF a -> DNF a # (/\) :: DNF a -> DNF a -> DNF a #
Ord a => BoundedJoinSemiLattice (DNF a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods bottom :: DNF a #
Ord a => BoundedMeetSemiLattice (DNF a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods top :: DNF a #

newtype Disjunct a Source #

Constructors

Disjunct (Set a)

Instances

Instances details

Eq a => Eq (Disjunct a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods (==) :: Disjunct a -> Disjunct a -> Bool # (/=) :: Disjunct a -> Disjunct a -> Bool #
Ord a => Ord (Disjunct a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods compare :: Disjunct a -> Disjunct a -> Ordering # (<) :: Disjunct a -> Disjunct a -> Bool # (<=) :: Disjunct a -> Disjunct a -> Bool # (>) :: Disjunct a -> Disjunct a -> Bool # (>=) :: Disjunct a -> Disjunct a -> Bool # max :: Disjunct a -> Disjunct a -> Disjunct a # min :: Disjunct a -> Disjunct a -> Disjunct a #
Show a => Show (Disjunct a) Source #
Instance details Defined in Data.OpenApi.Compare.Validate.Schema.DNF Methods showsPrec :: Int -> Disjunct a -> ShowS # show :: Disjunct a -> String # showList :: [Disjunct a] -> ShowS #

pattern SingleDisjunct :: Ord a => Disjunct a -> DNF a Source #

pattern TopDNF :: DNF a Source #

pattern BottomDNF :: DNF a Source #

pattern LiteralDNF :: Ord a => a -> DNF a Source #

foldDNF :: BoundedLattice l => (a -> l) -> DNF a -> l Source #

forDNF :: (BoundedLattice l, Applicative f) => (a -> f l) -> DNF a -> f l Source #