Safe Haskell	Safe-Inferred
Language	GHC2021

Rerefined.Predicate.Logical.Xor

Synopsis

Documentation

data Xor l r Source #

Logical exclusive disjunction. Also XOR logic gate.

Instances details

(Predicate l, Predicate r) => Predicate (Xor l r :: Type) Source #	Precedence of 4 (matching `==`).
Instance details Defined in Rerefined.Predicate.Logical.Xor Associated Types type PredicateName d (Xor l r) :: Symbol Source #
(Refine l a, Refine r a, KnownPredicateName (Xor l r)) => Refine (Xor l r :: Type) a Source #
Instance details Defined in Rerefined.Predicate.Logical.Xor Methods validate :: Proxy# (Xor l r) -> a -> Maybe RefineFailure Source #
type PredicateName d (Xor l r :: Type) Source #
Instance details Defined in Rerefined.Predicate.Logical.Xor type PredicateName d (Xor l r :: Type) = PredicateNameBOp " \8853 " 4 d l r