core/spire.std/ByteIsBitString

ByteIsBitString

@SerialVersionUID(0L)
class ByteIsBitString extends BitString[Byte] with Serializable
trait BitString[Byte]
trait Bool[Byte]
trait GenBool[Byte]
trait Heyting[Byte]
trait BoundedDistributiveLattice[Byte]
trait DistributiveLattice[Byte]
trait BoundedLattice[Byte]
trait BoundedJoinSemilattice[Byte]
trait BoundedMeetSemilattice[Byte]
trait Lattice[Byte]
trait MeetSemilattice[Byte]
trait JoinSemilattice[Byte]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

def and(a: Byte, b: Byte): Byte
def bitCount(n: Byte): Int
def complement(a: Byte): Byte
def highestOneBit(n: Byte): Byte
def leftShift(n: Byte, i: Int): Byte
def lowestOneBit(n: Byte): Byte
def numberOfLeadingZeros(n: Byte): Int
def numberOfTrailingZeros(n: Byte): Int
def one: Byte
def or(a: Byte, b: Byte): Byte
def rightShift(n: Byte, i: Int): Byte
def rotateLeft(n: Byte, i: Int): Byte
def rotateRight(n: Byte, i: Int): Byte
def signed: Boolean
def signedRightShift(n: Byte, i: Int): Byte
def toHexString(n: Byte): String
def width: Int
override
def xor(a: Byte, b: Byte): Byte
Definition Classes
Bool -> GenBool -> Heyting
def zero: Byte

Inherited methods

override
def asBoolRing: BoolRing[Byte]

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
Bool -> GenBool
Inherited from
Bool
def asCommutativeRig: CommutativeRig[Byte]

Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.

Return a CommutativeRig using join and meet. Note this must obey the commutative rig laws since meet(a, one) = a, and meet and join are associative, commutative and distributive.

Inherited from
BoundedDistributiveLattice
override
def dual: Bool[Byte]
Definition Classes
Bool -> BoundedDistributiveLattice -> BoundedLattice -> Lattice
Inherited from
Bool
def imp(a: Byte, b: Byte): Byte
Inherited from
Bool
def isOne(a: Byte)(implicit ev: Eq[Byte]): Boolean
Inherited from
BoundedMeetSemilattice
def isZero(a: Byte)(implicit ev: Eq[Byte]): Boolean
Inherited from
BoundedJoinSemilattice
override
def join(a: Byte, b: Byte): Byte
Definition Classes
GenBool -> JoinSemilattice
Inherited from
GenBool
def joinPartialOrder(implicit ev: Eq[Byte]): PartialOrder[Byte]
Inherited from
JoinSemilattice
override
def joinSemilattice: BoundedSemilattice[Byte]
Definition Classes
BoundedJoinSemilattice -> JoinSemilattice
Inherited from
BoundedJoinSemilattice
override
def meet(a: Byte, b: Byte): Byte
Definition Classes
GenBool -> MeetSemilattice
Inherited from
GenBool
def meetPartialOrder(implicit ev: Eq[Byte]): PartialOrder[Byte]
Inherited from
MeetSemilattice
override
def meetSemilattice: BoundedSemilattice[Byte]
Definition Classes
BoundedMeetSemilattice -> MeetSemilattice
Inherited from
BoundedMeetSemilattice
def nand(a: Byte, b: Byte): Byte
Inherited from
Heyting
def nor(a: Byte, b: Byte): Byte
Inherited from
Heyting
def nxor(a: Byte, b: Byte): Byte
Inherited from
Heyting
def without(a: Byte, b: Byte): Byte
Inherited from
Bool