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