dfhdl.internals.Check1
See theCheck1 companion trait
object Check1
Attributes
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 Objecttrait Matchableclass Any
trait CheckNUB[Wide, T, Cond <: ([T <: Wide] =>> Boolean), Msg <: ([T <: Wide] =>> String), Warn <: Boolean]()
Attributes
- Supertypes
-
class Objecttrait Matchableclass 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_CheckNUB_Wide_T_Cond_Msg_Warn[Wide, T, TUB <: Wide, Cond <: ([T <: Wide] =>> Boolean), Msg <: ([T <: Wide] =>> String), Warn <: Boolean](using ub: Aux[Wide, T, TUB], check: Check[Wide, TUB, Cond, Msg, Cond[TUB], Msg[TUB], Warn]): given_CheckNUB_Wide_T_Cond_Msg_Warn[Wide, T, TUB, Cond, Msg, Warn]
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]
In this article