meow.generic

package meow.generic

Type members

Types

type Const[A] = [T] =>> A
type Id[X] = X
type K1[F[_]] = Mirror { type MirroredType = [X] =>> F[X]; type MirroredElemTypes <: ([_] =>> Tuple); }
type K1Product[F[_]] = Product { type MirroredType = [X] =>> F[X]; type MirroredElemTypes <: ([_] =>> Tuple); }
type K1Sum[F[_]] = Sum { type MirroredType = [X] =>> F[X]; type MirroredElemTypes <: ([_] =>> Tuple); }
type LiftP[F[_[_]], T <: ([X] =>> Tuple)] = T[Any] match { case a *: _$12 => F[[X] =>> Head[T[X]]] *: LiftP[F, [X] =>> Tail[T[X]]] case _$13 => EmptyTuple }

Value members

Concrete methods

def prodIterator[T](p: T): Iterator[Any]
inline def summonAsList[T <: Tuple, F[_]]: List[F[Any]]
inline def summonKindAsList[T <: Tuple, K[_[_]]]: List[K[[X] =>> Any]]