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

WitnessFilter

object WitnessFilter
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[T <: HList, S0 <: HList] = WitnessFilter[T] { type S = S0; }

Implicits

Implicits

implicit def hconsNotUnit[F[_], A, T <: HList](`evidence$2`: Unit =!= A, w: WitnessFilter[T]): Aux[HCons[F[A], T], HCons[A, S]]
implicit def hconsUnit[F[_], T <: HList](w: WitnessFilter[T]): Aux[HCons[F[Unit], T], S]
implicit val hnil: Aux[HNil, HNil]