stdx
API
Generated with
stdx/stdx/stdx.collections/PositiveInt

PositiveInt

stdx.collections.PositiveInt$package.PositiveInt
object PositiveInt

Attributes

Experimental
true
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object given_FromDigits_PositiveInt extends FromDigits[PositiveInt]

Attributes

Supertypes
trait FromDigits[PositiveInt]
class Object
trait Matchable
class Any
Self type
object int extends Integral[PositiveInt]

Attributes

Supertypes
trait Integral[PositiveInt]
trait Numeric[PositiveInt]
trait Ordering[PositiveInt]
trait PartialOrdering[PositiveInt]
trait Equiv[PositiveInt]
trait Serializable
trait Comparator[PositiveInt]
class Object
trait Matchable
class Any
Show all
Self type
int.type

Value members

Concrete methods

def apply(int: Int): Option[PositiveInt]
def assert(int: Int): PositiveInt

Concrete fields

Givens

Givens

given int: int

Extensions

Extensions

extension (p: PositiveInt)
def minusOpt(b: PositiveInt): Option[PositiveInt]
Generated with