Exact1

dfhdl.internals.Exact1
See theExact1 companion object
trait Exact1[Arg1UB, Arg1 <: Arg1UB, FArg1[Arg1 <: Arg1UB], Ctx, TC <: ([Arg1 <: Arg1UB, From] =>> TC[Arg1UB, Arg1, FArg1, From, Ctx])]()

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type ExactFrom
type ExactTC <: TC[Arg1, ExactFrom]

Value members

Abstract methods

def apply(arg1: FArg1[Arg1])(using ctx: Ctx): tc.Out

Abstract fields

val tc: ExactTC