< Back

Packages

package root

Definition Classes
root
package h8io

Definition Classes
root
package stages

Definition Classes
h8io

package base

Type aliases used throughout the lib module for describing stage transformations.

Type aliases used throughout the lib module for describing stage transformations.

// A decorator is a stage itself: it wraps a Stage[I, O, E] and is one:
val myDecorator: Decorator[String, Int, Nothing] = CompleteIfNone(stage)

// A decoration is the function building it; an alteration is the same with the types free to change:
val myDecoration: Decoration[String, Int, Nothing] = CompleteIfNone(_)
val myAlteration: Alteration[Stage[String, Int, Nothing], Stage[String, Option[Int], Nothing]] = Lift(_)

Definition Classes: stages

Alterator
BaseBinaryOperator
BinaryOperator
ConstEvolution
Fn
Fruitful
FruitfulStaticStage
LeftProjection
Outcome
Projection
RightProjection
SAMStage
SafeStage
StageOps
Stagnation
StaticStage
StaticYield

o

h8io.stages.base

BaseBinaryOperator

object BaseBinaryOperator

Companion object for BaseBinaryOperator.

Linear Supertypes

AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

BaseBinaryOperator
AnyRef
Any

Hide All
Show All

Visibility

Public
All

Type Members

trait Evolution[-I, LO, RO, +O, +E] extends stages.Evolution[I, O, E]
The continuation of a BaseBinaryOperator: a pair of sub-evolutions that evolve and dispose together.
The continuation of a BaseBinaryOperator: a pair of sub-evolutions that evolve and dispose together.
Concrete operators implement apply alone — the reassembly of the two continuations into the operator's own shape — and inherit the two halves of the shared contract:
- evolve selects both continuations on the same status, the right one first, and hands them to apply;
- dispose releases both through h8io.stages.Evolution.dispose, right first, so that a failure of one still leaves the other released and is reported as suppressed.
I
the shared input type (contravariant)
LO
the left output type (invariant: consumed and produced by the sub-evolution)
RO
the right output type (invariant, likewise)
O
the combined output type (covariant)
E
the shared error type (covariant)

Value Members

final def !=(arg0: Any): Boolean

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

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

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

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( ... ) @native() @IntrinsicCandidate()
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
final def getClass(): Class[_]

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

Definition Classes
AnyRef → Any
Annotations
@native() @IntrinsicCandidate()
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
@native() @IntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@native() @IntrinsicCandidate()
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( ... ) @native()
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] ) @Deprecated
Deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped