shapeless
Type class witnessing the existence of a natural transformation between K[_] and V[_].
K[_]
V[_]
Use this trait to represent an HMap relation of the form K[T] maps to V[T].
HMap
K[T]
V[T]
Type class witnessing the existence of a natural transformation between
K[_]
andV[_]
.Use this trait to represent an
HMap
relation of the formK[T]
maps toV[T]
.