dfhdl-core
API
Generated with
dfhdl-core/dfhdl/dfhdl.core/DFVal

DFVal

dfhdl.core.DFVal$
See theDFVal companion trait
object DFVal

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
DFVal.type

Members list

Type members

Classlikes

object Alias

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Alias.type
object Compare extends CompareLP

Attributes

Companion
trait
Supertypes
trait CompareLP
class Object
trait Matchable
class Any
Self type
Compare.type
trait Compare[T <: DFTypeAny, V, Op <: Op, C <: Boolean] extends TCConv[T, V, DFValAny]

Attributes

Companion
object
Supertypes
trait TCConv[T, V, DFValAny]
class Object
trait Matchable
class Any
trait CompareLP

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Compare.type
object Const

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Const.type
trait DFDomainOnly

Attributes

Supertypes
class Object
trait Matchable
class Any
object Dcl

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Dcl.type
case object ExtendTag extends DFTagOf[DFVal]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait DFTagOf[DFVal]
trait DFTag
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
ExtendTag.type
final class Final[+T <: DFTypeAny, +M <: ModifierAny](val irValue: DFVal | DFError) extends AnyVal, DFVal[T, M]

Attributes

Supertypes
trait DFVal[T, M]
trait Selectable
trait DFMember[DFVal]
class AnyVal
trait Matchable
class Any
Show all
object Func

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Func.type
trait InitCheck[I]

Attributes

Supertypes
class Object
trait Matchable
class Any
object Open

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Open.type
object Ops

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Ops.type
object OrTupleOrStruct

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
trait PrevInitCheck[I]

Attributes

Supertypes
class Object
trait Matchable
class Any
trait RTDomainOnly

Attributes

Supertypes
class Object
trait Matchable
class Any
trait RegInitCheck[I]

Attributes

Supertypes
class Object
trait Matchable
class Any
object TC extends TCLP

Attributes

Companion
trait
Supertypes
trait TCLP
class Object
trait Matchable
class Any
Self type
TC.type
trait TC[T <: DFTypeAny, R] extends TCConv[T, R, DFValAny]

Attributes

Companion
object
Supertypes
trait TCConv[T, R, DFValAny]
class Object
trait Matchable
class Any
trait TCLP

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TC.type
case object TruncateTag extends DFTagOf[DFVal]

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
trait DFTagOf[DFVal]
trait DFTag
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type

Types

type ExtendTag = ExtendTag.type
type TruncateTag = TruncateTag.type

Value members

Concrete methods

def apply[T <: DFTypeAny, M <: ModifierAny](irValue: DFVal | DFError): DFVal[T, M]
def equalityMacro[T <: DFTypeAny, R, Op <: Op](dfVal: Expr[DFValOf[T]], arg: Expr[R])(using Quotes, Type[T], Type[R], Type[Op]): Expr[DFValOf[DFBool]]
inline def unapply(arg: DFValAny): Option[DFVal]

Givens

Givens

given DFOpaqueValConversion[T <: Abstract, R <: Abstract](using DFC, R <:< T): Conversion[DFValOf[DFOpaque[R]], DFValOf[DFOpaque[T]]]
given `__refined_dfVal`[T <: FieldsOrTuple, A, I](using r: Refiner[T, A, I]): Conversion[DFVal[DFStruct[T], Modifier[A, Any, I]], Out]
given given_CanEqual_Boolean_DFVal[T <: DFTypeAny, M <: ModifierAny]: CanEqual[Boolean, DFVal[T, M]]
given given_CanEqual_Int_DFVal[T <: DFTypeAny, M <: ModifierAny]: CanEqual[Int, DFVal[T, M]]
given given_CanEqual_Tuple_DFVal[T <: DFTypeAny, M <: ModifierAny]: CanEqual[Tuple, DFVal[T, M]]
given given_DFDomainOnly(using domain: Domain)(using x$2: AssertGiven[domain.type <:< DF, "This construct is only available in a dataflow domain."]): given_DFDomainOnly
given given_InitCheck_I[I](using initializableOnly: AssertGiven[I =:= Initializable, "Can only initialize a DFHDL port or variable that are not already initialized."]): given_InitCheck_I[I]
given given_PrevInitCheck_I[I](using x$1: AssertGiven[I =:= Initialized, "Value must be an initialized declaration or `.prev` must have an initialization argument.\nE.g.: `x.prev(step, init)`.\nIt\'s possible to apply a bubble initialization with `init = ?`"]): given_PrevInitCheck_I[I]
given given_RTDomainOnly(using domain: Domain)(using x$2: AssertGiven[domain.type <:< RT, "This construct is only available in a register-transfer domain."]): given_RTDomainOnly
given given_RegInitCheck_I[I](using x$1: AssertGiven[I =:= Initialized, "Value must be an initialized declaration or `.reg` must have an initialization argument.\nE.g.: `x.reg(step, init)`.\nIt\'s possible to apply an unknown initialization with `init = ?`"]): given_RegInitCheck_I[I]

Inherited givens

given DFBitValConversion[R <: BitOrBool](using tc: TC[DFBit, R], dfc: DFC): Conversion[R, DFBit <> VAL]

Attributes

Inherited from:
DFValLP (hidden)
given DFBoolValConversion[R <: BitOrBool](using tc: TC[DFBool, R], dfc: DFC): Conversion[R, DFBool <> VAL]

Attributes

Inherited from:
DFValLP (hidden)
given DFUnitValConversion[R <: DFValAny | Unit | NonEmptyTuple | Bubble](using dfc: DFC): Conversion[R, Unit <> VAL]

Attributes

Inherited from:
DFValLP (hidden)

Extensions

Extensions

extension [T <: DFTypeAny, M <: ModifierAny](dfVal: DFVal[T, M])(dfVal: DFVal[T, M])
def anonymize(using dfc: DFC): DFVal[T, M]
def hasTag[CT <: DFTag : ClassTag](implicit evidence$3: ClassTag[CT], dfc: DFC): Boolean
infix def setName(name: String)(using dfc: DFC): DFVal[T, M]
infix def tag[CT <: DFTag : ClassTag](customTag: CT)(implicit evidence$1: ClassTag[CT], dfc: DFC): DFVal[T, M]
infix def tag[CT <: DFTag : ClassTag](condCustomTag: Conditional[CT])(implicit evidence$2: ClassTag[CT], dfc: DFC): DFVal[T, M]
extension [T <: DFTypeAny, A, C, I, R](dfVal: DFVal[T, Modifier[A, C, I]])(dfVal: DFVal[T, Modifier[A, C, I]])
infix def init(tokenValues: Value[T]*)(using DFC, InitCheck[I]): DFVal[T, Modifier[A, C, Initialized]]
extension [T <: NonEmptyTuple, A, C, I](dfVal: DFVal[DFTuple[T], Modifier[A, C, I]])(dfVal: DFVal[DFTuple[T], Modifier[A, C, I]])
infix def init(tokenValues: TupleValues[T])(using DFC, InitCheck[I]): DFVal[DFTuple[T], Modifier[A, C, Initialized]]

Implicits

Implicits

implicit def BooleanHack(from: DFValOf[DFBoolOrBit])(using DFC): Boolean

Inherited implicits

implicit transparent inline def DFBitsValConversion[W <: Int, R <: DFValAny | DFTokenAny | SameElementsVector[_] | NonEmptyTuple | Bubble](inline from: R): DFValOf[DFBits[W]]

Attributes

Inherited from:
DFValLP (hidden)
implicit transparent inline def DFOpaqueValConversion[TFE <: Abstract, R <: DFValAny | DFTokenAny | Bubble](inline from: R): DFValOf[DFOpaque[TFE]]

Attributes

Inherited from:
DFValLP (hidden)
implicit transparent inline def DFStructValConversion[F <: Fields, R <: DFValAny | DFTokenAny | Fields | Bubble](inline from: R): DFValOf[DFStruct[F]]

Attributes

Inherited from:
DFValLP (hidden)
implicit transparent inline def DFTupleValConversion[T <: NonEmptyTuple, R <: DFValAny | DFTokenAny | NonEmptyTuple | Bubble](inline from: R): DFValOf[DFTuple[T]]

Attributes

Inherited from:
DFValLP (hidden)
implicit transparent inline def DFXIntValConversion[S <: Boolean, W <: Int, R <: DFValAny | DFTokenAny | Int | Bubble](inline from: R): DFValOf[DFXInt[S, W]]

Attributes

Inherited from:
DFValLP (hidden)
Generated with