given_Convertible_Angle_Real

com.phasmidsoftware.number.algebra.eager.Angle.given_Convertible_Angle_Real

Provides a Convertible instance to allow transformations from Real to Angle.

This implementation leverages the convert function to create a new Angle instance using a Real value. The conversion relies on the asDouble method of the Real type to extract its numeric representation before constructing the Angle.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

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

Converts a Real value into an Angle instance.

Converts a Real value into an Angle instance.

Value parameters

u

the Real value to be converted into an Angle

witness

a value of type Angle provided as a reference or template, though not actively utilized in the conversion process

Attributes

Returns

a new Angle instance created from the numeric representation of the provided Real value