libretto-core
API
Generated with
libretto-core/libretto/libretto.scaletto/libretto.scaletto.impl/FreeScaletto/UInt31

UInt31

libretto.scaletto.impl.FreeScaletto.UInt31
object UInt31 extends UInt31Scaletto

Attributes

Graph
Supertypes
trait UInt31s
class Object
trait Matchable
class Any
Self type
UInt31.type

Members list

Value members

Concrete methods

override def add: ConcurrentPair[UInt31, UInt31] -⚬ UInt31

Attributes

Definition Classes
override def apply(n: Int): Done -⚬ UInt31

Attributes

Throws
IllegalArgumentException

if n is negative

Definition Classes
override def decrement: UInt31 -⚬ Done |+| UInt31

Attributes

Definition Classes
override def fromInt: Val[Int] -⚬ UInt31

Attributes

Definition Classes
override def increment: UInt31 -⚬ UInt31

Attributes

Definition Classes
override def multiply: ConcurrentPair[UInt31, UInt31] -⚬ UInt31

Attributes

Definition Classes
override def neglect: UInt31 -⚬ Done

Attributes

Definition Classes
override def toInt: UInt31 -⚬ Val[Int]

Attributes

Definition Classes
Generated with