prop/nyaya.prop/Negation

Negation

final case class Negation[P[_], A](l: Logic[P, A]) extends Logic[P, A]
trait Serializable
trait Product
trait Equals
class Logic[P, A]
class Object
trait Matchable
class Any

Value members

Inherited methods

@inline
final def &(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
final def <==(a: Logic[P, A]): Logic[P, A]
Inherited from
Logic
final def <==>(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
final def ==>(c: Logic[P, A]): Logic[P, A]
Inherited from
Logic
@inline
final def and(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
final def contramap[B](f: B => A): Logic[P, B]
Inherited from
Logic
final def ifelse(ifPass: Logic[P, A], ifFail: Logic[P, A]): Logic[P, A]
Inherited from
Logic
@inline
final def iff(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
@inline
final def implies(c: Logic[P, A]): Logic[P, A]
Inherited from
Logic
@inline
final def not: Logic[P, A]
Inherited from
Logic
@inline
final def or(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
final def rename(n: => String): Logic[P, A]
Inherited from
Logic
@inline
final def rename_:(name: => String): Logic[P, A]
Inherited from
Logic
final def run(x: P[A] => Eval)(F: Contravariant[P]): Eval
Inherited from
Logic
@inline
final def subst[B <: A]: Logic[P, B]
Inherited from
Logic
final def unary_~: Logic[P, A]
Inherited from
Logic
@inline
final def |(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
@inline
final def ⇐(a: Logic[P, A]): Logic[P, A]
Inherited from
Logic
@inline
final def ⇔(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
final def ∧(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic
final def ∨(q: Logic[P, A]): Logic[P, A]
Inherited from
Logic