given_Convertible_Real_WholeNumber

com.phasmidsoftware.number.algebra.eager.Real.given_Convertible_Real_WholeNumber

A given instance of the Convertible typeclass that provides a conversion from WholeNumber to Real.

The conversion is performed by taking the WholeNumber value, converting it to a Double, and then constructing a Real instance using the converted value.

This implementation assumes that the Real type represents a numerical value with support for double-precision, and the WholeNumber type represents an integer-like structure.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def convert(witness: Real, u: WholeNumber): Real

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