UBArg

dfhdl.core.DFDecimal$package$.DFUInt$.Val$.UBArg$
See theUBArg companion trait
object UBArg extends UBArgLP

Attributes

Companion
trait
Graph
Supertypes
trait UBArgLP
class Object
trait Matchable
class Any
Self type
UBArg.type

Members list

Givens

Givens

given fromInt[UB <: Int, R <: Int, I <: IntInfo[UB - 1]](using ubInfo: I)(using unsignedCheck: Check[R < 0], ubCheck: Check[UB, R]): fromInt[UB, R, I]
given fromR[UB <: Int, R, IC <: Candidate[R], I <: IntInfo[UB - 1]](using ic: IC, ubInfo: I)(using unsignedCheck: Check[OutS], widthCheck: Check[OutW, OutW]): fromR[UB, R, IC, I]

Inherited givens

transparent inline given errorDMZ[UB <: Int, R](using r: ShowType[R]): UBArg[UB, R]

Attributes

Inherited from:
UBArgLP