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

Extensions

Extensions

extension [W <: IntP, P](lhs: DFValTP[DFBits[W], P])
def truncate(using DFC): DFValTP[DFBits[Int], P]
extension [L <: DFValAny](lhs: L)(using icL: Candidate[L])
def &[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: CheckNUB[icL.OutW, icR.OutW]): DFValTP[DFBits[icL.OutW], icL.OutP | icR.OutP]
def ++[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC): DFValTP[DFBits[icL.OutW + icR.OutW], icL.OutP | icR.OutP]
def ^[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: CheckNUB[icL.OutW, icR.OutW]): DFValOf[DFBits[icL.OutW]]
def extend(using DFC): DFValTP[DFBits[Int], icL.OutP]
def repeat[N <: Int](num: IntParam[N])(using dfc: DFC, check: Check[N]): DFValTP[DFBits[icL.OutW * N], icL.OutP | CONST]
def resize[RW <: IntP](updatedWidth: IntParam[RW])(using check: CheckNUB[RW], dfc: DFC): DFValTP[DFBits[RW], icL.OutP]
def |[R](rhs: Exact[R])(using icR: Candidate[R])(using dfc: DFC, check: CheckNUB[icL.OutW, icR.OutW]): DFValOf[DFBits[icL.OutW]]
extension [W <: IntP, A, C, I, P](lhs: DFVal[DFBits[W], Modifier[A, C, I, P]])
def <<[R](shift: Exact[R])(using c: UBArg[W, R], dfc: DFC): DFValOf[DFBits[W]]
def >>[R](shift: Exact[R])(using c: UBArg[W, R], dfc: DFC): DFValOf[DFBits[W]]
def apply[Idx](relIdx: Exact[Idx])(using c: UBArg[W, Idx], dfc: DFC): DFVal[DFBit, Modifier[A, Any, Any, P]]
def apply[H <: Int, L <: Int](relBitHigh: Inlined[H], relBitLow: Inlined[L])(using checkHigh: CheckNUB[H, W], checkLow: CheckNUB[L, W], checkHiLo: Check[H, L], dfc: DFC): DFVal[DFBits[(H - L) + 1], Modifier[A, Any, Any, P]]
def as[AT <: Supported](aliasType: AT)(using tc: TC[AT])(using aW: Width[tc.Type], dfc: DFC)(using check: CheckNUB[aW.Out, W]): DFValTP[tc.Type, P]
def lsbit(using DFC): DFVal[DFBit, Modifier[A, Any, Any, P]]
def lsbits[RW <: Int](updatedWidth: Inlined[RW])(using check: CheckNUB[W, RW], dfc: DFC): DFValTP[DFBits[RW], P]
def msbit(using DFC): DFVal[DFBit, Modifier[A, Any, Any, P]]
def msbits[RW <: Int](updatedWidth: Inlined[RW])(using check: CheckNUB[W, RW], dfc: DFC): DFValTP[DFBits[RW], P]
def sint(using DFC): DFValTP[DFSInt[W], P]
def uint(using DFC): DFValTP[DFUInt[W], P]
def unary_~(using DFC): 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: DFC, 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: DFC, 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: DFC, 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: DFC, c: Candidate[es.Out])(using check: CheckNUB[c.OutW, RW]): DFValTP[DFBits[RW], c.OutP | RP]