given_Convertible_Real_Angle
com.phasmidsoftware.number.algebra.eager.Real.given_Convertible_Real_Angle
object given_Convertible_Real_Angle extends 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
Angleinstance to be converted into aReal - witness
-
an instance of type
Real, representing additional context for the conversion
Attributes
- Returns
-
a new
Realinstance containing the numerical value derived from the inputAngle - Graph
-
- Supertypes
- Self type
Members list
In this article