coulomb-refined
0.8.0
API
Generated with
coulomb-refined/coulomb/coulomb.ops/coulomb.ops.resolution/refined

refined

coulomb.ops.resolution.refined
object refined

Attributes

Source
refined.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
refined.type

Members list

Givens

Givens

transparent inline given ctx_VR_Refined_Either[VL, VR, P](using vres: ValueResolution[Refined[VL, P], Refined[VR, P]]): ValueResolution[Either[String, Refined[VL, P]], Either[String, Refined[VR, P]]]

Attributes

Source
refined.scala
transparent inline given ctx_VR_Refined_NonNegative[VL, VR, NonNegative](using Prio1)(using vres: ValueResolution[VL, VR]): ValueResolution[Refined[VL, NonNegative], Refined[VR, NonNegative]]

Attributes

Source
refined.scala
transparent inline given ctx_VR_Refined_Positive[VL, VR, Positive](using Prio0)(using vres: ValueResolution[VL, VR]): ValueResolution[Refined[VL, Positive], Refined[VR, Positive]]

Attributes

Source
refined.scala
Generated with