TC

dfhdl.core.DFToken$.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

Givens

Givens

given DFTokenFromBubble[T <: DFTypeAny, V <: Bubble]: TC[T, V]

Inherited givens

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

Attributes

Inherited from:
TCLPLP
inline given sameTokenType[T <: DFTypeAny, V <: T <> TOKEN]: sameTokenType[T, V]

Attributes

Inherited from:
TCLPLP

Exports

Defined exports

export DFBitsTokenFromSEV[W <: Int, T <: BitOrBool, V <: SameElementsVector[T]]
Exported from TC
export DFBoolTokenFromCandidate[T <: DFBoolOrBit, R](using ic: Candidate[R])
Exported from TC
export DFEnumTokenFromEntry[E <: DFEncoding, RE <: E]
Exported from TC
export DFOpaqueTokenFromDFOpaqueToken[T <: Abstract, RT <: Abstract, V <: DFOpaque[RT] <> TOKEN](using dfc: DFC, st: RT <:< T)
Exported from TC
export DFStructTokenFromCC[F <: Fields, RF <: Fields](using sf: SameFields[F, RF])
Exported from TC
export DFStructTokenFromStruct[F <: Fields, RF <: Fields, V <: Token[RF]](using sf: SameFields[F, RF])
Exported from TC
export DFTupleTokenFromTuple[T <: NonEmptyTuple, V <: NonEmptyTuple](using zipper: TCZipper[T, V, DFTokenAny, [T <: DFTypeAny, V] =>> TC[T, V]])
Exported from TC
export DFVectorTokenFromSEV[T <: DFTypeAny, D1 <: Int, E, R <: SameElementsVector[E]](using tc: TC[T, E])
Exported from TC
export DFVectorTokenFromVector[T <: DFTypeAny, D1 <: Int, E, R <: Iterable[E]](using tc: TC[T, E])
Exported from TC