unit
coulomb.conversion.refined.unit$
object unit
Attributes
- Source:
- unit.scala
- Graph
- Supertypes
- Self type
- unit.type
Members list
Concise view
Givens
Givens
given ctx_DUC_Refined_Either[V, B, P, UF, UT](using uc: DeltaUnitConversion[Refined[V, P], B, UF, UT]): DeltaUnitConversion[Either[String, Refined[V, P]], B, UF, UT]
Attributes
- Source:
- unit.scala
given ctx_DUC_Refined_NonNegative[V, B, UF, UT](using uc: DeltaUnitConversion[V, B, UF, UT], vld: Validate[V, NonNegative]): DeltaUnitConversion[Refined[V, NonNegative], B, UF, UT]
Attributes
- Source:
- unit.scala
given ctx_DUC_Refined_Positive[V, B, UF, UT](using uc: DeltaUnitConversion[V, B, UF, UT], vld: Validate[V, Positive]): DeltaUnitConversion[Refined[V, Positive], B, UF, UT]
Attributes
- Source:
- unit.scala
given ctx_TDUC_Refined_Either[V, B, P, UF, UT](using uc: TruncatingDeltaUnitConversion[Refined[V, P], B, UF, UT]): TruncatingDeltaUnitConversion[Either[String, Refined[V, P]], B, UF, UT]
Attributes
- Source:
- unit.scala
given ctx_TDUC_Refined_NonNegative[V, B, UF, UT](using uc: TruncatingDeltaUnitConversion[V, B, UF, UT], vld: Validate[V, NonNegative]): TruncatingDeltaUnitConversion[Refined[V, NonNegative], B, UF, UT]
Attributes
- Source:
- unit.scala
given ctx_TDUC_Refined_Positive[V, B, UF, UT](using uc: TruncatingDeltaUnitConversion[V, B, UF, UT], vld: Validate[V, Positive]): TruncatingDeltaUnitConversion[Refined[V, Positive], B, UF, UT]
Attributes
- Source:
- unit.scala
given ctx_TUC_Refined_Either[V, P, UF, UT](using uc: TruncatingUnitConversion[Refined[V, P], UF, UT]): TruncatingUnitConversion[Either[String, Refined[V, P]], UF, UT]
Attributes
- Source:
- unit.scala
given ctx_TUC_Refined_NonNegative[V, UF, UT](using uc: TruncatingUnitConversion[V, UF, UT], vld: Validate[V, NonNegative]): TruncatingUnitConversion[Refined[V, NonNegative], UF, UT]
Attributes
- Source:
- unit.scala
given ctx_TUC_Refined_Positive[V, UF, UT](using uc: TruncatingUnitConversion[V, UF, UT], vld: Validate[V, Positive]): TruncatingUnitConversion[Refined[V, Positive], UF, UT]
Attributes
- Source:
- unit.scala
given ctx_UC_Refined_Either[V, P, UF, UT](using uc: UnitConversion[Refined[V, P], UF, UT]): UnitConversion[Either[String, Refined[V, P]], UF, UT]
Attributes
- Source:
- unit.scala
given ctx_UC_Refined_NonNegative[V, UF, UT](using uc: UnitConversion[V, UF, UT], vld: Validate[V, NonNegative]): UnitConversion[Refined[V, NonNegative], UF, UT]
Attributes
- Source:
- unit.scala
given ctx_UC_Refined_Positive[V, UF, UT](using uc: UnitConversion[V, UF, UT], vld: Validate[V, Positive]): UnitConversion[Refined[V, Positive], UF, UT]
Attributes
- Source:
- unit.scala