Safe Haskell	Safe-Inferred
Language	GHC2021

Rerefined.Predicate.Logical.Or

Synopsis

data Or l r

Documentation

data Or l r Source #

Logical disjunction. Also OR logic gate.

Instances

Instances details

ReifyRelOp GTE Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal Associated Types type ShowRelOp GTE :: Symbol Source # Methods reifyRelOp :: Ord a => a -> a -> Bool Source #
ReifyRelOp LTE Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal Associated Types type ShowRelOp LTE :: Symbol Source # Methods reifyRelOp :: Ord a => a -> a -> Bool Source #
ReifyRelOp NEQ Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal Associated Types type ShowRelOp NEQ :: Symbol Source # Methods reifyRelOp :: Ord a => a -> a -> Bool Source #
(Predicate l, Predicate r) => Predicate (Or l r :: Type) Source #	Precedence of 2 (matching `\|\|`).
Instance details Defined in Rerefined.Predicate.Logical.Or Associated Types type PredicateName d (Or l r) :: Symbol Source #
ReifyRelOp (Or 'EQ 'GT) Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal Associated Types type ShowRelOp (Or 'EQ 'GT) :: Symbol Source # Methods reifyRelOp :: Ord a => a -> a -> Bool Source #
ReifyRelOp (Or 'EQ 'LT) Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal Associated Types type ShowRelOp (Or 'EQ 'LT) :: Symbol Source # Methods reifyRelOp :: Ord a => a -> a -> Bool Source #
ReifyRelOp (Or 'GT 'LT) Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal Associated Types type ShowRelOp (Or 'GT 'LT) :: Symbol Source # Methods reifyRelOp :: Ord a => a -> a -> Bool Source #
(Refine l a, Refine r a, KnownPredicateName (Or l r)) => Refine (Or l r :: Type) a Source #
Instance details Defined in Rerefined.Predicate.Logical.Or Methods validate :: Proxy# (Or l r) -> a -> Maybe RefineFailure Source #
type ShowRelOp GTE Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp GTE = ">="
type ShowRelOp LTE Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp LTE = "<="
type ShowRelOp NEQ Source #
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp NEQ = "/="
type PredicateName d (Or l r :: Type) Source #
Instance details Defined in Rerefined.Predicate.Logical.Or type PredicateName d (Or l r :: Type) = PredicateNameBOp " \8744 " 2 d l r
type ShowRelOp (Or 'EQ 'GT) Source #	Hidden instance. You won't see this if you use the type synonyms.
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp (Or 'EQ 'GT) = ShowRelOp GTE
type ShowRelOp (Or 'EQ 'LT) Source #	Hidden instance. You won't see this if you use the type synonyms.
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp (Or 'EQ 'LT) = ShowRelOp LTE
type ShowRelOp (Or 'GT 'LT) Source #	Hidden instance. You won't see this if you use the type synonyms.
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp (Or 'GT 'LT) = ShowRelOp NEQ