Finite

case class Finite[N <: Int]

A wrapper around an finite integer domain. Stores the size at the type level.

A wrapper around an finite integer domain. Stores the size at the type level.

Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def *(other: Finite[N])(using n: ValueOf[N]): Finite[N]
def +(other: Finite[N])(using n: ValueOf[N]): Finite[N]
def -(other: Finite[N])(using n: ValueOf[N]): Finite[N]
def /(other: Finite[N]): (Finite[N], Finite[N])

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product