constraintless/thaj.constraintless/All

All

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

Type members

Classlikes

final case class Trap[C[_], B](ev: C[B])

""" We transform the constraint c b into a data type which ‘traps’ the relationship between c and b: """

""" We transform the constraint c b into a data type which ‘traps’ the relationship between c and b: """

Implicits

Implicits

implicit def allHList[C[_], A, As <: HList](implicit c: C[A], ev: All[C, As]): All[C, HCons[A, As]]
implicit def allHList2[C[_]]: All[C, HNil]