coulomb.syntax.refined
package coulomb.syntax.refined
Members list
Type members
Classlikes
object infra
Attributes
- Source
- refined.scala
- Supertypes
- Self type
-
infra.type
Value members
Concrete methods
Lift a raw value into a unit quantity with a Refined value type
Lift a raw value into a unit quantity with a Refined value type
Type parameters
- P
-
the Refined predicate type (e.g. Positive, NonNegative)
- U
-
the desired unit type
Value parameters
- v
-
the raw value to lift
Attributes
- Returns
-
a unit quantity whose value is refined by P
val dist = refineVU[NonNegative, Meter](1.0)
- Source
- refined.scala
Extensions
Extensions
extension [V](v: V)
Attributes
- Source
- refined.scala
In this article