Idris.Parser

Main grammar

moduleHeader

data ImportInfo

import_

prog

decl

internalDecl

decl'

externalDecl

declExtensions

declExtension

syntaxDecl

addSyntax

addReplSyntax

syntaxRule

syntaxSym

fnDecl

fnDecl'

fnOpts

fnOpt

postulate

using_

params

openInterface

mutual

namespace

implementationBlock

interfaceBlock

interface_

implementation

docstring

usingDeclList

usingDecl

pattern

caf

argExpr

rhs

clause

wExpr

whereBlock

codegen_

directive

pLangExt

totality

provider

transform

runElabDecl

Loading and parsing

parseExpr

parseConst

parseTactic

parseElabShellStep

parseImports

findFC

fixColour

parseProg

loadModule

loadModule'

loadFromIFile

loadSource'

loadSource

addHides