Dotty Documentation

0.1.1-bin-SNAPSHOT

object OrderingConstraint

[-] Constructors

[-] Members

[+] abstract class ConstraintLens

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

[+] type ParamOrdering = ArrayValuedMap [ List [ TypeParamRef ] ]

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