Idris.Parser
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
parseExpr
parseConst
parseTactic
parseElabShellStep
parseImports
findFC
fixColour
parseProg
loadModule
loadModule'
loadFromIFile
loadSource'
loadSource
addHides