Ops

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

Attributes

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

Members list

Givens

Givens

given evOpApplyDFTuple[T <: NonEmptyTuple, M <: ModifierAny, L <: DFVal[DFTuple[T], M], I <: Int](using check: Check[I, Size[T]], size: ValueOf[Size[T]]): ExactOp2Aux["apply", DFC, DFValAny, L, I, DFVal[FromDFVal[Elem[T, I]], M]]

Extensions

Extensions

extension [T <: NonEmptyTuple, M <: ModifierAny](dfTupleVal: DFVal[DFTuple[T], M])
transparent inline def asScalaTuple(using dfc: DFC): NonEmptyTuple
def toScalaTuple(using dfc: DFC, size: ValueOf[Size[T]]): T