coulomb.syntax.refined
package coulomb.syntax.refined
Members list
Concise view
Type members
Classlikes
object infra
Attributes
- Source:
- refined.scala
- Graph
- 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
Attributes
- P
the Refined predicate type (e.g. Positive, NonNegative)
- U
the desired unit type
- v
the raw value to lift
- 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