ACons

final case class ACons[F[_, _], A, B, C](head: F[A, B], tail1: AList1[F, B, C]) extends AList1[F, A, C]
trait Serializable
trait Product
trait Equals
class AList1[F, A, C]
class Object
trait Matchable
class Any

Type members

Types

type A1 = B

Value members

Concrete methods

def tail: AList[F, A1, C]

Inherited methods

def ++[C](that: AList1[F, C, C]): AList1[F, A, C]
Inherited from:
AList1
def ::[Z](fza: F[Z, A]): AList1[F, Z, C]
Inherited from:
AList1
def :::[Z](that: AList[F, Z, A]): AList1[F, Z, C]
Inherited from:
AList1
def :::[Z](that: AList1[F, Z, A]): AList1[F, Z, C]
Inherited from:
AList1
def foldLeft[G[_]](ga: G[A])(implicit G: FunctorLike[G, F]): G[C]
Inherited from:
AList1
def foldLeftWhile[G[_], H[_]](ga: G[A])(tr: NaturalTransformation[[α] =>> APair[G, F], [α] =>> H[α] \/ G[α]]): APair[H, [_] =>> AList[F, _$22, C]] \/ G[C]
Inherited from:
AList1
def foldRight[G[_]](gb: G[C])(implicit G: ContravariantLike[G, F]): G[A]
Inherited from:
AList1
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
def reduce(implicit F: Compose[F]): F[A, C]

Compose the elements of this list in a balanced binary fashion.

Compose the elements of this list in a balanced binary fashion.

Inherited from:
AList1
def reduceLeft(implicit F: Compose[F]): F[A, C]
Inherited from:
AList1
def reverse: Composed1[F, A, C]
Inherited from:
AList1
def toList: AList[F, A, C]
Inherited from:
AList1
def uncons: Either[F[A, C], APair[[_] =>> F[A, _$3], [_] =>> AList1[F, _$4, C]]]
Inherited from:
AList1