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 homogeneous: the type of the level below must match the types of values produced at this level.
Using path-dependent typing, the given fixity describes the shape of the operators expected. For more information see the Parsley wiki.
Type parameters
A
the type associated with the operators (which it consumes and produces)