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
Known subtypes
object CheckOK
object CheckNUB

Attributes

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

Attributes

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

Attributes

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

Attributes

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

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