Idris.Parser.Helpers

type IdrisParser

data IdrisInnerParser a

type MonadicParsing m

class HasLastTokenSpan m

runparser

highlightP

noDocCommentHere

clearParserWarnings

reportParserWarnings

parserWarning

# Space, comments and literals (token/lexing like parsers)

simpleWhiteSpace

isEol

eol

singleLineComment

multiLineComment

docComment

whiteSpace

stringLiteral

charLiteral

natural

integer

float

# Symbols, identifiers, names and operators

idrisStyle

char

string

lchar

lcharFC

symbol

symbolFC

reserved

reservedFC

reservedHL

reservedOp

reservedOpFC

identifier

iName

maybeWithNS

name

initsEndAt

mkName

opChars

operatorLetter

commentMarkers

invalidOperators

operator

operatorFC

# Position helpers

fileName

lineNum

columnNum

getFC

# Syntax helpers

bindList

commaSeparated

# Layout helpers

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

# Error reporting helpers

fixErrorMsg

collect