data-lab/tc/ConstraintK

ConstraintK

trait ConstraintK[F <: ([_$1] =>> Any), TC <: ([_$2] =>> Any)]
Companion
object
class Object
trait Matchable
class Any

Givens

Givens

given instanceK: TC[F[A]]