GOps
This helper object builds values of Ops[A, B], for fully heterogeneous precedence parsing.
Attributes
- Since:
2.2.0
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- GOps.type
Members list
Value members
Concrete methods
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. To make this work, a wrap function must be provided
that can transform the values from the layer below into the types generated by this layer.
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.
- fixity
the fixity of the operators described.
- ops
The operators themselves, provided variadically.
- wrap
the function which should be used to wrap up a value of type
Awhen required (this will be at right of a left-assoc chain, left of a right-assoc chain, or the root of a prefix/postfix chain).- See also:
- Since:
2.2.0
- Note:
currently a bug in scaladoc incorrect displays this functions type, it should be:
fixity.Op[A, B], NOTOp[A, B].