given_Convertible_WholeNumber_WholeNumber
com.phasmidsoftware.number.algebra.eager.WholeNumber.given_Convertible_WholeNumber_WholeNumber
object given_Convertible_WholeNumber_WholeNumber extends Convertible[WholeNumber, WholeNumber]
Provides a Convertible implementation for converting instances of WholeNumber to WholeNumber.
This implementation allows a WholeNumber instance to be converted to another WholeNumber without applying any transformation, effectively serving as an identity conversion.
Value parameters
- u
-
the source
WholeNumberto be converted - witness
-
a
WholeNumberinstance that serves as a template or context for the conversion
Attributes
- Returns
-
the same
WholeNumberinstance as passed inu - Note
-
This implementation adheres to the contract of the
Convertibletypeclass. - Graph
-
- Supertypes
- Self type
Members list
In this article