Mapped

trait Mapped[L <: HList, F[_]] extends Serializable
Companion:
object
trait Serializable
class Object
trait Matchable
class Any
Mapped[L, F]

Type members

Types

type Out <: HList

Value members

Abstract methods

def extract(l: Out, f: NaturalTransformation[F, Id]): L
def remap[G[_]](l: Out, f: NaturalTransformation[F, G]): BoundedAPair[HList, Id, [m <: HList] =>> Aux[L, G, m]]
def toList(l: Out): List[Exists[F]]
def toList[A](l: Out, f: F ~>> A): List[A]

Concrete methods

final def prepend[H]: Aux[H :: L, F, F[H] :: Out]