Arg

dfhdl.core.Arg
object Arg

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Arg.type

Members list

Type members

Classlikes

object LargerThan1 extends Check1[Int, [t <: Int] =>> t > 1, [t <: Int] =>> "Argument must be larger than 1, but found: " + t]

Attributes

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

Attributes

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
object SignedWidth extends Check1[Int, [t <: Int] =>> t > 1, [t <: Int] =>> "Signed value width must be larger than 1, but found: " + t]

Attributes

Supertypes
trait Check1[Int, [t <: Int] =>> t > 1, [t <: Int] =>> "Signed value width must be larger than 1, but found: " + t]
class Object
trait Matchable
class Any
Self type
object Width extends Check1[Int, [t <: Int] =>> t > 0, [t <: Int] =>> "Width must be positive, but found: " + t]

Attributes

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