Join

libretto.lambda.Sink$.Join
case class Join[-->[_, _], <+>[_, _], A1, A2, B](s1: Sink[-->, <+>, A1, B], s2: Sink[-->, <+>, A2, B]) extends Sink[-->, <+>, A1 <+> A2, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Sink[-->, <+>, A1 <+> A2, B]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Inherited methods

def <+>[X](that: Sink[-->, <+>, X, B]): Sink[-->, <+>, A <+> X, B]

Attributes

Inherited from:
Sink
def map[->>[_, _]](g: [x] => (x$1: x --> B) => ->>[x, B]): Sink[->>, <+>, A, B]

Attributes

Inherited from:
Sink
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def reduce(g: [x, y] => (x$1: x --> B, x$2: y --> B) => x <+> y --> B): A --> B

Attributes

Inherited from:
Sink
def reduceM[M[_] : Monad](g: [x, y] => (x$1: x --> B, x$2: y --> B) => M[x <+> y --> B]): M[A --> B]

Attributes

Inherited from:
Sink
def traverse[G[_] : Applicative, ->>[_, _]](g: [x] => (x$1: x --> B) => G[->>[x, B]]): G[Sink[->>, <+>, A, B]]

Attributes

Inherited from:
Sink