dfhdl.internals.Check2
See theCheck2 companion trait
object Check2
Attributes
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 Objecttrait Matchableclass Any
trait CheckNUB[Wide1, Wide2, T1, T2, Cond <: ([T1 <: Wide1, T2 <: Wide2] =>> Boolean), Msg <: ([T1 <: Wide1, T2 <: Wide2] =>> String), Warn <: Boolean]()
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
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_CheckNUB_Wide1_Wide2_T1_T2_Cond_Msg_Warn[Wide1, Wide2, T1, T2, TUB1 <: Wide1, TUB2 <: Wide2, Cond <: ([T1 <: Wide1, T2 <: Wide2] =>> Boolean), Msg <: ([T1 <: Wide1, T2 <: Wide2] =>> String), Warn <: Boolean](using ub1: Aux[Wide1, T1, TUB1], ub2: Aux[Wide2, T2, TUB2], check: Check[Wide1, Wide2, TUB1, TUB2, Cond, Msg, Cond[TUB1, TUB2], Msg[TUB1, TUB2], Warn]): given_CheckNUB_Wide1_Wide2_T1_T2_Cond_Msg_Warn[Wide1, Wide2, T1, T2, TUB1, TUB2, Cond, Msg, Warn]
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]
In this article