|
|
|
Description |
Definitions for fixity and precedence levels.
|
|
Synopsis |
|
|
|
Documentation |
|
|
Fixity of operators.
| Constructors | |
|
|
|
|
|
The default fixity. Currently defined to be LeftAssoc 20.
|
|
|
Precedence is associated with a context.
| Constructors | TopCtx | | FunctionSpaceDomainCtx | | LeftOperandCtx Fixity | | RightOperandCtx Fixity | | FunctionCtx | | ArgumentCtx | | InsideOperandCtx | | WithFunCtx | | WithArgCtx | | DotPatternCtx | |
|
|
|
|
The precedence corresponding to a possibly hidden argument.
|
|
|
Do we need to bracket an operator application of the given fixity
in a context with the given precedence.
|
|
|
Does a lambda-like thing (lambda, let or pi) need brackets in the given
context. A peculiar thing with lambdas is that they don't need brackets
in a right operand context. For instance: m >>= x -> m' is a valid
infix application.
|
|
|
Does a function application need brackets?
|
|
|
Does a with application need brackets?
|
|
|
Does a function space need brackets?
|
|
|
|
Produced by Haddock version 2.6.0 |