Structs§
- Access
Tok - Arrow
Tok - BHorz
GrpTok - BList
Tok - BMath
GrpTok - BRecord
Tok - BVert
GrpTok - BarTok
- Break
Tok - CharTok
- Code
Text Tok - Coerce
Tok - Colon
Tok - Comma
Tok - Command
Tok - ConsTok
- Constraint
Tok - CtorTok
- DefEq
Tok - EHorz
GrpTok - EList
Tok - EMath
GrpTok - ERecord
Tok - EVert
GrpTok - EndActive
Tok - EoiTok
- Exact
AmpTok - Exact
Minus Tok - Exact
Tilde Tok - Exact
Times Tok - Float
Tok - Header
Import Tok - Header
Require Tok - Horz
CmdTok - Horz
CmdType Tok - IntTok
- ItemTok
- KwAnd
- KwAs
- KwBefore
- KwBlock
- KwDirect
- KwDo
- KwElse
- KwEnd
- KwFalse
- KwFun
- KwIf
- KwIn
- KwInclude
- KwInline
- KwLet
- KwLet
Horz - KwLet
Math - KwLet
Mutable - KwLet
Rec - KwLet
Vert - KwMatch
- KwMath
- KwModule
- KwMutable
- KwOf
- KwOpen
- KwPackage
- KwPersistent
- KwRec
- KwSig
- KwSignature
- KwStruct
- KwThen
- KwTrue
- KwType
- KwUse
- KwVal
- KwWhen
- KwWhile
- KwWith
- LParen
Tok - List
Punct Tok - Math
Char Tok - Math
CmdTok - Math
CmdType Tok - Omission
Tok - Open
Module Tok - Optional
Arrow Tok - Optional
Tok - Optional
Type Tok - Overwrite
EqTok - Primes
Tok - RParen
Tok - RowVar
Tok - SepTok
- Space
Tok - Subscript
Tok - Superscript
Tok - Type
VarTok - Unop
Exclam Tok - VarTok
- Vert
CmdTok - Vert
CmdType Tok - Wildcard
Tok
Enums§
- Token
- One SATySFi token. Variant names and payloads mirror the token declarations
of the v0.0.6
parser.mly(LETNONREC=Let,LAMBDA=Fun, …). Command payloads keep their sigil, exactly like the OCaml lexer (HorzCmd("\\emph"),VertCmd("+p")).
Type Aliases§
- Atom
- A token together with its source span: the atom type fed to the syan parser.