given_Convertible_WholeNumber_WholeNumber

com.phasmidsoftware.number.algebra.eager.WholeNumber.given_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 WholeNumber to be converted

witness

a WholeNumber instance that serves as a template or context for the conversion

Attributes

Returns

the same WholeNumber instance as passed in u

Note

This implementation adheres to the contract of the Convertible typeclass.

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