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

Single

libretto.lambda.TupleN.Single
case class Single[∙[_, _], Nil, F[_], A](value: F[A]) extends TupleN[∙, Nil, F, Nil ∙ A]

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
trait TupleN[∙, Nil, F, Nil ∙ A]
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[Nil ∙ A]

Attributes

Definition Classes
override def nonEmpty[R](k: [A1, A2] => ((Nil ∙ A) =:= (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, Nil ∙ A]

Attributes

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

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, Nil ∙ A ∙ B]

Attributes

Inherited from:
TupleN
Generated with