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

TC

dfhdl.core.DFVal.TC
See theTC companion trait
object TC extends TCLP

Attributes

Companion
trait
Graph
Supertypes
trait TCLP
trait TCLPLP
class Object
trait Matchable
class Any
Self type
TC.type

Members list

Type members

Types

type Aux[T <: DFTypeAny, R, OutP0] = TC[T, R] { type OutP = OutP0; }
type Exact[T <: DFTypeAny] = Exact1[DFTypeAny, T, [t <: DFTypeAny] =>> t, DFC, [T <: DFTypeAny, R] =>> TC[T, R]]

Givens

Inherited givens

transparent inline given errorDMZ[T <: DFTypeAny, R](using t: ShowType[T], r: ShowType[R]): TC[T, R]

Attributes

Inherited from:
TCLP
given fromBubble[T <: DFTypeAny, V <: Bubble]: fromBubble[T, V]

Attributes

Inherited from:
TCLP
given fromNOTHING[T <: DFTypeAny](using dt: DomainType)(using x$2: AssertGiven[(dt.type <:< DF) | (T <:< DFBit) | (T <:< DFType[DFBits, Args]), "`NOTHING` can only be assigned to either `Bits` or `Bit` DFHDL values outside of a dataflow (DF) domain."]): fromNOTHING[T]

Attributes

Inherited from:
TCLP
transparent inline given fromOPEN[T <: DFTypeAny]: TC[T, OPEN]

Attributes

Inherited from:
TCLPLP
given sameValType[T <: DFTypeAny, P, V <: DFValTP[T, P]]: sameValType[T, P, V]

Attributes

Inherited from:
TCLP

Exports

Defined exports

export DFBitsFromSEV[LW <: IntP, T <: BitOrBool, V <: SameElementsVector[T]]
Exported from TC
export DFBoolOrBitFromCandidate[T <: DFBoolOrBit, R, IC <: Candidate[R]](using ic: IC)
Exported from TC
export DFEnumFromEntry[E <: DFEncoding, RE <: E]
Exported from TC
export DFOpaqueValFromDFOpaqueVal[TFE <: Abstract, RT <: Abstract, RP, V <: DFValTP[DFOpaque[RT], RP]](using x$1: RT <:< TFE)
Exported from TC
export DFStructValFromCC[F <: Fields, RF <: Fields](using sf: SameFields[F, RF])
Exported from TC
export DFStructValFromStruct[F <: Fields, RF <: Fields, RP, V <: DFValTP[DFStruct[RF], RP]](using sf: SameFields[F, RF])
Exported from TC
export DFTupleFromDFTuple[T <: NonEmptyTuple, RT <: NonEmptyTuple, RP, R <: DFValTP[DFTuple[RT], RP]](using zipper: TCZipper[T, RT, DFValAny, [T <: DFTypeAny, R] =>> TC[T, R]])
Exported from TC
export DFTupleFromTuple[T <: NonEmptyTuple, R <: NonEmptyTuple, Z <: TCZipper[T, R, DFValAny, [T <: DFTypeAny, R] =>> TC[T, R]]](using zipper: Z)
Exported from TC
export DFVectorValFromDFValVector[T <: DFTypeAny, D1 <: IntP, E, R <: Iterable[E], TCE <: TC[T, E]](using tc: TCE)
Exported from TC
export DFVectorValFromDFVectorVal[T <: DFTypeAny, D1 <: IntP, RD1 <: IntP, RP, R <: DFValTP[DFVector[T, Tuple1[RD1]], RP]](using check: CheckNUB[D1, RD1])
Exported from TC
export DFVectorValFromSEV[T <: DFTypeAny, D1 <: IntP, E, R <: SameElementsVector[E], TCE <: TC[T, E]](using tc: TCE)
Exported from TC
Generated with