dfhdl-internals
API
Generated with
dfhdl-internals/dfhdl.internals/Exact1

Exact1

dfhdl.internals.Exact1
See theExact1 companion trait
object Exact1

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Exact1.type

Members list

Type members

Classlikes

trait TC[Arg1UB, Arg1 <: Arg1UB, FArg1[Arg1 <: Arg1UB], From, Ctx]

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply[Arg1UB, Arg1 <: Arg1UB, FArg1[Arg1 <: Arg1UB], From, Ctx, TC <: ([Arg1 <: Arg1UB, From] =>> TC[Arg1UB, Arg1, FArg1, From, Ctx])](from: From, tc0: TC[Arg1, From]): Exact1[Arg1UB, Arg1, FArg1, Ctx, TC] { type ExactFrom = From; type ExactTC = tc0.type; }
def convMacro[Arg1UB : Type, Arg1 <: Arg1UB : Type, FArg1[Arg1 <: Arg1UB] : Type, From : Type, Ctx : Type, TC <: ([Arg1 <: Arg1UB, From] =>> TC[Arg1UB, Arg1, FArg1, From, Ctx]) : Type](from: Expr[From])(implicit evidence$1: Type[Arg1UB], evidence$2: Type[Arg1], evidence$3: Type[FArg1], evidence$4: Type[From], evidence$5: Type[Ctx], evidence$6: Type[TC], Quotes): Expr[Exact1[Arg1UB, Arg1, FArg1, Ctx, TC]]

Implicits

Implicits

implicit transparent inline def conv[Arg1UB, Arg1 <: Arg1UB, FArg1[Arg1 <: Arg1UB], From, Ctx, TC <: ([Arg1 <: Arg1UB, From] =>> TC[Arg1UB, Arg1, FArg1, From, Ctx])](inline from: From): Exact1[Arg1UB, Arg1, FArg1, Ctx, TC]
Generated with