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 Clk extends Magnet[DFBit], Clk

Attributes

Supertypes
trait Clk
class Magnet[DFBit]
trait MagnetId
class Frontend[DFBit]
trait Id
trait Serializable
trait Product
trait Equals
trait HasTypeName
class Object
trait Matchable
class Any
Show all
abstract class Frontend[A <: DFTypeAny](val actualType: A)

Attributes

Supertypes
trait Id
trait Serializable
trait Product
trait Equals
trait HasTypeName
class Object
trait Matchable
class Any
Show all
Known subtypes
class Magnet[A]
class Clk
class Rst
abstract class Magnet[A <: DFTypeAny](actualType: A) extends Frontend[A], MagnetId

Attributes

Supertypes
trait MagnetId
class Frontend[A]
trait Id
trait Serializable
trait Product
trait Equals
trait HasTypeName
class Object
trait Matchable
class Any
Show all
Known subtypes
class Clk
class Rst
abstract class Rst extends Magnet[DFBit], Rst

Attributes

Supertypes
trait Rst
class Magnet[DFBit]
trait MagnetId
class Frontend[DFBit]
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)(using DFC): DFOpaque[TFE]

Givens

Givens

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

Extensions

Extensions

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