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

DFType

dfhdl.core.DFType
See theDFType companion class
object DFType

Attributes

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

Members list

Type members

Classlikes

object Ops

Attributes

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

Attributes

Companion
trait
Supertypes
trait TCLP
class Object
trait Matchable
class Any
Self type
TC.type
trait TC[T]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait TCLP

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object TC

Types

type FromDFVal[T] = T match { case DFVal[t, _$5] => t }
type FromProduct[T <: Product] = T match { case DFEncoding => DFEnum[T] case NonEmptyTuple => DFTuple[Map[T, JUSTVAL]] case Fields => DFStruct[T] }
type Of[T <: Supported] = T match { case DFTypeAny => T <:! DFTypeAny case Long => DFSInt[64] case Byte => DFBits[8] case Boolean => DFBool case Abstract => DFOpaque[T] case Product => FromProduct[T] case Unit => DFUnit }
type Supported = DFTypeAny | DFEncoding | Abstract | Byte | Int | Long | Boolean | AnyRef | Unit

Value members

Concrete methods

def of[T <: Supported](t: T)(using DFC): Of[T]

Givens

Givens

given given_CanEqual_T_T[T <: DFTypeAny]: CanEqual[T, T]

Extensions

Extensions

extension [T <: DFType, A <: Args](dfType: DFType[T, A])
def asIR: T
def codeString(using printer: Printer)(using DFC): String
extension (dfType: DFType)
def asFE[T <: DFTypeAny]: T
extension (dfType: DFTypeAny)
def asFE[T <: DFTypeAny]: T

Implicits

Implicits

implicit transparent inline def conv[T <: Supported](inline t: T)(implicit dfc: DFC, tc: TC[T]): DFTypeAny

Exports

Defined exports

export apply[T <: DFTypeAny, D <: NonEmptyTuple](using cellType: T, cellDims: ValueOfTuple[D])
Exported from DFVector
export given_DFBit
Exported from DFBoolOrBit
export given_DFBits_W[W <: IntP & Singleton](using dfc: DFC, v: ValueOf[W], check: CheckNUB[W])
Exported from DFBits
export given_DFBool
Exported from DFBoolOrBit
inline export given_DFEnum_E[E <: DFEncoding]
Exported from DFEnum
export given_DFInt32
Exported from DFDecimal
Generated with