value
coulomb.conversion.refined.value$
object value
Attributes
- Source:
- value.scala
- Graph
- Supertypes
- Self type
- value.type
Members list
Concise view
Givens
Givens
given ctx_TVC_Refined_Either[VF, VT, P](using vc: TruncatingValueConversion[Refined[VF, P], Refined[VT, P]]): TruncatingValueConversion[Either[String, Refined[VF, P]], Either[String, Refined[VT, P]]]
Attributes
- Source:
- value.scala
given ctx_TVC_Refined_NonNegative[VF, VT](using vc: TruncatingValueConversion[VF, VT], vld: Validate[VT, NonNegative]): TruncatingValueConversion[Refined[VF, NonNegative], Refined[VT, NonNegative]]
Attributes
- Source:
- value.scala
given ctx_TVC_Refined_Positive[VF, VT](using vc: TruncatingValueConversion[VF, VT], vld: Validate[VT, Positive]): TruncatingValueConversion[Refined[VF, Positive], Refined[VT, Positive]]
Attributes
- Source:
- value.scala
given ctx_VC_Refined_Either[VF, VT, P](using vc: ValueConversion[Refined[VF, P], Refined[VT, P]]): ValueConversion[Either[String, Refined[VF, P]], Either[String, Refined[VT, P]]]
Attributes
- Source:
- value.scala
given ctx_VC_Refined_NonNegative[VF, VT](using vc: ValueConversion[VF, VT], vld: Validate[VT, NonNegative]): ValueConversion[Refined[VF, NonNegative], Refined[VT, NonNegative]]
Attributes
- Source:
- value.scala
given ctx_VC_Refined_Positive[VF, VT](using vc: ValueConversion[VF, VT], vld: Validate[VT, Positive]): ValueConversion[Refined[VF, Positive], Refined[VT, Positive]]
Attributes
- Source:
- value.scala