coulomb-refined
0.7.3
coulomb-refined
API
coulomb.conversion.refined
unit
value
coulomb.ops.algebra.refined
all
infra
ASGR
ASGRE
FPR
FPRE
MGR
MGRE
MMR
MMRE
MSGR
MSGRE
coulomb.ops.resolution
refined
coulomb.policy.overlay.refined
algebraic
coulomb.syntax.refined
infra
ApplyRefineVU
coulomb-refined
/
coulomb.ops.resolution
/
refined
refined
coulomb.ops.resolution.refined$
object
refined
Attributes
Source:
refined.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
refined
.type
Clear all
Members list
Concise view
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