dfhdl-core
API
Generated with
dfhdl-core/dfhdl/dfhdl.core

dfhdl.core

package dfhdl.core

Members list

Type members

Classlikes

object Arg

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Arg.type
sealed trait Args

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Args1[T1]
trait Args2[T1, T2]
trait Args3[T1, T2, T3]
trait Args4[T1, T2, T3, T4]
trait NoArgs
sealed trait Args1[T1] extends Args

Attributes

Supertypes
trait Args
class Object
trait Matchable
class Any
sealed trait Args2[T1, T2] extends Args

Attributes

Supertypes
trait Args
class Object
trait Matchable
class Any
sealed trait Args3[T1, T2, T3] extends Args

Attributes

Supertypes
trait Args
class Object
trait Matchable
class Any
sealed trait Args4[T1, T2, T3, T4] extends Args

Attributes

Supertypes
trait Args
class Object
trait Matchable
class Any
final class BoolSelWrapper[SP, OT, OF](val sel: DFValTP[DFBoolOrBit, SP], val onTrue: OT, val onFalse: OF)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object BoolSelWrapper

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
sealed trait Bubble

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Bubble
object Bubble extends Bubble

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
trait Bubble
class Object
trait Matchable
class Any
Show all
Self type
Bubble.type
object ClkCfg

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ClkCfg.type
class Conditional[T](arg: => T, cond: => Boolean)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Conditional

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
object ConnectOps

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
ConnectOps.type
object DFBits

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFBits.type
object DFBoolOrBit

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
final case class DFC(nameOpt: Option[String], position: Position, docOpt: Option[String], annotations: List[HWAnnotation] = ..., mutableDB: MutableDB = ..., refGen: RefGen = ..., tags: DFTags = ..., elaborationOptionsContr: () => ElaborationOptions = ...) extends MetaContext

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
trait MetaContext
class Object
trait Matchable
class Any
Show all
object DFC

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
DFC.type
object DFCG

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFCG.type
object DFConstInt32

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
object DFDecimal

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFDecimal.type
abstract class DFDesign extends DomainContainer[DF], Design

Attributes

Supertypes
trait Design
trait HasClsMetaArgs
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
abstract class DFDomain extends DomainContainer[DF], NoClkRstDomain

Attributes

Supertypes
trait Selectable
trait Selectable
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
sealed abstract class DFEncoding extends Enum

Attributes

Companion
object
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Auto
class Gray
class OneHot
class StartAt[V]
class Default
class Toggle
trait ExplicitWidth[W]
class Manual[W]
Show all
object DFEncoding

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
DFEncoding.type
object DFEnum

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFEnum.type
sealed abstract class DFError(val dfMsg: String) extends Exception

Attributes

Companion
object
Supertypes
class Exception
class Throwable
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
class Basic
class REG_DIN[T]
class Derived
object FakeEnum
object DFError

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
DFError.type
object DFFor

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFFor.type
object DFIf

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFIf.type
object DFMatch

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFMatch.type
trait DFMember[+T <: DFMember]

Attributes

Companion
object
Supertypes
class Any
Known subtypes
class DFNet
class DFOwner[T]
class DFRange[P]
class DFVal[T, M]
object DFMember

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
DFMember.type
final class DFNet(val irValue: DFNet | DFError) extends AnyVal, DFMember[DFNet]

Attributes

Companion
object
Supertypes
trait DFMember[DFNet]
class AnyVal
trait Matchable
class Any
object DFNet

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
DFNet.type
object DFOpaque

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFOpaque.type
final class DFOwner[+T <: DFOwner](val irValue: T | DFError) extends AnyVal, DFMember[T]

Attributes

Companion
object
Supertypes
trait DFMember[T]
class AnyVal
trait Matchable
class Any
object DFOwner

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
DFOwner.type
object DFPhysical

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFPhysical.type
sealed trait DFRET

Attributes

Supertypes
class Object
trait Matchable
class Any
final class DFRange[P](val irValue: DFRange | DFError) extends AnyVal, DFMember[DFRange]

Attributes

Companion
object
Supertypes
trait DFMember[DFRange]
class AnyVal
trait Matchable
class Any
object DFRange

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
DFRange.type
object DFSInt

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFSInt.type
object DFStruct

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFStruct.type
object DFTuple

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFTuple.type
final class DFType[+T <: DFType, +A <: Args](val value: T | DFError) extends AnyVal

Attributes

Companion
object
Supertypes
class AnyVal
trait Matchable
class Any
object DFType

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
DFType.type
object DFUInt

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFUInt.type
object DFUnitVal

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFUnitVal.type
final class DFVal[+T <: DFTypeAny, +M <: ModifierAny](val irValue: DFVal | DFError) extends DFMember[DFVal], Selectable

Attributes

Companion
object
Supertypes
trait Selectable
trait DFMember[DFVal]
class Object
trait Matchable
class Any
object DFVal

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
DFVal.type
object DFVarOps

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFVarOps.type
object DFVector

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFVector.type
object DFWhile

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFWhile.type
object DFXInt

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DFXInt.type
trait Design extends HasClsMetaArgs

Attributes

Companion
object
Supertypes
trait HasClsMetaArgs
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Known subtypes
class MetaDesign[D]
class DFDesign
class EDDesign
class EDBlackBox
class QsysIP
class RTDesign
Show all
object Design

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Design.type
class DesignContext

Attributes

Supertypes
class Object
trait Matchable
class Any
object Domain

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Domain.type
abstract class DomainContainer[D <: DomainType](domainType: D)

Attributes

Supertypes
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Known subtypes
class DFDesign
class DFDomain
class EDDesign
class EDBlackBox
class QsysIP
class EDDomain
class RTDesign
class RTDomain
class RTDomain.this.RelatedDomain
class RTDesign.this.RelatedDomain
Show all
object DomainType

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
DomainType.type
abstract class EDBlackBox(source: Source) extends EDDesign

Attributes

Companion
object
Supertypes
class EDDesign
trait Design
trait HasClsMetaArgs
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Known subtypes
class QsysIP
object EDBlackBox

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
EDBlackBox.type
abstract class EDDesign extends DomainContainer[ED], Design

Attributes

Supertypes
trait Design
trait HasClsMetaArgs
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Known subtypes
class EDBlackBox
class QsysIP
abstract class EDDomain extends DomainContainer[ED], NoClkRstDomain

Attributes

Supertypes
trait Selectable
trait Selectable
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
sealed trait EDRET

Attributes

Supertypes
class Object
trait Matchable
class Any
trait HasDFC

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Resource
trait IO
class Pin
trait ClkResource
trait ResourceDeps
class Bank
trait Package
trait Device
trait Platform
Show all
sealed trait ISCONST[T <: Boolean]

Attributes

Supertypes
class Object
trait Matchable
class Any
object IntP

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
IntP.type
object IntParam

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
IntParam.type
class Logger

Attributes

Supertypes
class Object
trait Matchable
class Any
sealed class Modifier[+A, +C, +I, +P](val value: Modifier)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object IN
object INOUT
object OUT
object VAR
object Modifier

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Modifier.type
final class MutableDB()

Attributes

Supertypes
class Object
trait Matchable
class Any
sealed trait NoArgs extends Args

Attributes

Supertypes
trait Args
class Object
trait Matchable
class Any
trait NoClkRstDomain

Attributes

Supertypes
trait Selectable
trait Selectable
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Known subtypes
class DFDomain
class EDDomain
object Process

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Process.type
final class REG_DIN[T <: DFTypeAny](val irValue: REG_DIN[T]) extends AnyVal

Attributes

Supertypes
class AnyVal
trait Matchable
class Any
abstract class RTDesign(cfg: RTDomainCfg = ...) extends RTDomainContainer, Design

Attributes

Supertypes
trait Design
trait HasClsMetaArgs
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Self type
abstract class RTDomain(cfg: RTDomainCfg = ...) extends RTDomainContainer

Attributes

Supertypes
trait Selectable
trait Selectable
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Known subtypes
class RTDomain.this.RelatedDomain
class RTDesign.this.RelatedDomain
Self type
object RTDomainCfg

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
abstract class RTDomainContainer(cfg: RTDomainCfg) extends DomainContainer[RT]

Attributes

Supertypes
trait ContainerOps
trait HasDFC
trait OnCreateEvents
class Object
trait Matchable
class Any
Show all
Known subtypes
class RTDesign
class RTDomain
class RTDomain.this.RelatedDomain
class RTDesign.this.RelatedDomain
sealed trait RTRET

Attributes

Supertypes
class Object
trait Matchable
class Any
object RstCfg

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
RstCfg.type
final class SameElementsVector[T](val value: T)

A unconstrained-width literal vector of a given bit value

A unconstrained-width literal vector of a given bit value

Attributes

Note

Some vector operations are not possible with this literal. E.g., x ++ all(0) is forbidden because concatenation cannot infer the output width from this operation.

Example 
 val x = DFBits(8) init all(0)
 x := all(1)
Companion
object
Supertypes
class Object
trait Matchable
class Any
object SameElementsVector

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
trait ShowType[T]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ShowType

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
ShowType.type
sealed trait Step

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Step
object Step extends Step

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
trait Step
class Object
trait Matchable
class Any
Show all
Self type
Step.type
object StepBlock

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
StepBlock.type
trait TCCommon[T <: DFTypeAny, V, O] extends TC[DFTypeAny, T, [t <: DFTypeAny] =>> t, V, DFC]

Attributes

Supertypes
trait TC[DFTypeAny, T, [t <: DFTypeAny] =>> t, V, DFC]
class Object
trait Matchable
class Any
Known subtypes
trait Compare[T, V, Op, C]
trait TC[T, R]
trait TCConv[T, R]
object TCDummy
object TDFDouble

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
TDFDouble.type
object TDFString

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
TDFString.type
object TextOut

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
TextOut.type
sealed trait VAL

Attributes

Supertypes
class Object
trait Matchable
class Any
trait VarsTuple[T <: NonEmptyTuple]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object VarsTuple

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
VarsTuple.type
object Wait

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Wait.type
trait Width[T]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Success
object fromDFDouble
object Width extends WidthLP

Attributes

Companion
trait
Supertypes
trait WidthLP
class Object
trait Matchable
class Any
Self type
Width.type
trait WidthLP

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Width
object `r__For_Plugin`

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type

Types

infix type <>[T <: Supported, M] = M match { case DFRET => (DFC, DF) ?=> DFValOf[Of[T]] case RTRET => (DFC, RT) ?=> DFValOf[Of[T]] case EDRET => (DFC, ED) ?=> DFValOf[Of[T]] case VAL => DFValOf[Of[T]] case CONST => DFConstOf[Of[T]] }
type BitNum = 0 | 1
type BitOrBool = BitNum | Boolean
type CONST = ISCONST[true]
type ClkCfg = ClkCfg
type DFBit = DFType[DFBit.type, NoArgs]
type DFBits[W <: IntP] = DFType[DFBits, Args1[W]]
type DFBool = DFType[DFBool.type, NoArgs]
type DFBoolOrBit = DFType[DFBoolOrBit, NoArgs]
opaque type DFCG
type DFConstOf[+T <: DFTypeAny] = DFVal[T, CONST]
type DFDecimal[S <: Boolean, W <: IntP, F <: Int, N <: NativeType] = DFType[DFDecimal, Args4[S, W, F, N]]
type DFEnum[E <: DFEncoding] = DFType[DFEnum, Args1[E]]
type DFFreq = DFPhysical[FreqNumber]
type DFInt32 = DFType[DFDecimal, Args4[true, 32, 0, Int32]]
type DFMemberAny = DFMember[DFMember]
type DFNothing = DFType[DFNothing, NoArgs]
type DFNumber = DFPhysical[LiteralNumber]
type DFOpaque[+TFE <: Abstract] = DFType[DFOpaque, Args1[TFE]]
type DFOwnerAny = DFOwner[DFOwner]
type DFPhysical[U <: PhysicalNumber] = DFType[DFPhysical[U], NoArgs]
type DFSInt[W <: IntP] = DFXInt[true, W, BitAccurate]
type DFStruct[+F <: FieldsOrTuple] = DFType[DFStruct, Args1[F]]
type DFTime = DFPhysical[TimeNumber]
type DFTuple[+T <: NonEmptyTuple] = DFStruct[T]
type DFTypeAny = DFType[DFType, Args]
type DFUInt[W <: IntP] = DFXInt[false, W, BitAccurate]
type DFUnit = DFType[DFUnit, NoArgs]
type DFValOf[+T <: DFTypeAny] = DFVal[T, ModifierAny]
type DFValTP[+T <: DFTypeAny, +P] = DFVal[T, Modifier[Any, Any, Any, P]]
type DFVarOf[+T <: DFTypeAny] = DFVal[T, Mutable]
type DFVector[+T <: DFTypeAny, +D <: NonEmptyTuple] = DFType[DFVector, Args2[T, D]]
type DFXInt[S <: Boolean, W <: IntP, N <: NativeType] = DFDecimal[S, W, 0, N]
opaque type DomainType
type FieldsOrTuple = Fields | NonEmptyTuple | AnyNamedTuple
type IntP = Int | DFConstInt32 | Sig
opaque type IntParam[V <: IntP]
type JUSTVAL[T <: Supported] = T <> VAL
type ModifierAny = Modifier[Any, Any, Any, Any]
type NOTCONST = Any
opaque type RTDomainCfg
type RstCfg = RstCfg
type StepBlock = DFOwner[StepBlock]
type TDFDouble = DFType[DFDouble, NoArgs]
type TDFString = DFType[DFString, NoArgs]
opaque type Wait
infix type X[T <: Supported, M] = DFVector[Of[T], Tuple1[M]]

Value members

Concrete methods

def COMB_LOOP(using dfc: DFC, rt: RT): Unit
def DFValConversionMacro[T <: DFTypeAny, P, R](from: Expr[R])(dfc: Expr[DFCG])(using Quotes, Type[T], Type[P], Type[R]): Expr[DFValTP[T, P]]
transparent inline def dfc(using d: DFC): d.type
def exitWithError(msg: String)(using DFC): Nothing
def trydf[T <: DFTypeAny](block: => T)(using DFC, CTName): T
def trydf[V <: DFValAny](block: => V)(using DFC, CTName): V
def trydf(block: => Unit)(using DFC, CTName): Unit
def trydf[V <: DFOwnerAny](block: => V)(using DFC, CTName): V
def trydfSpecific[T](block: => T)(finale: DFError => T)(using dfc: DFC, ctName: CTName): T

Concrete fields

final val ?: Bubble.type
final lazy val DFBit: DFBit
final lazy val DFBool: DFBool
final val DFDouble: DFDouble
val DFFreq: DFFreq
final val DFInt32: DFInt32
val DFNothing: DFType[DFNothing, NoArgs]
final val DFString: DFString
val DFTime: DFTime
val DFUnit: DFType[DFUnit, NoArgs]

Givens

Givens

given canEqualNothingL: CanEqual[Nothing, Any]
given canEqualNothingR: CanEqual[Any, Nothing]

Extensions

Extensions

extension (dfType: DFType)
def dropUnreachableRefs(allowDesignParamRefs: Boolean)(using dfc: DFC): DFType
def dropUnreachableRefs(using DFC): DFType
extension [V <: DFVal](dfVal: V)
inline def asConstOf[T <: DFTypeAny]: DFConstOf[T]
inline def asDclAny: DFDclAny
inline def asVal[T <: DFTypeAny, M <: ModifierAny]: DFVal[T, M]
inline def asValAny: DFValAny
inline def asValOf[T <: DFTypeAny]: DFValOf[T]
inline def asValTP[T <: DFTypeAny, P]: DFValTP[T, P]
inline def asVarAny: DFVarAny
inline def asVarOf[T <: DFTypeAny]: DFVarOf[T]
extension (dfVal: DFValAny)
inline def asConstOf[T <: DFTypeAny]: DFConstOf[T]
inline def asDclAny: DFDclAny
inline def asVal[T <: DFTypeAny, M <: ModifierAny]: DFVal[T, M]
inline def asValOf[T <: DFTypeAny]: DFValOf[T]
inline def asValTP[T <: DFTypeAny, P]: DFValTP[T, P]
inline def asVarAny: DFVarAny
inline def asVarOf[T <: DFTypeAny]: DFVarOf[T]
extension [T <: DFTypeAny, M <: ModifierAny](dfVal: DFVal[T, M])
def dfType: T
extension [T <: DFTypeAny, M <: ModifierAny](dfVal: DFVal[T, M])
def widthInt(using dfc: DFC, w: Width[T]): Inlined[w.OutI]
def widthIntParam(using dfc: DFC, w: Width[T]): IntParam[w.Out]
extension [T <: DFTypeAny](dfVar: DFValOf[T])
def assign[R <: DFTypeAny](rhs: DFValOf[R])(using DFC): Unit
def nbassign[R <: DFTypeAny](rhs: DFValOf[R])(using DFC): Unit
extension (intParamRef: IntParamRef)
def get(using dfc: DFC): IntParam[Int]
extension (intParamRef: IntParamRef)
def dropUnreachableRef(allowDesignParamRefs: Boolean)(using dfc: DFC): IntParamRef
extension [T <: DFTypeAny](lhs: DFValOf[T])
def connect[R <: DFTypeAny](rhs: DFValOf[R])(using DFC): Unit
extension [M <: DFMember](member: M)
def ref(using DFC): OneWay[M]
def refTW[O <: DFMember](using dfc: DFC): TwoWay[M, O]
def refTW[O <: DFMember](knownReachable: Boolean)(using dfc: DFC): TwoWay[M, O]
extension [M <: DFMember](member: M)
def addMember(using DFC): M
def removeTagOf[CT <: DFTag](using evidence$1: ClassTag[CT], dfc: DFC): M
def replaceMemberWith(updated: M)(using DFC): M
extension [T <: DFOwner](owner: DFOwner[T])
def ref(using DFC): OneWay[T]
extension [T](t: T)(using tc: TC[T])
def dfType(using DFC): tc.Type
extension [T](t: T)(using tc: TC[T])
def widthInt(using dfc: DFC, w: Width[tc.Type]): Inlined[w.OutI]
def widthIntParam(using dfc: DFC, w: Width[tc.Type]): IntParam[w.Out]
extension (using quotes: Quotes)(term: quotes.reflect.Term)
def getNonConstTerm: Option[quotes.reflect.Term]
extension [T](using quotes: Quotes)(tpe: quotes.reflect.TypeRepr)
def showDFType: String
def showDFVal: String
def showModifier: String
def showTuple(showf: quotes.reflect.TypeRepr => String): List[String]
def showType: String
extension (using quotes: Quotes)(tpe: quotes.reflect.TypeRepr)
def isConstTpe: quotes.reflect.TypeRepr
Generated with