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
=
SimpleMap
[
TypeLambda, Array
[
=T
]
]
type
ParamBounds
=
ArrayValuedMap
[
Type
]
The type of OrderingConstraint#boundsMap
The type of OrderingConstraint#boundsMap
type
ParamOrdering
=
ArrayValuedMap
[
List
[
TypeParamRef
]
]
The type of OrderingConstraint#lowerMap, OrderingConstraint#upperMap
The type of OrderingConstraint#lowerMap, OrderingConstraint#upperMap
val
boundsLens
: ConstraintLens
[
Type
]
val
lowerLens
: ConstraintLens
[
List
[
TypeParamRef
]
]
val
upperLens
: ConstraintLens
[
List
[
TypeParamRef
]
]
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