core/algebra.lattice/HeytingGenBoolOverlap

HeytingGenBoolOverlap

trait HeytingGenBoolOverlap[H <: ([A] =>> Heyting[A])]
class Object
trait Matchable
class Any
object Heyting

Value members

Concrete methods

def and[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A
def or[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A
def xor[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A