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

Ops

dfhdl.core.DFBits$package.DFBits.Val.Ops
object Ops

Attributes

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

Members list

Givens

Givens

given evOpApplyDFBits[W <: IntP, A, C, I, P, L <: DFVal[DFBits[W], Modifier[A, C, I, P]], R](using ub: UBArg[W, R]): ExactOp2Aux["apply", DFC, DFValAny, L, R, DFVal[DFBit, Modifier[A, Any, Any, P]]]
given evOpApplyRangeDFBits[W <: IntP, A, C, I, P, L <: DFVal[DFBits[W], Modifier[A, C, I, P]], HI <: IntP, LO <: IntP](using checkHigh: CheckNUB[HI, W], checkLow: CheckNUB[LO, W], checkHiLo: CheckNUB[HI, LO]): ExactOp3Aux["apply", DFC, DFValAny, L, HI, LO, DFVal[DFBits[(HI - LO) + 1], Modifier[A, Any, Any, P]]]
given evOpAsDFBits[W <: IntP, A, C, I, P, L <: DFVal[DFBits[W], Modifier[A, C, I, P]], AT <: Supported, OT <: DFTypeAny, OW <: IntP](using tc: Aux[AT, OT], aW: Aux[OT, OW])(using check: CheckNUB[OW, W]): ExactOp2Aux["as", DFC, DFValAny, L, AT, DFValTP[OT, P]]

Extensions

Extensions

extension [W <: IntP, P](lhs: DFValTP[DFBits[W], P])
def truncate(using DFCG): DFValTP[DFBits[Int], P]
extension [W0 <: IntP, L <: DFValOf[DFBits[W0]] | DFValOf[DFUInt[W0]], LW <: IntP, LP](lhs: L)(using icL: Candidate[L])
def &[R](rhs: Exact)(using dfc: DFCG, check: CheckNUB[icL.OutW, rhs.tc.OutW]): DFValTP[DFBits[icL.OutW], icL.OutP | rhs.tc.OutP]
def ^[R](rhs: Exact)(using dfc: DFCG, check: CheckNUB[icL.OutW, rhs.tc.OutW]): DFValTP[DFBits[icL.OutW], icL.OutP | rhs.tc.OutP]
def reduce&(using dfc: DFCG): DFValTP[DFBit, icL.OutP]
def reduce^(using dfc: DFCG): DFValTP[DFBit, icL.OutP]
def reduce|(using dfc: DFCG): DFValTP[DFBit, icL.OutP]
def |[R](rhs: Exact)(using dfc: DFCG, check: CheckNUB[icL.OutW, rhs.tc.OutW]): DFValTP[DFBits[icL.OutW], icL.OutP | rhs.tc.OutP]
extension [L <: DFValAny, LW <: IntP, LP](lhs: L)(using icL: Aux[L, LW, LP])
def ++[R](rhs: Exact)(using dfc: DFCG): DFValTP[DFBits[icL.OutW + rhs.tc.OutW], icL.OutP | rhs.tc.OutP]
def extend(using DFCG): DFValTP[DFBits[Int], icL.OutP]
def repeat[N <: IntP](num: IntParam[N])(using dfc: DFCG, check: CheckNUB[N]): DFValTP[DFBits[icL.OutW * N], icL.OutP | CONST]
def resize[RW <: IntP](updatedWidth: IntParam[RW])(using check: CheckNUB[RW], dfc: DFCG): DFValTP[DFBits[RW], icL.OutP]
extension [W <: IntP, A, C, I, P](lhs: DFVal[DFBits[W], Modifier[A, C, I, P]])
def <<(shift: Exact[W])(using dfc: DFCG): DFValTP[DFBits[W], P | shift.tc.OutP]
def >>(shift: Exact[W])(using dfc: DFCG): DFValTP[DFBits[W], P | shift.tc.OutP]
def lsbit(using DFCG): DFVal[DFBit, Modifier[A, Any, Any, P]]
def lsbits[RW <: IntP](updatedWidth: IntParam[RW])(using check: CheckNUB[W, RW], dfc: DFCG): DFValTP[DFBits[RW], P]
def msbit(using DFCG): DFVal[DFBit, Modifier[A, Any, Any, P]]
def msbits[RW <: IntP](updatedWidth: IntParam[RW])(using check: CheckNUB[W, RW], dfc: DFCG): DFValTP[DFBits[RW], P]
def sint(using DFCG): DFValTP[DFSInt[W], P]
def uint(using DFCG): DFValTP[DFUInt[W], P]
def unary_~(using DFCG): DFValTP[DFBits[W], P]
extension [L](lhs: L)
def &[RW <: IntP, RP](rhs: DFValTP[DFBits[RW], RP])(using es: Summon[L, lhs.type])(using dfc: DFCG, c: Candidate[es.Out])(using check: CheckNUB[c.OutW, RW]): DFValTP[DFBits[RW], c.OutP | RP]
def ++[RW <: IntP, RP](rhs: DFValTP[DFBits[RW], RP])(using es: Summon[L, lhs.type])(using dfc: DFCG, c: Candidate[es.Out]): DFValTP[DFBits[c.OutW + RW], c.OutP | RP]
def ^[RW <: IntP, RP](rhs: DFValTP[DFBits[RW], RP])(using es: Summon[L, lhs.type])(using dfc: DFCG, c: Candidate[es.Out])(using check: CheckNUB[c.OutW, RW]): DFValTP[DFBits[RW], c.OutP | RP]
def |[RW <: IntP, RP](rhs: DFValTP[DFBits[RW], RP])(using es: Summon[L, lhs.type])(using dfc: DFCG, c: Candidate[es.Out])(using check: CheckNUB[c.OutW, RW]): DFValTP[DFBits[RW], c.OutP | RP]
Generated with