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

Fst

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

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Spine
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with