core/algebra.lattice/HeytingFunctions

HeytingFunctions

trait HeytingFunctions[H <: ([A] =>> Heyting[A])] extends BoundedMeetSemilatticeFunctions[H] with BoundedJoinSemilatticeFunctions[H]
class Object
trait Matchable
class Any
object Bool
object Heyting

Value members

Concrete methods

def complement[@specialized(Int, Long) A](x: A)(ev: H[A]): A
def imp[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A
def nand[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A
def nor[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A
def nxor[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A

Inherited methods

def join[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: H[A]): A
def meet[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: H[A]): A
def one[@specialized(Int, Long, Float, Double) A](ev: H[A]): A
def zero[@specialized(Int, Long, Float, Double) A](ev: H[A]): A