libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Sink/Arrow

Arrow

libretto.lambda.Sink.Arrow
case class Arrow[-->[_, _], <+>[_, _], A, B](f: A --> B) extends Sink[-->, <+>, A, B]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Sink[-->, <+>, A, B]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
Sink
def map[->>[_, _]](g: [x] => (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[_] : Applicative](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 --> B) => G[->>[x, B]]): G[Sink[->>, <+>, A, B]]

Attributes

Inherited from:
Sink
Generated with