PosInt
trait MinMax[Int]
trait Max[Int]
trait Min[Int]
trait Numeric[Int]
trait Refined[Int]
trait RefinedBase[Int]
trait NewtypeBase[Int]
trait CanBeOrdered[Int]
class Object
trait Matchable
class Any
PosInt.type
Type members
Inherited classlikes
Inherited types
Value members
Concrete methods
Inherited methods
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.ToString")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
- Inherited from:
- RefinedBase
@SuppressWarnings(scala.Array.apply[java.lang.String]("org.wartremover.warts.Throw")(scala.reflect.ClassTag.apply[java.lang.String](classOf[java.lang.String])))
- Inherited from:
- RefinedBase
Givens
Inherited givens
Extensions
Inherited extensions
extension [B](typ: Type)
extension (typ: Type)