OpenStrat
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
OpenStrat/ostrat/OptInt

OptInt

ostrat.OptInt
trait OptInt extends Opt[Int]

Attributes

Graph
Supertypes
trait Opt[Int]
class Object
trait Matchable
class Any
Known subtypes
object NoInt.type
class SomeInt

Members list

Concise view

Value members

Abstract methods

def map(f: Int => Int): OptInt
def |+|(operand: OptInt): OptInt

Inherited methods

def empty: Boolean

Attributes

Inherited from:
Opt
def foreach(f: Int => Unit): Unit

Attributes

Inherited from:
Opt
def nonEmpty: Boolean

Attributes

Inherited from:
Opt
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL