This function builds an Ops object representing many operators found at the same precedence level, with a given fixity.
This function builds an Ops object representing many operators found at the same precedence level, with a given fixity.
The operators found on the level constructed by this function are heterogeneous: the type of the level below may
vary from the types of the values produced at this level. It is constrained, however, such that values of the
layer below must be upcastable into types generated by this layer: one layer must be a subtype of the other.
Using path-dependent typing, the given fixity describes the shape of the operators expected. For more information see
the Parsley wiki.
Attributes
A
the base type consumed by the operators.
B
the type produced/consumed by the operators, must be a supertype of A.