Ops

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

Attributes

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

Members list

Extensions

Extensions

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