AList

object AList
Companion:
class
class Object
trait Matchable
class Any
AList.type

Type members

Types

type ASplit[K1[F1[_]], F2[_]] = AList[SplitK[K1, F2]]
type Empty = AList[[F[_]] =>> Unit]
type Single[A1] = AList[[F[_]] =>> F[A1]]
type Tail[X <: Tuple] = X match { case _$76 *: xs => xs }
type Tuple10K[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10] = [F[_]] =>> Map[(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10), F]
type Tuple11K[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11] = [F[_]] =>> Map[(A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11), F]
type Tuple2K[A1, A2] = [F[_]] =>> Map[(A1, A2), F]
type Tuple3K[A1, A2, A3] = [F[_]] =>> Map[(A1, A2, A3), F]
type Tuple4K[A1, A2, A3, A4] = [F[_]] =>> Map[(A1, A2, A3, A4), F]
type Tuple5K[A1, A2, A3, A4, A5] = [F[_]] =>> Map[(A1, A2, A3, A4, A5), F]
type Tuple6K[A1, A2, A3, A4, A5, A6] = [F[_]] =>> Map[(A1, A2, A3, A4, A5, A6), F]
type Tuple7K[A1, A2, A3, A4, A5, A6, A7] = [F[_]] =>> Map[(A1, A2, A3, A4, A5, A6, A7), F]
type Tuple8K[A1, A2, A3, A4, A5, A6, A7, A8] = [F[_]] =>> Map[(A1, A2, A3, A4, A5, A6, A7, A8), F]
type Tuple9K[A1, A2, A3, A4, A5, A6, A7, A8, A9] = [F[_]] =>> Map[(A1, A2, A3, A4, A5, A6, A7, A8, A9), F]

Value members

Concrete methods

inline def apply[K[F[_]] : AList]: AList[K]
def asplit[K1[g[_]], G2[_]](base: AList[K1]): ASplit[K1, G2]
inline def fromTuple[A1, A2](f: A1 => A2): ((A1)) => A2
def idPoly[F1[_]]: [a] => (p: F1[a]) => F1[a]
def list[A]: AList[[F[_]] =>> List[F[A]]]
def nil[Tup <: Tuple]: Tup
def single[A1]: Single[A1]
inline def toTuple[A](a: A): (A)
def tuple[Tup <: Tuple]: AList[[F[_]] =>> Map[Tup, F]]
def tuple10[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10]: AList[Tuple10K[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10]]
def tuple11[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11]: AList[Tuple11K[A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11]]
def tuple2[A1, A2]: AList[Tuple2K[A1, A2]]
def tuple3[A1, A2, A3]: AList[Tuple3K[A1, A2, A3]]
def tuple4[A1, A2, A3, A4]: AList[Tuple4K[A1, A2, A3, A4]]
def tuple5[A1, A2, A3, A4, A5]: AList[Tuple5K[A1, A2, A3, A4, A5]]
def tuple6[A1, A2, A3, A4, A5, A6]: AList[Tuple6K[A1, A2, A3, A4, A5, A6]]
def tuple7[A1, A2, A3, A4, A5, A6, A7]: AList[Tuple7K[A1, A2, A3, A4, A5, A6, A7]]
def tuple8[A1, A2, A3, A4, A5, A6, A7, A8]: AList[Tuple8K[A1, A2, A3, A4, A5, A6, A7, A8]]
def tuple9[A1, A2, A3, A4, A5, A6, A7, A8, A9]: AList[Tuple9K[A1, A2, A3, A4, A5, A6, A7, A8, A9]]

Concrete fields

lazy val empty: Empty

Givens

Givens

given given_AList_Map[Tup <: Tuple]: AList[[F[_]] =>> Map[Tup, F]]