StepLeg

When merging multiple streams, this represents step of one leg.

It is common to uncons, however unlike uncons, it keeps track of stream scope independently of the main scope of the stream.

This assures, that after each next stepLeg each Stream leg keeps its scope when interpreting.

Usual scenarios is to first invoke stream.pull.stepLeg and then consume whatever is available in leg.head. If the next step is required leg.stepLeg will yield next Leg.

Once the stream will stop to be interleaved (merged), then stream allows to return to normal stream invocation.

Self Type: StepLeg[F, O]
Source: Stream.scala

Linear Supertypes

AnyRef, Any

Instance Constructors

new StepLeg(head: Chunk[O], scopeId: Token, next: FreeC[[γ$27$]Algebra[F, O, γ$27$], Unit])

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(other: String): String

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to any2stringadd[StepLeg[F, O]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def ->[B](y: B): (StepLeg[F, O], B)

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to ArrowAssoc[StepLeg[F, O]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline()
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
def ensuring(cond: (StepLeg[F, O]) ⇒ Boolean, msg: ⇒ Any): StepLeg[F, O]

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to Ensuring[StepLeg[F, O]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: (StepLeg[F, O]) ⇒ Boolean): StepLeg[F, O]

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to Ensuring[StepLeg[F, O]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean, msg: ⇒ Any): StepLeg[F, O]

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to Ensuring[StepLeg[F, O]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def ensuring(cond: Boolean): StepLeg[F, O]

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to Ensuring[StepLeg[F, O]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def formatted(fmtstr: String): String

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to StringFormat[StepLeg[F, O]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline()
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
val head: Chunk[O]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def setHead(nextHead: Chunk[O]): StepLeg[F, O]

Replaces head of this leg.
Replaces head of this leg. Useful when the head was not fully consumed.
def stepLeg: Pull[F, INothing, Option[StepLeg[F, O]]]

Provides an uncons-like operation on this leg of the stream.
def stream: Stream[F, O]

Converts this leg back to regular stream.
Converts this leg back to regular stream. Scope is updated to the scope associated with this leg. Note that when this is invoked, no more interleaving legs are allowed, and this must be very last leg remaining.
Note that resulting stream won't contain the head of this leg.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
def →[B](y: B): (StepLeg[F, O], B)

Implicit information
This member is added by an implicit conversion from StepLeg[F, O] to ArrowAssoc[StepLeg[F, O]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package Stream

final class StepLeg[F[_], O] extends AnyRef

Instance Constructors

new StepLeg(head: Chunk[O], scopeId: Token, next: FreeC[[γ$27$]Algebra[F, O, γ$27$], Unit])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (StepLeg[F, O], B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (StepLeg[F, O]) ⇒ Boolean, msg: ⇒ Any): StepLeg[F, O]

def ensuring(cond: (StepLeg[F, O]) ⇒ Boolean): StepLeg[F, O]

def ensuring(cond: Boolean, msg: ⇒ Any): StepLeg[F, O]

def ensuring(cond: Boolean): StepLeg[F, O]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def formatted(fmtstr: String): String

final def getClass(): Class[_]

def hashCode(): Int

val head: Chunk[O]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def setHead(nextHead: Chunk[O]): StepLeg[F, O]

def stepLeg: Pull[F, INothing, Option[StepLeg[F, O]]]

def stream: Stream[F, O]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

def →[B](y: B): (StepLeg[F, O], B)

Deprecated Value Members

def finalize(): Unit

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from StepLeg[F, O] to any2stringadd[StepLeg[F, O]]

Inherited by implicit conversion StringFormat from StepLeg[F, O] to StringFormat[StepLeg[F, O]]

Inherited by implicit conversion Ensuring from StepLeg[F, O] to Ensuring[StepLeg[F, O]]

Inherited by implicit conversion ArrowAssoc from StepLeg[F, O] to ArrowAssoc[StepLeg[F, O]]

Ungrouped