Ops

dfhdl.core.DFVal$.Ops$
object Ops

Attributes

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

Members list

Extensions

Extensions

extension [T <: DFTypeAny, A, C, I, S <: Int, V](dfVal: DFVal[T, Modifier[A, C, I]])(dfVal: DFVal[T, Modifier[A, C, I]])
def pipe(step: Inlined[S])(using dfOnly: DFDomainOnly, dfc: DFC, check: Check[S]): DFValOf[T]
inline def pipe(using DFC, DFDomainOnly): DFValOf[T]
def prev(step: Inlined[S], init: Exact[V])(using dfc: DFC, tokenTC: TC[T, V], check: Check[S]): DFValOf[T]
def prev(step: Inlined[S])(using dfc: DFC, prevCheck: PrevCheck[I], check: Check[S]): DFValOf[T]
inline def prev(using PrevCheck[I], DFC): DFValOf[T]
def reg(step: Inlined[S])(using dfc: DFC, rtOnly: RTDomainOnly, check: Check[S]): DFValOf[T]
def reg(step: Inlined[S])(domainCfg: RTDomainCfg)(using dfc: DFC, rtOnly: RTDomainOnly, check: Check[S]): DFValOf[T]
def reg(step: Inlined[S], init: Exact[V])(using dfc: DFC, rtOnly: RTDomainOnly, tokenTC: TC[T, V], check: Check[S]): DFValOf[T]
def reg(step: Inlined[S], init: Exact[V])(domainCfg: RTDomainCfg)(using dfc: DFC, rtOnly: RTDomainOnly, tokenTC: TC[T, V], check: Check[S]): DFValOf[T]
inline def reg(using DFC, RTDomainOnly): DFValOf[T]
inline def reg(domainCfg: RTDomainCfg)(using DFC, RTDomainOnly): DFValOf[T]
extension [T <: DFTypeAny, A, C, I](dfVal: DFVal[T, Modifier[A, C, I]])(dfVal: DFVal[T, Modifier[A, C, I]])
def bits(using w: Width[T])(using DFC): DFValOf[DFBits[Out]]
def genNewVar(using DFC): DFVarOf[T]