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

Check1

dfhdl.internals.Check1$
See theCheck1 companion trait
object Check1

Attributes

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

Members list

Type members

Classlikes

trait Check[Wide, T <: Wide, Cond <: ([T <: Wide] =>> Boolean), Msg <: ([T <: Wide] =>> String), CondValue <: Boolean, MsgValue <: String, Warn <: Boolean]()

Attributes

Supertypes
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Givens

Givens

inline given given_Check_Wide_T_Cond_Msg_CondValue_MsgValue_Warn[Wide, T <: Wide, Cond <: ([T <: Wide] =>> Boolean), Msg <: ([T <: Wide] =>> String), CondValue <: Boolean, MsgValue <: String, Warn <: Boolean]: Check[Wide, T, Cond, Msg, CondValue, MsgValue, Warn]
Generated with