ShortIsBitString

Value members

Concrete methods

def and(a: Short, b: Short): Short
def bitCount(n: Short): Int
def leftShift(n: Short, i: Int): Short
def one: Short
def or(a: Short, b: Short): Short
def rightShift(n: Short, i: Int): Short
def rotateLeft(n: Short, i: Int): Short
def rotateRight(n: Short, i: Int): Short
def width: Int
override def xor(a: Short, b: Short): Short
Definition Classes
def zero: Short

Inherited methods

override def asBoolRing: BoolRing[Short]

Every Boolean algebra is a BoolRing, with multiplication defined as and and addition defined as xor. Bool does not extend BoolRing because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to refer to different structures, by default.

Every Boolean algebra is a BoolRing, with multiplication defined as and and addition defined as xor. Bool does not extend BoolRing because, e.g. we might want a Bool[Int] and CommutativeRing[Int] to refer to different structures, by default.

Note that the ring returned by this method is not an extension of the Rig returned from BoundedDistributiveLattice.asCommutativeRig.

Definition Classes
Inherited from:
Bool
override def dual: Bool[Short]
Definition Classes
Inherited from:
Bool
def imp(a: Short, b: Short): Short
Inherited from:
Bool
def isOne(a: Short)(implicit ev: Eq[Short]): Boolean
Inherited from:
BoundedMeetSemilattice
def isZero(a: Short)(implicit ev: Eq[Short]): Boolean
Inherited from:
BoundedJoinSemilattice
override def join(a: Short, b: Short): Short
Definition Classes
Inherited from:
GenBool
Inherited from:
JoinSemilattice
override def meet(a: Short, b: Short): Short
Definition Classes
Inherited from:
GenBool
Inherited from:
MeetSemilattice
def nand(a: Short, b: Short): Short
Inherited from:
Heyting
def nor(a: Short, b: Short): Short
Inherited from:
Heyting
def nxor(a: Short, b: Short): Short
Inherited from:
Heyting
def without(a: Short, b: Short): Short
Inherited from:
Bool