pipez/pipez/PipeDerivation/NoContext

NoContext

trait NoContext[Pipe[_, _]] extends PipeDerivation[Pipe]

Specialization for Pipes which are interchangeable to In => Result[Out]

trait PipeDerivation[Pipe]
class Object
trait Matchable
class Any
trait Simple[Pipe]

Type members

Types

final type Context = Unit

Type of value you want to thread through all calls

Type of value you want to thread through all calls

Inherited types

type Result[Out]

Type of value you want to return after the call

Type of value you want to return after the call

Inherited from:
PipeDerivation

Value members

Abstract methods

def simpleLift[In, Out](f: In => Result[Out]): Pipe[In, Out]

Turns a function without Context into Pipe

Turns a function without Context into Pipe

def simpleMergeResults[A, B, C](ra: Result[A], rb: => Result[B], f: (A, B) => C): Result[C]

Merges Results as if Context was not passed around

Merges Results as if Context was not passed around

def simpleUnlift[In, Out](pipe: Pipe[In, Out], in: In): Result[Out]

Calls Pipe as if it was a function without Context

Calls Pipe as if it was a function without Context

Concrete methods

final def lift[In, Out](f: (In, Context) => Result[Out]): Pipe[In, Out]

Turns a function into your Pipe typeclass

Turns a function into your Pipe typeclass

override def mergeResults[A, B, C](context: Context, ra: Result[A], rb: => Result[B], f: (A, B) => C): Result[C]

Combines 2 Results into 1

Combines 2 Results into 1

Definition Classes
final def unlift[In, Out](pipe: Pipe[In, Out], in: In, ctx: Context): Result[Out]

Calls Pipe as if it was a function

Calls Pipe as if it was a function

final def updateContext(context: Context, path: Path): Context

Let you inject int information about current Path (extracted field, matched subtypes) into Context

Let you inject int information about current Path (extracted field, matched subtypes) into Context

Inherited methods

def pureResult[A](a: A): Result[A]

Wraps raw value into Result that Pipe should return

Wraps raw value into Result that Pipe should return

Inherited from:
PipeDerivation