dfhdl-core
API
Generated with
dfhdl-core/dfhdl/dfhdl.core/DFTuple/Token/Ops

Ops

dfhdl.core.DFTuple$package$.DFTuple$.Token$.Ops$
object Ops

Attributes

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

Members list

Extensions

Extensions

extension [T <: NonEmptyTuple](t: DFToken[DFTuple[T]])(t: DFToken[DFTuple[T]])
def apply[I <: Int](i: Inlined[I])(using check: Check[I, Size[T]], size: ValueOf[Size[T]]): DFToken[FromDFVal[Elem[T, I]]]
Generated with