Package eu.bandm.tools.ramus.runtime2

Class Sequence

java.lang.Object

eu.bandm.tools.ramus.runtime2.Data

eu.bandm.tools.ramus.runtime2.Sequence

All Implemented Interfaces:

Iterable<Data>

public class Sequence
extends Data
implements Iterable<Data>

Nested Class Summary

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

Data.View<A>

Constructor Summary

Constructors

Constructor	Description
Sequence(Data... elems)

Method Summary

Modifier and Type	Method	Description
Sequence	add(Data elem)
List<Data>	asList()
static Sequence	empty()
Iterator<Data>	iterator()
<A> List<A>	map(Function<? super Data,? extends A> fun)
String	toString()
static <A> Data.View<List<A>>	view(Data.View<A> elem)

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, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

Sequence

public Sequence(Data... elems)

Method Details

empty

public static Sequence empty()

add

public Sequence add(Data elem)

map

public <A> List<A> map(Function<? super Data,? extends A> fun)

toString

public String toString()

Overrides:

toString in class Object

iterator

public Iterator<Data> iterator()

Specified by:

iterator in interface Iterable<Data>

asList

public List<Data> asList()

view

public static <A> Data.View<List<A>> view(Data.View<A> elem)