DFToken

dfhdl.core.DFToken$
See theDFToken companion class
object DFToken

Attributes

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

Members list

Type members

Classlikes

object Compare extends CompareLP

Attributes

Companion
trait
Supertypes
trait CompareLP
trait CompareLPLP
class Object
trait Matchable
class Any
Self type
Compare.type
trait Compare[T <: DFTypeAny, V, Op <: Op, C <: Boolean] extends TCConv[T, V, DFTokenAny]

Attributes

Companion
object
Supertypes
trait TCConv[T, V, DFTokenAny]
class Object
trait Matchable
class Any
trait CompareLP extends CompareLPLP

Attributes

Supertypes
trait CompareLPLP
class Object
trait Matchable
class Any
Known subtypes
object Compare.type
trait CompareLPLP

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait CompareLP
object Compare.type
object Ops

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Ops.type
object TC extends TCLP

Attributes

Companion
trait
Supertypes
trait TCLP
trait TCLPLP
class Object
trait Matchable
class Any
Self type
TC.type
trait TC[T <: DFTypeAny, V] extends TCConv[T, V, DFTokenAny]

Attributes

Companion
object
Supertypes
trait TCConv[T, V, DFTokenAny]
class Object
trait Matchable
class Any
trait TCLP extends TCLPLP

Attributes

Supertypes
trait TCLPLP
class Object
trait Matchable
class Any
Known subtypes
object TC.type
trait TCLPLP

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TCLP
object TC.type
object TupleValues

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait TupleValues[T <: NonEmptyTuple]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Value

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Value.type
trait Value[T <: DFTypeAny]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

def equalityMacro[T <: DFTypeAny, R, Op <: Op](token: Expr[DFToken[T]], arg: Expr[R])(using Quotes, Type[T], Type[R], Type[Op]): Expr[DFToken[DFBool]]

Givens

Givens

given `__refined_token`[T <: FieldsOrTuple](using r: Refiner[T]): Conversion[DFToken[DFStruct[T]], Out]
given given_CanEqual_Boolean_DFToken[T <: DFTypeAny]: CanEqual[Boolean, DFToken[T]]
given given_CanEqual_Int_DFToken[T <: DFTypeAny]: CanEqual[Int, DFToken[T]]
given given_CanEqual_Tuple_DFToken[T <: DFTypeAny]: CanEqual[Tuple, DFToken[T]]

Extensions

Extensions

extension (token: DFTokenAny)(token: DFTokenAny)
def asIR: DFTokenAny
def codeString(using printer: Printer)(using DFC): String
extension [T <: DFType, Data](token: DFToken[DFType[Aux[T, Data], Args]])(token: DFToken[DFType[Aux[T, Data], Args]])
def data: Data

Implicits

Implicits

implicit def fromDFBoolOrBitToken(from: DFToken[DFBoolOrBit]): Boolean
implicit inline def fromTC[T <: DFTypeAny, V](value: V)(using es: Summon[V, value.type])(using dfType: T, tc: TC[T, Out]): DFToken[T]