libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/Scaletto/UInt31Scaletto

UInt31Scaletto

libretto.scaletto.Scaletto.UInt31Scaletto
trait UInt31Scaletto extends UInt31s

Attributes

Graph
Supertypes
trait UInt31s
class Object
trait Matchable
class Any
Known subtypes
object UInt31.type

Members list

Value members

Abstract methods

def fromInt: Val[Int] -⚬ UInt31
def toInt: UInt31 -⚬ Val[Int]

Inherited methods

def add: UInt31 |*| UInt31 -⚬ UInt31

Attributes

Inherited from:
UInt31s
def apply(n: Int): Done -⚬ UInt31

Attributes

Throws
IllegalArgumentException

if n is negative

Inherited from:
UInt31s
def decrement: UInt31 -⚬ Done |+| UInt31

Attributes

Inherited from:
UInt31s
def increment: UInt31 -⚬ UInt31

Attributes

Inherited from:
UInt31s
def multiply: UInt31 |*| UInt31 -⚬ UInt31

Attributes

Inherited from:
UInt31s
def neglect: UInt31 -⚬ Done

Attributes

Inherited from:
UInt31s
Generated with