given_Convertible_RationalNumber_RationalNumber
com.phasmidsoftware.number.algebra.eager.RationalNumber.given_Convertible_RationalNumber_RationalNumber
Provides a given instance of the Convertible typeclass for RationalNumber to RationalNumber.
This instance defines a no-op conversion, where a RationalNumber is returned as-is when converted to another RationalNumber. It enables compatibility with the Convertible typeclass interface, but does not alter or transform the provided RationalNumber.
Value parameters
- u
-
the
RationalNumberinstance to be returned - witness
-
an optional
RationalNumberinstance provided as a template (unused in this implementation)
Attributes
- Returns
-
the input
RationalNumberreturned directly without modification - Graph
-
- Supertypes
- Self type
Members list
In this article