nutcracker/nutcracker.util/Mapped

Mapped

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

Type members

Types

type Aux[L <: HList, F[_], Out0 <: HList] = Mapped[L, F] { type Out = Out0; }
type ~>>[G[_], B] = NaturalTransformation[G, [_] =>> Const[B, _$5]]

Value members

Concrete methods

def apply[L <: HList, F[_]](implicit mapped: Mapped[L, F]): Aux[L, F, Out]
def empty[L <: HList, F[_]](implicit F: PlusEmpty[F], L: MappedListBuilder[L]): BoundedAPair[HList, Id, [m <: HList] =>> Aux[L, F, m]]
def pure[L <: HList, F[_]](l: L)(implicit F: Applicative[F]): BoundedAPair[HList, Id, [m <: HList] =>> Aux[L, F, m]]

Implicits

Implicits

implicit def hconsMapped[H, T <: HList, F[_], OutM <: HList](implicit mt: Aux[T, F, OutM]): Aux[H :: T, F, F[H] :: OutM]
implicit def hnilMapped[F[_]]: Aux[HNil, F, HNil]