DFOpaque

dfhdl.core.DFOpaque$package$.DFOpaque$
object DFOpaque

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
DFOpaque.type

Members list

Type members

Classlikes

abstract class Frontend[T <: DFTypeAny](val actualType: T)

Attributes

Supertypes
trait CustomId
trait Id
trait Serializable
trait Product
trait Equals
trait HasTypeName
class Object
trait Matchable
class Any
Show all
object Token

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Token.type
object Val

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Val.type

Types

type Token[T <: Abstract] = DFToken[DFOpaque[T]]

Value members

Concrete methods

def apply[T <: Abstract](t: T): DFOpaque[T]

Givens

Givens

given given_DFOpaque_T[T <: Abstract](using ce: ClassEv[T]): DFOpaque[T]

Extensions

Extensions

extension [T <: DFTypeAny, TFE <: Frontend[T]](dfType: DFOpaque[TFE])(dfType: DFOpaque[TFE])
def actualType: T