AList

trait AList[K[F[_]]]

Arity-generic List. An abstraction over structured Tuple/List type constructor X1[f[a]].

Companion:
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def foldr[F1[_], A1](value: K[F1], init: A1)(f: [a] => (x$1: F1[a], x$2: A1) => A1): A1
def transform[F1[_], F2[_]](value: K[F1])(f: [a] => (x$1: F1[a]) => F2[a]): K[F2]
def traverse[F1[_], F2[_] : Applicative](value: K[F1])(f: [a] => (x$1: F1[a]) => F2[a]): F2[K[Id]]
def traverseX[F1[_], F2[_] : Applicative, P[_]](value: K[F1])(f: [a] => (x$1: F1[a]) => F2[P[a]]): F2[K[P]]

Concrete methods

def mapN[F1[_] : Applicative, A1](value: K[F1])(f: K[Id] => A1): F1[A1]
def toList[F1[_]](value: K[F1]): List[F1[Any]]