Idris.Parser
moduleHeader
data ImportInfo
import_
prog
decl
internalDecl
decl'
externalDecl
declExtensions
declExtension
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
runElabDecl
parseExpr
parseConst
parseTactic
parseElabShellStep
parseImports
findFC
fixColour
parseProg
loadModule
loadModule'
loadFromIFile
loadSource'
loadSource
addHides