libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Spine/Snd

Snd

libretto.lambda.Spine.Snd
case class Snd[|*|[_, _], G[_], F[_], A](fst: G[A], snd: Spine[|*|, G, F]) extends Spine[|*|, G, [x] =>> A |*| F[x]]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait Spine[|*|, G, [x] =>> A |*| F[x]]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def knitFoldMap[H[_]](k: Knit[|*|, [x] =>> A |*| F[x]], f: [x] => (x$1: G[x]) => H[x])(using BiInjective[|*|], Zippable[|*|, H]): H[k.Res]

Attributes

Definition Classes

Inherited methods

def focus: Focus[|*|, [x] =>> A |*| F[x]]

Attributes

Inherited from:
Spine
def inFst[B](b: G[B]): Spine[|*|, G, [x] =>> [x] =>> A |*| F[x][x] |*| B]

Attributes

Inherited from:
Spine
def inSnd[A](a: G[A]): Spine[|*|, G, [x] =>> A |*| [x] =>> A |*| F[x][x]]

Attributes

Inherited from:
Spine
def knit(k: Knit[|*|, [x] =>> A |*| F[x]])(using BiInjective[|*|]): Tupled[|*|, G, k.Res]

Attributes

Inherited from:
Spine
def knitFold(k: Knit[|*|, [x] =>> A |*| F[x]])(using BiInjective[|*|], Zippable[|*|, G]): G[k.Res]

Attributes

Inherited from:
Spine
def plugFold[A](a: G[A])(using Zippable[|*|, G]): G[[x] =>> A |*| F[x][A]]

Attributes

Inherited from:
Spine
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with