shapeless.ops.hlist
Type class witnessing that HLists L1 and L2 have elements of the form F1[Ln] and F2[Ln] respectively for all indices n. This implies that a natural transform F1 ~> F2 will take a list of type L1 onto a list of type L2.
HList
L1
L2
F1[Ln]
F2[Ln]
n
F1 ~> F2
Type class witnessing that
HList
sL1
andL2
have elements of the formF1[Ln]
andF2[Ln]
respectively for all indicesn
. This implies that a natural transformF1 ~> F2
will take a list of typeL1
onto a list of typeL2
.