final
object
OrderingConstraint
Constructors
Members
A lens for updating a single entry array in one of the three constraint maps
A lens for updating a single entry array in one of the three constraint maps
type
ArrayValuedMap
=
[T] =>
dotty.tools.dotc.util.SimpleMap[dotty.tools.dotc.core.Types.PolyType, Array[T]
] (not handled)
type
ParamBounds
=
ArrayValuedMap
[
Type
]
The type of OrderingConstraint#boundsMap
The type of OrderingConstraint#boundsMap
type
ParamOrdering
=
ArrayValuedMap
[
List
[
PolyParam
]
]
The type of OrderingConstraint#lowerMap
, OrderingConstraint#upperMap
The type of OrderingConstraint#lowerMap
, OrderingConstraint#upperMap
val
boundsLens
: ConstraintLens
[
Type
]
val
lowerLens
: ConstraintLens
[
List
[
PolyParam
]
]
val
upperLens
: ConstraintLens
[
List
[
PolyParam
]
]
private
def
newConstraint
(
boundsMap:
ParamBounds
,
lowerMap:
ParamOrdering
,
upperMap:
ParamOrdering
)
(
implicit
ctx:
Context
)
: OrderingConstraint
A new constraint with given maps
A new constraint with given maps