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

object Abstract

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Abstract.type
abstract class Frontend[A <: DFTypeAny](val actualType: A)

Attributes

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

Attributes

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

Value members

Concrete methods

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

Givens

Givens

given given_DFOpaque_TFE[TFE <: Abstract](using ce: ClassEv[TFE]): DFOpaque[TFE]

Extensions

Extensions

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