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

Positive

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

Attributes

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

Members list

Type members

Inherited types

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Check1
type WarnNUB[T] = CheckNUB[Int, T, [t <: Int] =>> t > 0, [t <: Int] =>> "Argument 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