nutcracker/nutcracker.util/Transformed

Transformed

object Transformed
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

object Comapped
object Mapped

Types

type Aux[L1 <: HList, F[_], G[_], L2] = Transformed[L1, F, G] { type Out = L2; }
type Comapped[L <: HList, F[_]] = Transformed[L, F, Id]
type Mapped[L <: HList, F[_]] = Transformed[L, Id, F]

Value members

Concrete methods

def apply[L <: HList, F[_], G[_]](implicit tr: Transformed[L, F, G]): Transformed[L, F, G]

Implicits

Implicits

implicit def hconsTransformed1[H, T <: HList, F[_], G[_]](implicit tr: Transformed[T, F, G]): Aux[F[H] :: T, F, G, G[H] :: Out]
implicit def hconsTransformed2[H, T <: HList, G[_]](implicit tr: Transformed[T, Id, G]): Aux[H :: T, Id, G, G[H] :: Out]
implicit def hconsTransformed3[H, T <: HList, F[_]](implicit tr: Transformed[T, F, Id]): Aux[F[H] :: T, F, Id, H :: Out]
implicit def hconsTransformed4[H, T <: HList, F[_], A](implicit tr: Transformed[T, F, [_] =>> Const[A, _$22]]): Aux[F[H] :: T, F, [_] =>> Const[A, _$23], A :: Out]
implicit def hconsTransformed5[H, T <: HList, A](implicit tr: Transformed[T, Id, [_] =>> Const[A, _$26]]): Aux[H :: T, Id, [_] =>> Const[A, _$27], A :: Out]
implicit def hnilTransformed1[F[_], G[_]]: Aux[HNil, F, G, HNil]
implicit def hnilTransformed2[F[_], A]: Aux[HNil, F, [_] =>> Const[A, _$14], HNil]