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

Exact0

dfhdl.internals.Exact0
See theExact0 companion trait
object Exact0

Attributes

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

Members list

Type members

Classlikes

trait TC[From, Ctx]

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type Aux[Ctx, TC <: (TC), R] = Exact0[Ctx, TC] { type ExactFrom = R; }

Value members

Concrete methods

def apply[From, Ctx, TC <: (TC)](from: From, tc0: TC[From]): Exact0[Ctx, TC] { type ExactFrom = From; type ExactTC = tc0.type; }
def convMacro[From : Type, Ctx : Type, TC <: (TC) : Type](from: Expr[From])(implicit evidence$1: Type[From], evidence$2: Type[Ctx], evidence$3: Type[TC], Quotes): Expr[Exact0[Ctx, TC]]

Implicits

Implicits

implicit transparent inline def conv[From, Ctx, TC <: (TC)](inline from: From): Exact0[Ctx, TC]
implicit inline def toValue[Ctx, TC <: (TC)](exact: Exact0[Ctx, TC]): exact.ExactFrom
Generated with