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

CheckNUB

dfhdl.internals.Check2.CheckNUB
See theCheckNUB companion trait
object CheckNUB

Attributes

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

Members list

Givens

Givens

inline given ok[Wide1, Wide2, T1, T2, TUB1 <: Wide1, TUB2 <: Wide2, Cond <: ([T1 <: Wide1, T2 <: Wide2] =>> Boolean), Msg <: ([T1 <: Wide1, T2 <: Wide2] =>> String), Warn <: Boolean](using inline ub1: Aux[Wide1, T1, TUB1], inline ub2: Aux[Wide2, T2, TUB2])(using inline check: Cond[TUB1, TUB2] =:= true): CheckNUB[Wide1, Wide2, T1, T2, Cond, Msg, Warn]

Inherited givens

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]

Attributes

Inherited from:
CheckNUBLP (hidden)
Generated with