Documentation
Lean
.
Parser
.
Syntax
Search
Google site search
Lean
.
Parser
.
Syntax
source
Imports
Init
Lean.Parser.Command
Imported by
Lean
.
Parser
.
precedenceParser
Lean
.
Parser
.
syntaxParser
Lean
.
Parser
.
precedence
Lean
.
Parser
.
optPrecedence
Lean
.
Parser
.
Syntax
.
numPrec
Lean
.
Parser
.
Syntax
.
paren
Lean
.
Parser
.
Syntax
.
cat
Lean
.
Parser
.
Syntax
.
unary
Lean
.
Parser
.
Syntax
.
binary
Lean
.
Parser
.
Syntax
.
sepBy
Lean
.
Parser
.
Syntax
.
sepBy1
Lean
.
Parser
.
Syntax
.
atom
Lean
.
Parser
.
Syntax
.
nonReserved
Lean
.
Parser
.
Command
.
namedName
Lean
.
Parser
.
Command
.
optNamedName
Lean
.
Parser
.
Command
.
prefix
Lean
.
Parser
.
Command
.
infix
Lean
.
Parser
.
Command
.
infixl
Lean
.
Parser
.
Command
.
infixr
Lean
.
Parser
.
Command
.
postfix
Lean
.
Parser
.
Command
.
mixfixKind
Lean
.
Parser
.
Command
.
mixfix
Lean
.
Parser
.
Command
.
identPrec
Lean
.
Parser
.
Command
.
optKind
Lean
.
Parser
.
Command
.
notationItem
Lean
.
Parser
.
Command
.
notation
Lean
.
Parser
.
Command
.
macro_rules
Lean
.
Parser
.
Command
.
syntax
Lean
.
Parser
.
Command
.
syntaxAbbrev
Lean
.
Parser
.
Command
.
catBehaviorBoth
Lean
.
Parser
.
Command
.
catBehaviorSymbol
Lean
.
Parser
.
Command
.
catBehavior
Lean
.
Parser
.
Command
.
syntaxCat
Lean
.
Parser
.
Command
.
macroArg
Lean
.
Parser
.
Command
.
macroRhs
Lean
.
Parser
.
Command
.
macroTail
Lean
.
Parser
.
Command
.
macro
Lean
.
Parser
.
Command
.
elab_rules
Lean
.
Parser
.
Command
.
elabArg
Lean
.
Parser
.
Command
.
elabTail
Lean
.
Parser
.
Command
.
elab
source
@[inline]
def
Lean
.
Parser
.
precedenceParser
(rbp :
optParam
Nat
0
)
:
Lean.Parser.Parser
Instances For
source
@[inline]
def
Lean
.
Parser
.
syntaxParser
(rbp :
optParam
Nat
0
)
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
precedence
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
optPrecedence
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
numPrec
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
paren
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
cat
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
unary
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
binary
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
sepBy
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
sepBy1
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
atom
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Syntax
.
nonReserved
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
namedName
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
optNamedName
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
prefix
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
infix
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
infixl
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
infixr
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
postfix
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
mixfixKind
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
mixfix
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
identPrec
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
optKind
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
notationItem
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
notation
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
macro_rules
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
syntax
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
syntaxAbbrev
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
catBehaviorBoth
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
catBehaviorSymbol
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
catBehavior
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
syntaxCat
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
macroArg
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
macroRhs
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
macroTail
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
macro
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
elab_rules
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
elabArg
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
elabTail
:
Lean.Parser.Parser
Instances For
source
def
Lean
.
Parser
.
Command
.
elab
:
Lean.Parser.Parser
Instances For