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]): fromBubble[T, V]

Attributes

Inherited from:
TCLP
given fromOPEN[T <: DFTypeAny]: fromOPEN[T]

Attributes

Inherited from:
TCLP
given sameValAndTokenType[T <: DFTypeAny, V <: T <> TOKEN]: sameValAndTokenType[T, V]

Attributes

Inherited from:
TCLP
given sameValType[T <: DFTypeAny, V <: DFValOf[T]]: sameValType[T, V]

Attributes

Inherited from:
TCLP

Exports

Defined exports

export DFBitsFromSEV[LW <: Int, T <: BitOrBool, V <: SameElementsVector[T]]
Exported from TC
export DFBoolOrBitFromCandidate[T <: DFBoolOrBit, R](using x$1: Candidate[R])
Exported from TC
export DFEnumFromEntry[E <: DFEncoding, RE <: E]
Exported from TC
export DFOpaqueValFromDFOpaqueVal[TFE <: Abstract, RT <: Abstract, V <: DFValOf[DFOpaque[RT]]](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, V <: DFValOf[DFStruct[RF]]](using 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]])
Exported from TC
export DFVectorValFromDFValVector[T <: DFTypeAny, D1 <: Int, E, R <: Iterable[E]](using tc: TC[T, E])
Exported from TC
export DFVectorValFromDFVectorVal[T <: DFTypeAny, D1 <: Int, RD1 <: Int, R <: DFValOf[DFVector[T, (RD1)]]](using check: Check[D1, RD1])
Exported from TC
export DFVectorValFromSEV[T <: DFTypeAny, D1 <: Int, E, R <: SameElementsVector[E]](using tc: TC[T, E])
Exported from TC
Generated with