dfhdl-core
API
Generated with
dfhdl-core/dfhdl/dfhdl.core/Arg/Width

Width

dfhdl.core.Arg.Width
object Width extends Check1[Int, [t <: Int] =>> t > 0, [t <: Int] =>> "Width must be positive, but found: " + t]

Attributes

Graph
Supertypes
trait Check1[Int, [t <: Int] =>> t > 0, [t <: Int] =>> "Width must be positive, but found: " + t]
class Object
trait Matchable
class Any
Self type
Width.type

Members list

Type members

Inherited types

type Check[T <: Int] = Check[Int, T, [t <: Int] =>> t > 0, [t <: Int] =>> "Width must be positive, but found: " + t, [t <: Int] =>> t > 0[T], [t <: Int] =>> "Width must be positive, but found: " + t[T], false]

Attributes

Inherited from:
Check1
type CheckNUB[T] = CheckNUB[Int, T, [t <: Int] =>> t > 0, [t <: Int] =>> "Width must be positive, but found: " + t, false]

Attributes

Inherited from:
Check1
type Warn[T <: Int] = Check[Int, T, [t <: Int] =>> t > 0, [t <: Int] =>> "Width must be positive, but found: " + t, [t <: Int] =>> t > 0[T], [t <: Int] =>> "Width must be positive, but found: " + t[T], true]

Attributes

Inherited from:
Check1
type WarnNUB[T] = CheckNUB[Int, T, [t <: Int] =>> t > 0, [t <: Int] =>> "Width must be positive, but found: " + t, true]

Attributes

Inherited from:
Check1

Value members

Inherited methods

inline def apply(arg: Int): Unit

Attributes

Inherited from:
Check1
Generated with