Idris.Parser.Helpers
type IdrisParser
data IdrisInnerParser a
type MonadicParsing m
class HasLastTokenSpan m
runparser
highlightP
noDocCommentHere
clearParserWarnings
reportParserWarnings
parserWarning
simpleWhiteSpace
isEol
eol
singleLineComment
multiLineComment
docComment
whiteSpace
stringLiteral
charLiteral
natural
integer
float
idrisStyle
char
string
lchar
lcharFC
symbol
symbolFC
reserved
reservedFC
reservedHL
reservedOp
reservedOpFC
identifier
iName
maybeWithNS
name
initsEndAt
mkName
opChars
operatorLetter
commentMarkers
invalidOperators
operator
operatorFC
fileName
lineNum
columnNum
getFC
bindList
commaSeparated
pushIndent
popIndent
indent
lastIndent
indented
indentedBlock
indentedBlock1
indentedBlockS
lookAheadMatches
openBlock
closeBlock
terminator
keepTerminator
notEndApp
notEndBlock
data IndentProperty
indentPropHolds
gtProp
gteProp
eqProp
ltProp
lteProp
notOpenBraces
accessibility'
accessibility
addAcc
accData
fixErrorMsg
collect