given_Convertible_Real_Angle

com.phasmidsoftware.number.algebra.eager.Real.given_Convertible_Real_Angle

A given instance of the Convertible typeclass for transforming an instance of type Angle into a Real using a conversion operation.

This implementation creates a new Real by extracting the numerical value from the Angle instance and wrapping it within the Real type.

Value parameters

u

the source Angle instance to be converted into a Real

witness

an instance of type Real, representing additional context for the conversion

Attributes

Returns

a new Real instance containing the numerical value derived from the input Angle

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def convert(witness: Real, u: Angle): 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