Ops

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

Attributes

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

Members list

Type members

Classlikes

object DFVector

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFVector.type

Givens

Givens

given evOpApplyDFVector[T <: DFTypeAny, D1 <: IntP, M <: ModifierAny, L <: DFVal[DFVector[T, Tuple1[D1]], M], R](using ub: UBArg[D1, R]): ExactOp2Aux["apply", DFC, DFValAny, L, R, DFVal[T, M]]
given evOpApplyRangeDFVector[T <: DFTypeAny, D1 <: IntP, M <: ModifierAny, L <: DFVal[DFVector[T, Tuple1[D1]], M], LO <: IntP, HI <: IntP](using checkLow: CheckNUB[LO, D1], checkHigh: CheckNUB[HI, D1], checkHiLo: CheckNUB[HI, LO]): ExactOp3Aux["apply", DFC, DFValAny, L, LO, HI, DFVal[DFVector[T, Tuple1[(HI - LO) + 1]], M]]

Extensions

Extensions

extension [T <: DFTypeAny, D1 <: IntP, M <: ModifierAny](lhs: DFVal[DFVector[T, Tuple1[D1]], M])
def elements(using DFC): Vector[DFValOf[T]]
def length(using DFC): DFConstInt32
def lengthInt(using DFC): Int
extension (str: String)
def toByteVector(using dfc: DFC): DFConstOf[DFVector[DFBits[8], Tuple1[Int]]]