meow.generic
package meow.generic
Type members
Types
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); }