libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/TupleN/Snoc

Snoc

libretto.lambda.TupleN.Snoc
case class Snoc[∙[_, _], Nil, F[_], Init, Last](init: TupleN[∙, Nil, F, Init], last: F[Last]) extends TupleN[∙, Nil, F, Init ∙ Last]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TupleN[∙, Nil, F, Init ∙ Last]
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def foldL[G[_]](first: [a] => F[a] => G[Nil ∙ a], snoc: [a, b] => (x$1: G[a], x$2: F[b]) => G[a ∙ b]): G[Init ∙ Last]

Attributes

Definition Classes
override def nonEmpty[R](k: [A1, A2] => ((Init ∙ Last) =:= (A1 ∙ A2)) ?=> R): R

Attributes

Definition Classes
override def size: Int

Attributes

Definition Classes
override def translate[G[_]](h: [a] => F[a] => G[a]): TupleN[∙, Nil, G, Init ∙ Last]

Attributes

Definition Classes
override def unravel[G[_, _]](f: [X] => F[X] => G[X, X]): ParN[∙, Nil, G, Init ∙ Last, Init ∙ Last]

Attributes

Definition Classes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def toList[B](f: [a] => F[a] => B): ::[B]

Attributes

Inherited from:
TupleN
def ∙[B](b: F[B]): TupleN[∙, Nil, F, Init ∙ Last ∙ B]

Attributes

Inherited from:
TupleN
Generated with