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

Check2

dfhdl.internals.Check2
See theCheck2 companion trait
object Check2

Attributes

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

Members list

Type members

Classlikes

trait Check[Wide1, Wide2, T1 <: Wide1, T2 <: Wide2, Cond <: ([T1 <: Wide1, T2 <: Wide2] =>> Boolean), Msg <: ([T1 <: Wide1, T2 <: Wide2] =>> String), CondValue <: Boolean, MsgValue <: String, Warn <: Boolean]()

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
object CheckOK
object CheckNUB

Attributes

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

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object CheckNUBOK
object CheckNUBOK extends CheckNUB[Any, Any, Any, Any, Nothing, Nothing, Boolean]

Attributes

Supertypes
trait CheckNUB[Any, Any, Any, Any, Nothing, Nothing, Boolean]
class Object
trait Matchable
class Any
Self type
CheckNUBOK.type
object CheckOK extends Check[Any, Any, Any, Any, Nothing, Nothing, Boolean, String, Boolean]

Attributes

Supertypes
trait Check[Any, Any, Any, Any, Nothing, Nothing, Boolean, String, Boolean]
class Object
trait Matchable
class Any
Self type
CheckOK.type

Value members

Concrete methods

final def checkMacro[Wide1, Wide2, T1 <: Wide1, T2 <: Wide2, Cond <: ([T1 <: Wide1, T2 <: Wide2] =>> Boolean), Msg <: ([T1 <: Wide1, T2 <: Wide2] =>> String), CondValue <: Boolean, MsgValue <: String, Warn <: Boolean](using Quotes, Type[Wide1], Type[Wide2], Type[T1], Type[T2], Type[Cond], Type[Msg], Type[CondValue], Type[MsgValue], Type[Warn]): Expr[Check[Wide1, Wide2, T1, T2, Cond, Msg, CondValue, MsgValue, Warn]]

Givens

Givens

inline given given_Check_Wide1_Wide2_T1_T2_Cond_Msg_CondValue_MsgValue_Warn[Wide1, Wide2, T1 <: Wide1, T2 <: Wide2, Cond <: ([T1 <: Wide1, T2 <: Wide2] =>> Boolean), Msg <: ([T1 <: Wide1, T2 <: Wide2] =>> String), CondValue <: Boolean, MsgValue <: String, Warn <: Boolean]: Check[Wide1, Wide2, T1, T2, Cond, Msg, CondValue, MsgValue, Warn]
Generated with