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

dfhdl.internals

package dfhdl.internals

Members list

Type members

Classlikes

trait AllowTopLevel

Attributes

Supertypes
class Object
trait Matchable
class Any
trait AssertGiven[G, M <: String]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object AssertGiven

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait CTName

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object CTName

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
CTName.type
trait CaseClass[Companion <: AnyRef, UB <: Product]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object CaseClass

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
CaseClass.type
trait Check1[Wide, Cond <: ([T <: Wide] =>> Boolean), Msg <: ([T <: Wide] =>> String)]()

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Check1

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Check1.type
trait Check2[Wide1, Wide2, Cond <: ([T1 <: Wide1, T2 <: Wide2] =>> Boolean), Msg <: ([T1 <: Wide1, T2 <: Wide2] =>> String)]()

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Check2

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Check2.type
trait ClassEv[T]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ClassEv

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
ClassEv.type
object CommonOps

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
CommonOps.type
trait CustomIf

Attributes

Supertypes
class Object
trait Matchable
class Any
object Error

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Error.type
object Exact

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Exact.type
trait Exactly

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Exactly

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Exactly.type
trait HasNamePos

Attributes

Supertypes
class Object
trait Matchable
class Any
trait HasTypeName

Attributes

Supertypes
class Object
trait Matchable
class Any
trait Id[T]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Id

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
Id.type
object Inlined

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Inlined.type
trait IntInfo[V <: Int]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object IntInfo

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
IntInfo.type
trait MetaContext

Attributes

Supertypes
class Object
trait Matchable
class Any
trait OnCreateEvents

Attributes

Supertypes
class Object
trait Matchable
class Any
final case class Position(file: String, lineStart: Int, columnStart: Int, lineEnd: Int, columnEnd: Int)

Attributes

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

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Position.type
trait PrintType[T]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object PrintType

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
PrintType.type
trait SIParts[P <: Tuple](parts: P)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object SIParts

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
SIParts.type
trait TopLevel

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object given_TopLevel.type
object TopLevel

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
TopLevel.type
trait TopLevel2

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object TopLevel2

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
TopLevel2.type
trait UniqueId

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object UniqueId

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
UniqueId.type
trait ValueOfTuple[T <: NonEmptyTuple]

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object ValueOfTuple

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
class dslBoolConv extends StaticAnnotation

Attributes

Supertypes
trait StaticAnnotation
class Annotation
class Object
trait Matchable
class Any
class metaContextDelegate extends StaticAnnotation

Attributes

Supertypes
trait StaticAnnotation
class Annotation
class Object
trait Matchable
class Any

Types

type +[L, R] = (L, R) match { case (Int, Int) => L + R case (String, String) => L + R case (String, Int) => L + ToString[R] case (Int, String) => ToString[L] + R }
type <:![T <: UB, UB] = T match { case UB => T }
type BitVector = BitVector
type Exact[T] = Exactly { type Out = T; }
type ExactTypes = NonEmptyTuple | Int | String | Boolean
type ITE[I <: Boolean, T, E] = I match { case true => T case false => E }
opaque type Inlined[T]
type XBoolean = Boolean & Singleton
type XDouble = Double & Singleton
type XFloat = Float & Singleton
type XInt = Int & Singleton
type XLong = Long & Singleton
type XString = String & Singleton
type ^[L, R] = (L, R) match { case (Int, Int) => L ^ R case (Boolean, Boolean) => L ^ R }

Value members

Concrete methods

def errorExpr(msg: String)(using Quotes): Expr[Nothing]
def requireMacro(cond: Expr[Boolean], msg: Expr[String])(using Quotes): Expr[Unit]
transparent inline def showTree[T](inline arg: T): Unit
def showTreeMacro[T](arg: Expr[T])(using Quotes, Type[T]): Expr[Unit]

Concrete fields

val BitVector: BitVector.type

Givens

Givens

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

Extensions

Extensions

extension (iter: Iterable[BitVector])(iter: Iterable[BitVector])
extension (iter: Iterable[(BitVector, BitVector)])(iter: Iterable[(BitVector, BitVector)])
extension [T](iter: Iterable[T])(iter: Iterable[T])
def emptyOr(f: Iterable[T] => String): String
extension [T](lhs: Iterable[T])(lhs: Iterable[T])
def coalesce(rhs: Iterable[T]): Iterable[T]
def groupByCompare(customEq: (T, T) => Boolean, customHash: T => Int): Iterable[List[T]]
extension (lhs: TypeRepr)(using quotes: Quotes)(lhs: TypeRepr)
def getTupleArgs: List[TypeRepr]
extension [K, V](m: Map[K, V])(m: Map[K, V])
def invert: Map[V, Set[K]]
extension (partsExprs: Seq[Expr[Any]])(using quotes: Quotes)(partsExprs: Seq[Expr[Any]])
def scPartsWithArgs(argsExprs: Seq[Expr[Any]]): Term
extension [P <: Tuple](partsTpl: Expr[P])(using quotes: Quotes, p: Type[P])(partsTpl: Expr[P])
def scPartsWithArgs(args: Expr[Seq[Any]]): Term
extension (sc: Expr[StringContext])(using quotes: Quotes)(sc: Expr[StringContext])
def scPartsWithArgs(args: Expr[Seq[Any]]): Term
extension [T](seq: Iterable[T])(seq: Iterable[T])
def groupByOrdered[P](f: T => P): Seq[(P, Iterable[T])]
extension (str: String)(str: String)
def emptyOr(f: String => String): String
extension [T](t: T)(t: T)
def debugPrint: T
extension [T](t: Iterable[T])(t: Iterable[T])(using CanEqual[T, T])
def allElementsAreEqual: Boolean
def mkStringBrackets: String
extension (term: Term)(using quotes: Quotes)(term: Term)
def exactTerm: Term
extension (tpe: TypeRepr)(using quotes: Quotes)(tpe: TypeRepr)
def asTypeOf[T]: Type[T]
def asTypeTree: TypeTree
def getCompanionClassTpe: TypeRepr
extension (vec: BitVector)(vec: BitVector)
def bit(idx: Long): Boolean
def bits(hiIdx: Long, loIdx: Long): BitVector
def bitsWL[W](relWidth: Int, loIdx: Int): BitVector
def isZeros: Boolean
def lengthOfValue: Long
def lzc: Long
def padToMulsOf(bitsNum: Int, signed: Boolean): BitVector
def resize(newLength: Int): BitVector
def revIdx(bitIdx: Long): Long
def toBigInt(signed: Boolean): BigInt
def toHexProper: String
def toShortString: String

Implicits

Implicits

implicit inline def fromValueOf[T](v: ValueOf[T]): T

Exports

Defined exports

final type ! = [X <: Boolean] =>> ![X]
Exported from boolean$
final type != = !=
Exported from any$
final type % = [X <: Int, Y <: Int] =>> X % Y
Exported from int$
final type && = [X <: Boolean, Y <: Boolean] =>> X && Y
Exported from boolean$
final type * = [X <: Int, Y <: Int] =>> X * Y
Exported from int$
final type - = [X <: Int, Y <: Int] =>> X - Y
Exported from int$
final type / = [X <: Int, Y <: Int] =>> X / Y
Exported from int$
final type < = [X <: Int, Y <: Int] =>> X < Y
Exported from int$
final type << = [X <: Int, Y <: Int] =>> X << Y
Exported from int$
final type <= = [X <: Int, Y <: Int] =>> X <= Y
Exported from int$
final type == = ==
Exported from any$
final type > = [X <: Int, Y <: Int] =>> X > Y
Exported from int$
final type >= = [X <: Int, Y <: Int] =>> X >= Y
Exported from int$
final type >> = [X <: Int, Y <: Int] =>> X >> Y
Exported from int$
final type >>> = [X <: Int, Y <: Int] =>> X >>> Y
Exported from int$
final type Abs = [X <: Int] =>> Abs[X]
Exported from int$
final type BitwiseAnd = [X <: Int, Y <: Int] =>> BitwiseAnd[X, Y]
Exported from int$
final type BitwiseOr = [X <: Int, Y <: Int] =>> BitwiseOr[X, Y]
Exported from int$
final type CharAt = [S <: String, Idx <: Int] =>> CharAt[S, Idx]
Exported from string$
final type IsConst = IsConst
Exported from any$
final type Length = [X <: String] =>> Length[X]
Exported from string$
final type Matches = [S <: String, Regex <: String] =>> Matches[S, Regex]
Exported from string$
final type Max = [X <: Int, Y <: Int] =>> Max[X, Y]
Exported from int$
final type Min = [X <: Int, Y <: Int] =>> Min[X, Y]
Exported from int$
final type Negate = [X <: Int] =>> Negate[X]
Exported from int$
final type NumberOfLeadingZeros = [X <: Int] =>> NumberOfLeadingZeros[X]
Exported from int$
final type S = [N <: Int] =>> S[N]
Exported from int$
final type Substring = [S <: String, IBeg <: Int, IEnd <: Int] =>> Substring[S, IBeg, IEnd]
Exported from string$
final type ToDouble = [X <: Int] =>> ToDouble[X]
Exported from int$
final type ToFloat = [X <: Int] =>> ToFloat[X]
Exported from int$
final type ToLong = [X <: Int] =>> ToLong[X]
Exported from int$
final type ToString = ToString
Exported from any$
final type || = [X <: Boolean, Y <: Boolean] =>> X || Y
Exported from boolean$
Generated with