shapeless.PolyDefns
Base class for lifting a Poly to a Poly over the universal domain, yielding an HList with the result as it's only element if the argument is in the original functions domain, HNil otherwise.
Poly
HList
HNil
The type of the case representing this polymorphic function at argument types L.
L
Base class for lifting a
Poly
to aPoly
over the universal domain, yielding anHList
with the result as it's only element if the argument is in the original functions domain,HNil
otherwise.