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 RationalNumber instance to be returned

witness

an optional RationalNumber instance provided as a template (unused in this implementation)

Attributes

Returns

the input RationalNumber returned directly without modification

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

Transforms an instance of type U into type T by applying a specific operation, optionally using an additional parameter of type T.

Transforms an instance of type U into type T by applying a specific operation, optionally using an additional parameter of type T.

Value parameters

t

a template object of type T that might assist in the conversion

u

the source object of type U to be converted

Attributes

Returns

the converted object of type T