Finite

perspective.Finite$package.Finite
opaque object Finite

Attributes

Source
Finite.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Finite.type

Members list

Type members

Types

opaque type Finite[N <: Int]

Attributes

Source
Finite.scala
type NotZero[N <: Int] = N match { case 0 => false case Any => true }

Attributes

Source
Finite.scala

Value members

Concrete methods

inline def apply[N <: Int](size: N, value: Int)(using NotZero[N] =:= true): Finite[N]

Attributes

Source
Finite.scala
inline def unsafeApply[N <: Int](value: Int): Finite[N]

Attributes

Source
Finite.scala

Givens

Givens

given boundedEnumerable[N <: Int](using size: ValueOf[N]): boundedEnumerable[N]

Attributes

Source
Finite.scala

Extensions

Extensions

extension [N <: Int](intValue: Finite[N])
inline def *(other: Finite[N]): Finite[N]

Attributes

Source
Finite.scala
inline def +(other: Finite[N]): Finite[N]

Attributes

Source
Finite.scala
inline def -(other: Finite[N]): Finite[N]

Attributes

Source
Finite.scala
def /(other: Finite[N]): (Finite[N], Finite[N])

Attributes

Source
Finite.scala
inline def value: Int

Attributes

Source
Finite.scala