redis4cats-core/dev.profunktor.redis4cats/hlist/Witness

Witness

object Witness
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[T0 <: HList, R0 <: HList] = Witness[T0] { type R = R0; }

Implicits

Implicits

implicit def hcons[F[_], A, T <: HList](w: Witness[T]): Aux[HCons[F[A], T], HCons[A, R]]
implicit val hnil: Aux[HNil, HNil]