TC

dfhdl.core.DFTuple$package.DFTuple.Val.TC
object TC

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
TC.type

Members list

Givens

Givens

given DFTupleFromDFTuple[T <: NonEmptyTuple, RT <: NonEmptyTuple, RP, R <: DFValTP[DFTuple[RT], RP]](using zipper: TCZipper[T, RT, DFValAny, [T <: DFTypeAny, R] =>> TC[T, R]]): DFTupleFromDFTuple[T, RT, RP, R]
given DFTupleFromTuple[T <: NonEmptyTuple, R <: NonEmptyTuple, Z <: TCZipper[T, R, DFValAny, [T <: DFTypeAny, R] =>> TC[T, R]]](using zipper: Z): DFTupleFromTuple[T, R, Z]