Idris.Parser
moduleHeader
data ImportInfo
import_
prog
decl
decl'
syntaxDecl
addSyntax
addReplSyntax
syntaxRule
syntaxSym
fnDecl
fnDecl'
fnOpts
postulate
using_
params
mutual
namespace
instanceBlock
classBlock
class_
instance_
docstring
usingDeclList
usingDecl
pattern
caf
argExpr
rhs
clause
wExpr
whereBlock
codegen_
directive
pLangExt
totality
provider
transform
parseExpr
parseConst
parseTactic
parseImports
findFC
fixColour
parseProg
loadModule
loadModule'
loadFromIFile
loadSource'
loadSource
addHides