Package eu.bandm.tools.ramus.runtime2

Class Option

java.lang.Object

eu.bandm.tools.ramus.runtime2.Data

eu.bandm.tools.ramus.runtime2.Option

public abstract class Option
extends Data

Nested Class Summary

Nested classes/interfaces inherited from class eu.bandm.tools.ramus.runtime2.Data

Data.View<A>

Field Summary

Fields

Modifier and Type	Field	Description
static final Option	none

Constructor Summary

Constructors

Constructor	Description
Option()

Method Summary

Modifier and Type	Method	Description
Data	get()
Data	getOrElse(Data defaultValue)
abstract Data	getOrElse(Supplier<? extends Data> defaultValue)
abstract boolean	isPresent()
static Option	just(Data value)
static <A> Data.View<Optional<A>>	viewOptional(Data.View<A> body)
static <A> Data.View<A>	viewOrElse(Data.View<A> body, A defaultValue)
static <A> Data.View<A>	viewOrElse(Data.View<A> body, Supplier<? extends A> defaultValue)

Methods inherited from class eu.bandm.tools.ramus.runtime2.Data

asAtomic, asAtomic, asContent, asOption, asPair, asSequence, asTagged

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

none

public static final Option none

Constructor Details

Option

public Option()

Method Details

just

public static Option just(Data value)

isPresent

public abstract boolean isPresent()

get

public Data get()

getOrElse

public Data getOrElse(Data defaultValue)

getOrElse

public abstract Data getOrElse(Supplier<? extends Data> defaultValue)

viewOrElse

public static <A> Data.View<A> viewOrElse(Data.View<A> body,
 A defaultValue)

viewOrElse

public static <A> Data.View<A> viewOrElse(Data.View<A> body,
 Supplier<? extends A> defaultValue)

viewOptional

public static <A> Data.View<Optional<A>> viewOptional(Data.View<A> body)