Rerefined.Predicate.Logical.Or
data Or l r Source #
Logical disjunction. Also OR logic gate.
Defined in Rerefined.Predicate.Relational.Internal
Associated Types
type ShowRelOp GTE :: Symbol Source #
Methods
reifyRelOp :: Ord a => a -> a -> Bool Source #
type ShowRelOp LTE :: Symbol Source #
type ShowRelOp NEQ :: Symbol Source #
Precedence of 2 (matching ||).
||
Defined in Rerefined.Predicate.Logical.Or
type PredicateName d (Or l r) :: Symbol Source #
type ShowRelOp (Or 'EQ 'GT) :: Symbol Source #
type ShowRelOp (Or 'EQ 'LT) :: Symbol Source #
type ShowRelOp (Or 'GT 'LT) :: Symbol Source #
validate :: Proxy# (Or l r) -> a -> Maybe RefineFailure Source #
Hidden instance. You won't see this if you use the type synonyms.