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

TC

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

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

Attributes

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

Attributes

Inherited from:
TCLP
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 <: Int, E, R <: Iterable[E], TCE <: TC[T, E]](using tc: TCE)
Exported from TC
export DFVectorValFromDFVectorVal[T <: DFTypeAny, D1 <: Int, RD1 <: Int, RP, R <: DFValTP[DFVector[T, Tuple1[RD1]], RP]](using check: Check[D1, RD1])
Exported from TC
export DFVectorValFromSEV[T <: DFTypeAny, D1 <: Int, E, R <: SameElementsVector[E], TCE <: TC[T, E]](using tc: TCE)
Exported from TC
Generated with