Safe Haskell	None
Language	GHC2021

Rerefined.Predicate.Logical.Or

Synopsis

Documentation

data Or (l :: k) (r :: k1) Source #

Logical disjunction. Also OR logic gate.

Instances details

(Predicate l, Predicate r) => Predicate (Or l r :: Type) Source #	Precedence of 2 (matching `\|\|`).
Instance details Defined in Rerefined.Predicate.Logical.Or
(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 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