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

Ops

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

Attributes

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

Members list

Givens

Givens

given evOpAsDFOpaqueComp[L, Comp <: Object, TFE <: Abstract](using cc: Aux[Comp, Abstract, TFE])(using ce: ClassEv[TFE])(using tc: TC[ce.value.ActualType, L]): ExactOp2Aux["as", DFC, DFValAny, L, Comp, DFValTP[DFOpaque[TFE], tc.OutP]]
given evOpAsDFOpaqueIterable[A <: DFTypeAny, P, L <: Iterable[DFValTP[A, P]], T <: DFTypeAny, TFE <: Frontend[T]](using tc: TC[T, DFValTP[DFVector[A, Tuple1[Int]], P]]): ExactOp2Aux["as", DFC, DFValAny, L, TFE, DFValTP[DFOpaque[TFE], tc.OutP]]
given evOpAsDFOpaqueTFE[L, T <: DFTypeAny, TFE <: Frontend[T]](using tc: TC[T, L]): ExactOp2Aux["as", DFC, DFValAny, L, TFE, DFValTP[DFOpaque[TFE], tc.OutP]]
given evOpClkAsClkComp[LTFE <: Clk, L <: DFValOf[DFOpaque[LTFE]], Comp <: Object, TFE <: Clk](using cc: Aux[Comp, Clk, TFE])(using ce: ClassEv[TFE]): ExactOp2Aux["as", DFC, DFValAny, L, Comp, DFValOf[DFOpaque[TFE]]]
given evOpRstAsRstComp[LTFE <: Rst, L <: DFValOf[DFOpaque[LTFE]], Comp <: Object, TFE <: Rst](using cc: Aux[Comp, Rst, TFE])(using ce: ClassEv[TFE]): ExactOp2Aux["as", DFC, DFValAny, L, Comp, DFValOf[DFOpaque[TFE]]]

Extensions

Extensions

extension [AT <: DFTypeAny, TFE <: Frontend[AT], A, P](lhs: DFVal[DFOpaque[TFE], Modifier[A, Any, Any, P]])
def actual(using DFCG): DFVal[AT, Modifier[A, Any, Any, P]]
def mapActual(f: DFValOf[AT] => DFValOf[AT])(using dfc: DFC, ce: ClassEv[TFE]): DFValOf[DFOpaque[TFE]]
def opaqueType(using ce: ClassEv[TFE]): TFE
Generated with