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

CheckNUB

dfhdl.internals.Check1.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[Wide, T, TUB <: Wide, Cond <: ([T <: Wide] =>> Boolean), Msg <: ([T <: Wide] =>> String), Warn <: Boolean](using inline ub: Aux[Wide, T, TUB])(using inline check: Cond[TUB] =:= true): CheckNUB[Wide, T, Cond, Msg, Warn]

Inherited givens

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]

Attributes

Inherited from:
CheckNUBLP (hidden)
Generated with