The type of the case representing this polymorphic value at type T
.
The type of the case representing this polymorphic value at type T
.
The type of the case representing this polymorphic unary function at argument type T
.
The type of the case representing this polymorphic unary function at argument type T
.
The type of the case representing this polymorphic binary function at argument types T
and U
.
The type of the case representing this polymorphic binary function at argument types T
and U
.
The type of a case of this polymorphic function of the form T => T
The type of a case of this polymorphic function of the form T => T
The type of a case of this polymorphic function of the form T => R
The type of a case of this polymorphic function of the form T => R
The type of a case of this polymorphic function of the form (T, U) => R
The type of a case of this polymorphic function of the form (T, U) => R
Creates an instance of the case representing this polymorphic unary function at argument type T
.
Creates an instance of the case representing this polymorphic unary function at argument type T
.
Base class for lifting a
Function1
to aPoly1
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.