libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Knit/InSndImpl

InSndImpl

libretto.lambda.Knit.InSndImpl
class InSndImpl[**[_, _], A, G[_], B](val k: Knitted[**, G, B]) extends InSnd[**, A, G]

Attributes

Graph
Supertypes
class InSnd[**, A, G]
trait Serializable
trait Product
trait Equals
trait Knit[**, [y] =>> A ** G[y]]
class Object
trait Matchable
class Any
Show all

Members list

Type members

Inherited types

override type Res = A ** this.k.Res

Attributes

Inherited from:
InSnd

Value members

Inherited methods

def at[G[_]](g: Focus[**, G]): Knitted[**, [x] =>> G[[y] =>> A ** G[y][x]], G[Res]]

Attributes

Inherited from:
Knit
def from[E[_]](using ev: TypeEqK[E, [y] =>> A ** G[y]]): Knitted[**, E, Res]

Attributes

Inherited from:
Knit
def inFst[Y]: Knitted[**, [x] =>> [y] =>> A ** G[y][x] ** Y, Res ** Y]

Attributes

Inherited from:
Knit
def inSnd[X]: Knitted[**, [x] =>> X ** [y] =>> A ** G[y][x], X ** Res]

Attributes

Inherited from:
Knit
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
override def proveProduct[X]: Exists[[a] =>> Exists[[b] =>> (A ** G[X]) =:= (a ** b)]]

Attributes

Definition Classes
InSnd -> Knit
Inherited from:
InSnd
def to[R](using ev: Res =:= R): Knitted[**, [y] =>> A ** G[y], R]

Attributes

Inherited from:
Knit
override def toFocus: Focus[**, [y] =>> A ** G[y]]

Attributes

Definition Classes
InSnd -> Knit
Inherited from:
InSnd
override def toProjection[X]: Projection[**, A ** G[X], Res]

Attributes

Definition Classes
InSnd -> Knit
Inherited from:
InSnd
override def visit[R](caseKeepFst: [X] => (x$1: TypeEqK[[y] =>> A ** G[y], [_] =>> X ** _$118], x$2: Res =:= X) => R, caseKeepSnd: [Y] => (x$1: TypeEqK[[y] =>> A ** G[y], **], x$2: Res =:= Y) => R, caseInFst: [F1[_], Y] => (k: Knit[**, F1]) => (ev: TypeEqK[[y] =>> A ** G[y], [x] =>> F1[x] ** Y], ev1: Res =:= (k.Res ** Y)) => R, caseInSnd: [X, F2[_]] => (k: Knit[**, F2]) => (ev: TypeEqK[[y] =>> A ** G[y], [y] =>> X ** F2[y]], ev1: Res =:= (X ** k.Res)) => R): R

Attributes

Definition Classes
InSnd -> Knit
Inherited from:
InSnd

Concrete fields

override val k: Knitted[**, G, B]
Generated with