libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Capture/Absorbed/Impl

Impl

libretto.lambda.Capture.Absorbed.Impl
final case class Impl[**[_, _], F[_], P[_], P0, B](knitted: Knitted[**, P, P0], result: Capture[**, F, P0, B]) extends Absorbed[**, F, P, B]

Members list

Value members

Inherited methods

def inFst[Y]: Absorbed[**, F, [x] =>> P[x] ** Y, B ** Y]

Attributes

Inherited from:
Absorbed
def inSnd[X]: Absorbed[**, F, [x] =>> X ** P[x], X ** B]

Attributes

Inherited from:
Absorbed
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with