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

Id

libretto.lambda.Spine.Id
case class Id[|*|[_, _], G[_]]() extends Spine[|*|, G, [x] =>> x]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

def focus: Focus[**, F]

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Spine
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with