AList

final class AList[F[_, _], A, B] extends AnyVal

A potentially empty type-aligned list.

Companion:
object
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def +:[Z](fza: F[Z, A]): AList[F, Z, B]
def ::[Z](fza: F[Z, A]): AList1[F, Z, B]
def :::[Z](that: AList[F, Z, A]): AList[F, Z, B]
def foldLeft[G[_]](ga: G[A])(implicit G: FunctorLike[G, F]): G[B]
def foldLeftWhile[G[_], H[_]](ga: G[A])(tr: NaturalTransformation[[α] =>> APair[G, F], [α] =>> H[α] \/ G[α]]): APair[H, [_] =>> AList[F, _$18, B]] \/ G[B]
def foldRight[G[_]](gb: G[B])(implicit G: ContravariantLike[G, F]): G[A]
def reverse: Composed[F, A, B]

Concrete fields

val uncons: AOption[[_, _] =>> AList1[F, _$3, _$4], A, B]