core/spire.syntax/HeytingOps

HeytingOps

final
class HeytingOps[A](lhs: A)(using ev: Heyting[A])
class Object
trait Matchable
class Any

Value members

Concrete methods

def &(rhs: A): A
def &(rhs: Int)(using ev1: Ring[A]): A
def imp(rhs: A): A
def unary_~: A
def |(rhs: A): A
def |(rhs: Int)(using ev1: Ring[A]): A