libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Capture/Exposed

Exposed

libretto.lambda.Capture.Exposed
See theExposed companion object
sealed trait Exposed[Sh <: Shuffle[**], **[_, _], F[_], A, B]

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Types

type X
type Y1
type Y2

Value members

Abstract methods

def alsoCaptureFst[P](p: Tupled[**, F, P]): Exposed[Sh, **, F, A, P ** B]
def captured: Tupled[**, F, X]
def route: shuffle.TransferOpt[X, A, Y1, Y2]

Abstract fields

val shuffle: Sh

Givens

Givens

given ev: (Y1 ** Y2) =:= B
Generated with