numeric

refined4s.numeric$
object numeric

Attributes

Since

2023-04-24

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

Members list

Type members

Classlikes

object NonNegFloat extends InlinedRefined[Float]

Attributes

Supertypes
trait InlinedRefined[Float]
trait RefinedBase[Float]
class Object
trait Matchable
class Any
Self type
object NonNegInt extends InlinedRefined[Int]

Attributes

Supertypes
trait InlinedRefined[Int]
trait RefinedBase[Int]
class Object
trait Matchable
class Any
Self type
NonNegInt.type
object PosInt extends InlinedRefined[Int]

Attributes

Supertypes
trait InlinedRefined[Int]
trait RefinedBase[Int]
class Object
trait Matchable
class Any
Self type
PosInt.type

Types

type NonNegFloat = Type
type NonNegInt = Type
type PosInt = Type