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] => G[x] => H[x])(using BiInjective[|*|], Zippable[|*|, H]): H[k.Res]

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
Spine
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with