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
class Object
trait Matchable
class Any
Self type
TC.type

Members list

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](using tokenTC: TC[T, V], dfc: DFC): fromBubble[T, V]

Attributes

Inherited from:
TCLP
given fromOPEN[T <: DFTypeAny](using dfc: DFC): fromOPEN[T]

Attributes

Inherited from:
TCLP
given sameValAndTokenType[T <: DFTypeAny, V <: T <> TOKEN](using x$1: DFC): sameValAndTokenType[T, V]

Attributes

Inherited from:
TCLP
given sameValType[T <: DFTypeAny, V <: T <> VAL](using x$1: DFC): sameValType[T, V]

Attributes

Inherited from:
TCLP

Exports

Defined exports

export DFBitsFromSEV[LW <: Int, T <: BitOrBool, V <: SameElementsVector[T]](using dfc: DFC)
Exported from TC
export DFBoolOrBitFromCandidate[T <: DFBoolOrBit, R](using dfc: DFC, ic: Candidate[R])
Exported from TC
export DFEnumFromEntry[E <: DFEncoding, RE <: E](using dfc: DFC)
Exported from TC
export DFOpaqueValFromDFOpaqueVal[T <: Abstract, RT <: Abstract, V <: DFOpaque[RT] <> VAL](using dfc: DFC, st: RT <:< T)
Exported from TC
export DFStructValFromCC[F <: Fields, RF <: Fields](using dfc: DFC, sf: SameFields[F, RF])
Exported from TC
export DFStructValFromStruct[F <: Fields, RF <: Fields, V <: DFValOf[DFStruct[RF]]](using dfc: DFC, sf: SameFields[F, RF])
Exported from TC
export DFTupleArg[T <: NonEmptyTuple, R <: NonEmptyTuple](using zipper: TCZipper[T, R, DFValAny, [T <: DFTypeAny, R] =>> TC[T, R]], dfc: DFC)
Exported from TC
export DFVectorValFromDFValVector[T <: DFTypeAny, D1 <: Int, E, R <: Iterable[E]](using tc: TC[T, E], dfc: DFC)
Exported from TC
export DFVectorValFromDFVectorVal[T <: DFTypeAny, D1 <: Int, RD1 <: Int, R <: DFVector[T, (RD1)] <> VAL](using dfc: DFC, check: Check[D1, RD1])
Exported from TC
export DFVectorValFromSEV[T <: DFTypeAny, D1 <: Int, E, R <: SameElementsVector[E]](using tc: TC[T, E], dfc: DFC)
Exported from TC
Generated with