rerefined-0.6.0: Refinement types, again

Safe Haskell	None
Language	GHC2021

Rerefined.Predicate.Logical.Or

Synopsis

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

Documentation

data Or (l :: k) (r :: k1) 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
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp GTE = ">="

Methods

reifyRelOp :: Ord a => a -> a -> Bool Source #

ReifyRelOp LTE Source #

Instance details

Defined in Rerefined.Predicate.Relational.Internal

Associated Types

type ShowRelOp LTE
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp LTE = "<="

Methods

reifyRelOp :: Ord a => a -> a -> Bool Source #

ReifyRelOp NEQ Source #

Instance details

Defined in Rerefined.Predicate.Relational.Internal

Associated Types

type ShowRelOp NEQ
Instance details Defined in Rerefined.Predicate.Relational.Internal type ShowRelOp NEQ = "/="

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

ReifyRelOp (Or 'EQ 'GT) Source #

Instance details

Defined in Rerefined.Predicate.Relational.Internal

Associated Types

type ShowRelOp (Or 'EQ 'GT)	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

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)	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

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)	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

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