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