constraintless/thaj.constraintless

thaj.constraintless

package thaj.constraintless

Type members

Classlikes

trait All[C[_], As <: HList]
Companion:
object
object All
Companion:
class
trait Elem[A, As <: HList]
Companion:
object
object Elem
Companion:
class
trait Evidence[A, As <: HList]
final case class HCons[H, T <: HList](head: H, tail: T) extends HList
sealed trait HList
Companion:
object
object HList
Companion:
class
case class HNil() extends HList
final case class Head[A, As <: HList]() extends Evidence[A, HCons[A, As]]
trait MathOp[A]
Companion:
object
object MathOp
Companion:
class
final case class Proxy[As]()
final case class Tail[A, B, As <: HList](ev: Elem[A, As]) extends Evidence[A, HCons[B, As]]
trait ~>[F[_], G[_]]