data-lab/hkd

hkd

package hkd

Type members

Classlikes

@implicitNotFound("${s} is not a label")
trait IsLabel[s]
object ops

Value members

Methods

inline def caseClassLabels[T](p: ProductOf[T]): List[String]
inline def customErr[U](s: String): Nothing
def customErrMacro[U](s: Expr[String])(evidence$3: Type[U], ctx: Quotes): Nothing
def iterErrMacro[T](evidence$2: Type[T], ctx: Quotes): Expr[Nothing]
inline def iterLabels[T]: List[String]
inline def iterLabelsWrong[T]: String
inline def matchCaseClass[T]: String
inline def showType[T]: String
def typeString[T](evidence$1: Type[T], Quotes): Expr[String]

Givens

Givens

given given_IsLabel_s[s <: String](using val v: ValueOf[s]): IsLabel[s]