Idris.AbsSyntax
getContext
forCodegen
getObjectFiles
addObjectFile
getLibs
addLib
getFlags
addFlag
addDyLib
getAutoImports
addAutoImport
addDefinedName
getDefinedNames
addTT
dumpTT
addHdr
addImported
addLangExt
addTrans
addErrRev
addErrReduce
addErasureUsage
addExport
addUsedName
getErasureUsage
getExports
totcheck
defer_totcheck
clear_totcheck
setFlags
addFnOpt
setFnInfo
setAccessibility
getFromHideList
setTotality
setInjectivity
getTotality
getCoercionsTo
addToCG
addCalls
addTyInferred
addTyInfConstraints
isTyInferred
addFunctionErrorHandlers
getAllNames
getCGAllNames
addCGAllNames
allNames
addCoercion
addDocStr
addNameHint
getNameHints
addDeprecated
getDeprecated
addFragile
getFragile
push_estack
pop_estack
addImplementation
addOpenImpl
setOpenImpl
getOpenImpl
addInterface
updateIMethods
addRecord
addAutoHint
getAutoHints
addIBC
clearIBC
resetNameIdx
addNameIdx
addNameIdx'
getSymbol
getHdrs
getImported
setErrSpan
clearErr
getSO
setSO
getIState
putIState
updateIState
withContext
withContext_
runIO
getName
addInternalApp
getInternalApp
clearOrigPats
clearPTypes
checkUndefined
isUndefined
setContext
updateContext
addConstraints
addDeferred
addDeferredTyCon
addDeferred'
solveDeferred
getUndefined
isMetavarName
getWidth
setWidth
setDepth
typeDescription
type1Doc
isetPrompt
isetLoadedRegion
setLogLevel
setLogCats
setCmdLine
getCmdLine
getDumpHighlighting
getDumpDefun
getDumpCases
logLevel
setAutoImpls
getAutoImpls
setErrContext
errContext
getOptimise
setOptimise
addOptimise
removeOptimise
setOptLevel
useREPL
setREPL
showOrigErr
setShowOrigErr
setAutoSolve
setNoBanner
getNoBanner
setEvalTypes
getDesugarNats
setDesugarNats
setQuiet
getQuiet
setCodegen
codegen
setOutputTy
outputTy
setIdeMode
setTargetTriple
targetTriple
setTargetCPU
targetCPU
verbose
setVerbose
iReport
typeInType
setTypeInType
coverage
setCoverage
setIBCSubDir
valIBCSubDir
addImportDir
setImportDirs
allImportDirs
addSourceDir
setSourceDirs
allSourceDirs
colourise
setColourise
impShow
setImpShow
setColour
logLvl
logCoverage
logErasure
logParser
logElab
logCodeGen
logIBC
logLvlCats
cmdOptType
noErrors
setTypeCase
getIndentWith
setIndentWith
getIndentClause
setIndentClause
expandParams
expandParamsD
mapsnd
expandImplementationScope
getPriority
addStatics
addToUsing
addUsingConstraints
addUsingImpls
getUnboundImplicits
implicit
implicit'
implicitise
addImplPat
addImplBound
addImplBoundInf
addImpl
addImpl'
aiFn
impIn
expArg
stripLinear
stripUnmatchable
mkPApp
findStatics
data EitherErr a b
toEither
matchClause
matchClause'
substMatches
substMatch
substMatchShadow
substMatchesShadow
shadow
mkUniqueNames
getFile
getBC
getOutput
getIBCSubDir
getImportDir
getSourceDir
getPkgDir
getPkg
getPkgClean
getPkgREPL
getPkgCheck
getPkgMkDoc
getPkgTest
getCodegen
getCodegenArgs
getConsoleWidth
getExecScript
getPkgIndex
getEvalExpr
getOutputTy
getLanguageExt
getTriple
getCPU
getOptLevel
getOptimisation
getColour
getClient
getPort
opt