TCConv

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

Attributes

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

Members list

Givens

Givens

given DFTupleFromTuple[T <: NonEmptyTuple, R <: NonEmptyTuple, Z <: TCZipper[T, R, DFValAny, [T <: DFTypeAny, R] =>> TCConv[T, R]]](using zipper: Z): DFTupleFromTuple[T, R, Z]