dfhdl-core
API
Generated with
dfhdl-core/dfhdl/dfhdl.core/DFXInt/Val/Ops

Ops

dfhdl.core.DFDecimal$package$.DFXInt$.Val$.Ops$
object Ops

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Ops.type

Members list

Extensions

Extensions

extension [L <: DFValAny](lhs: L)(lhs: L)(using icL: Candidate[L])
def <[R](rhs: Exact[R])(using dfc: DFC, op: Compare[DFXInt[OutS, OutW], R, Op, false]): DFValOf[DFBool]
def <=[R](rhs: Exact[R])(using dfc: DFC, op: Compare[DFXInt[OutS, OutW], R, Op, false]): DFValOf[DFBool]
def >[R](rhs: Exact[R])(using dfc: DFC, op: Compare[DFXInt[OutS, OutW], R, Op, false]): DFValOf[DFBool]
def >=[R](rhs: Exact[R])(using dfc: DFC, op: Compare[DFXInt[OutS, OutW], R, Op, false]): DFValOf[DFBool]
extension [S <: Boolean, W <: Int](lhs: DFValOf[DFXInt[S, W]])(lhs: DFValOf[DFXInt[S, W]])
def <<[R](shift: Exact[R])(using c: UBArg[W, R], dfc: DFC): DFValOf[DFXInt[S, W]]
def >>[R](shift: Exact[R])(using c: UBArg[W, R], dfc: DFC): DFValOf[DFXInt[S, W]]
def resize[RW <: Int](updatedWidth: Inlined[RW])(using dfc: DFC, check: Check[S, RW]): DFValOf[DFXInt[S, RW]]
def truncate(using DFC): DFValOf[DFXInt[S, Int]]
extension [L](lhs: L)(lhs: L)
def <[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using es: Summon[L, L])(using dfc: DFC, op: Compare[DFXInt[RS, RW], Out, Op, true]): DFValOf[DFBool]
def <=[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using es: Summon[L, L])(using dfc: DFC, op: Compare[DFXInt[RS, RW], Out, Op, true]): DFValOf[DFBool]
def >[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using es: Summon[L, L])(using dfc: DFC, op: Compare[DFXInt[RS, RW], Out, Op, true]): DFValOf[DFBool]
def >=[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using es: Summon[L, L])(using dfc: DFC, op: Compare[DFXInt[RS, RW], Out, Op, true]): DFValOf[DFBool]
extension [L <: DFValAny](lhs: L)(lhs: L)(using icL: Candidate[L])
def %[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: ArithCheck[OutS, OutW, OutS, OutW, IsScalaInt, false]): DFValOf[DFXInt[OutS, OutW]]
def *[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: ArithCheck[OutS, OutW, OutS, OutW, IsScalaInt, false]): DFValOf[DFXInt[OutS, OutW]]
def *^[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: SignCheck[OutS, OutS, IsScalaInt, false]): DFValOf[DFXInt[OutS, OutW + OutW]]
def +[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: ArithCheck[OutS, OutW, OutS, OutW, IsScalaInt, false]): DFValOf[DFXInt[OutS, OutW]]
def +^[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: SignCheck[OutS, OutS, IsScalaInt, false]): DFValOf[DFXInt[OutS, Max[OutW, OutW] + 1]]
def -[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: ArithCheck[OutS, OutW, OutS, OutW, IsScalaInt, false]): DFValOf[DFXInt[OutS, OutW]]
def -^[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: SignCheck[OutS, OutS, IsScalaInt, false]): DFValOf[DFXInt[OutS, Max[OutW, OutW] + 1]]
def /[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: ArithCheck[OutS, OutW, OutS, OutW, IsScalaInt, false]): DFValOf[DFXInt[OutS, OutW]]
extension [L](lhs: L)(lhs: L)
def %[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: ArithCheck[RS, RW, OutS, OutW, IsScalaInt, true]): DFValOf[DFXInt[OutS, OutW]]
def *[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: ArithCheck[RS, RW, OutS, OutW, IsScalaInt, true]): DFValOf[DFXInt[OutS, OutW]]
def *^[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: SignCheck[RS, OutS, IsScalaInt, true]): DFValOf[DFXInt[OutS, OutW + RW]]
def +[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: ArithCheck[RS, RW, OutS, OutW, IsScalaInt, true]): DFValOf[DFXInt[OutS, OutW]]
def +^[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: SignCheck[RS, OutS, IsScalaInt, true]): DFValOf[DFXInt[OutS, Max[OutW, RW] + 1]]
def -[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: ArithCheck[RS, RW, OutS, OutW, IsScalaInt, true]): DFValOf[DFXInt[OutS, OutW]]
def -^[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: SignCheck[RS, OutS, IsScalaInt, true]): DFValOf[DFXInt[OutS, Max[OutW, RW] + 1]]
def /[RS <: Boolean, RW <: Int](rhs: DFValOf[DFXInt[RS, RW]])(using sL: Summon[L, L])(using icL: Candidate[Out])(using dfc: DFC, check: ArithCheck[RS, RW, OutS, OutW, IsScalaInt, true]): DFValOf[DFXInt[OutS, OutW]]
Generated with