Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data Token
- data Keyword
- = KwLet
- | KwIn
- | KwWhere
- | KwData
- | KwCoData
- | KwDo
- | KwPostulate
- | KwAbstract
- | KwPrivate
- | KwInstance
- | KwInterleaved
- | KwMutual
- | KwOverlap
- | KwOpen
- | KwImport
- | KwModule
- | KwPrimitive
- | KwMacro
- | KwInfix
- | KwInfixL
- | KwInfixR
- | KwWith
- | KwRewrite
- | KwForall
- | KwRecord
- | KwConstructor
- | KwField
- | KwInductive
- | KwCoInductive
- | KwEta
- | KwNoEta
- | KwHiding
- | KwUsing
- | KwRenaming
- | KwTo
- | KwPublic
- | KwOpaque
- | KwUnfolding
- | KwOPTIONS
- | KwBUILTIN
- | KwLINE
- | KwFOREIGN
- | KwCOMPILE
- | KwIMPOSSIBLE
- | KwSTATIC
- | KwINJECTIVE
- | KwINJECTIVE_FOR_INFERENCE
- | KwINLINE
- | KwNOINLINE
- | KwETA
- | KwNO_TERMINATION_CHECK
- | KwTERMINATING
- | KwNON_TERMINATING
- | KwNOT_PROJECTION_LIKE
- | KwNON_COVERING
- | KwWARNING_ON_USAGE
- | KwWARNING_ON_IMPORT
- | KwMEASURE
- | KwDISPLAY
- | KwREWRITE
- | KwOVERLAPPABLE
- | KwOVERLAPPING
- | KwOVERLAPS
- | KwINCOHERENT
- | KwQuote
- | KwQuoteTerm
- | KwUnquote
- | KwUnquoteDecl
- | KwUnquoteDef
- | KwSyntax
- | KwPatternSyn
- | KwTactic
- | KwCATCHALL
- | KwVariable
- | KwNO_POSITIVITY_CHECK
- | KwPOLARITY
- | KwNO_UNIVERSE_CHECK
- layoutKeywords :: [Keyword]
- data Symbol
- = SymDot
- | SymSemi
- | SymVirtualSemi
- | SymBar
- | SymColon
- | SymArrow
- | SymEqual
- | SymLambda
- | SymUnderscore
- | SymQuestionMark
- | SymAs
- | SymOpenParen
- | SymCloseParen
- | SymOpenIdiomBracket
- | SymCloseIdiomBracket
- | SymEmptyIdiomBracket
- | SymDoubleOpenBrace
- | SymDoubleCloseBrace
- | SymOpenBrace
- | SymCloseBrace
- | SymOpenVirtualBrace
- | SymCloseVirtualBrace
- | SymOpenPragma
- | SymClosePragma
- | SymEllipsis
- | SymDotDot
- | SymEndComment
Documentation
TokKeyword Keyword Interval | |
TokId (Interval, String) | |
TokQId [(Interval, String)] | |
TokLiteral RLiteral | |
TokSymbol Symbol Interval | |
TokString (Interval, String) | Arbitrary string (not enclosed in double quotes), used in pragmas. |
TokTeX (Interval, String) | |
TokMarkup (Interval, String) | |
TokComment (Interval, String) | |
TokDummy | |
TokEOF Interval |
layoutKeywords :: [Keyword] Source #
Unconditional layout keywords.
Some keywords introduce layout only in certain circumstances, these are not included here.