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

Capture

libretto.lambda.Capture
See theCapture companion trait
object Capture

Attributes

Companion
trait
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Capture.type

Members list

Type members

Classlikes

enum Absorbed[**[_, _], F[_], P[_], B]

Attributes

Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
case Impl[**, F, P, P0, B]
case class CaptureFst[**[_, _], F[_], A, B1, B2](b1: Tupled[**, F, B1], f: Capture[**, F, A, B2]) extends Proper[**, F, A, B1 ** B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Proper[**, F, A, B1 ** B2]
trait Capture[**, F, A, B1 ** B2]
class Object
trait Matchable
class Any
Show all
case class CaptureSnd[**[_, _], F[_], A, B1, B2](f: Capture[**, F, A, B1], b2: Tupled[**, F, B2]) extends Proper[**, F, A, B1 ** B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Proper[**, F, A, B1 ** B2]
trait Capture[**, F, A, B1 ** B2]
class Object
trait Matchable
class Any
Show all
case class InFst[**[_, _], F[_], A, B, Y](f: Proper[**, F, A, B]) extends Proper[**, F, A ** Y, B ** Y]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Proper[**, F, A ** Y, B ** Y]
trait Capture[**, F, A ** Y, B ** Y]
class Object
trait Matchable
class Any
Show all
case class InSnd[**[_, _], F[_], X, A, B](f: Proper[**, F, A, B]) extends Proper[**, F, X ** A, X ** B]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Proper[**, F, X ** A, X ** B]
trait Capture[**, F, X ** A, X ** B]
class Object
trait Matchable
class Any
Show all
case class NoCapture[**[_, _], F[_], A]() extends Capture[**, F, A, A]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Capture[**, F, A, A]
class Object
trait Matchable
class Any
Show all
case class Par[**[_, _], F[_], A1, A2, B1, B2](f1: Proper[**, F, A1, B1], f2: Proper[**, F, A2, B2]) extends Proper[**, F, A1 ** A2, B1 ** B2]

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
trait Proper[**, F, A1 ** A2, B1 ** B2]
trait Capture[**, F, A1 ** A2, B1 ** B2]
class Object
trait Matchable
class Any
Show all
sealed trait Proper[**[_, _], F[_], A, B] extends Capture[**, F, A, B]

Attributes

Supertypes
trait Capture[**, F, A, B]
class Object
trait Matchable
class Any
Known subtypes
class CaptureFst[**, F, A, B1, B2]
class CaptureSnd[**, F, A, B1, B2]
class InFst[**, F, A, B, Y]
class InSnd[**, F, X, A, B]
class Par[**, F, A1, A2, B1, B2]

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror

Value members

Concrete methods

def fromFocus[**[_, _], F[_], P[_], X](p: Proper[**, P], k: Knit[**, P], x: F[X]): Capture[**, F, Res, P[X]]
def fromFocus[**[_, _], F[_], P[_], X](p: Proper[**, P], x: F[X]): Exists[[P0] =>> (Capture[**, F, P0, P[X]], Knitted[**, P, P0])]
Generated with