Idris.AbsSyntax
getContext
forCodegen
getObjectFiles
addObjectFile
getLibs
addLib
getFlags
addFlag
addDyLib
getAutoImports
addAutoImport
addHdr
addImported
addLangExt
addTrans
addErrRev
totcheck
defer_totcheck
clear_totcheck
setFlags
setFnInfo
setAccessibility
setTotality
getTotality
getCoercionsTo
addToCG
addTyInferred
addTyInfConstraints
isTyInferred
addFunctionErrorHandlers
getFunctionErrorHandlers
getAllNames
allNames
addCoercion
addDocStr
addNameHint
getNameHints
addToCalledG
push_estack
pop_estack
addInstance
addClass
addIBC
clearIBC
resetNameIdx
addNameIdx
addNameIdx'
getSymbol
getHdrs
getImported
setErrSpan
clearErr
getSO
setSO
getIState
putIState
withContext
withContext_
runIO
getName
addInternalApp
getInternalApp
clearOrigPats
clearPTypes
checkUndefined
isUndefined
setContext
updateContext
addConstraints
addDeferred
addDeferredTyCon
addDeferred'
solveDeferred
getUndefined
isMetavarName
getWidth
setWidth
renderWidth
type1Doc
isetPrompt
isetLoadedRegion
setLogLevel
setCmdLine
getCmdLine
getDumpDefun
getDumpCases
logLevel
setErrContext
errContext
getOptimise
setOptimise
addOptimise
removeOptimise
setOptLevel
useREPL
setREPL
showOrigErr
setShowOrigErr
setAutoSolve
setNoBanner
getNoBanner
setQuiet
getQuiet
setCodegen
codegen
setOutputTy
outputTy
setIdeSlave
setTargetTriple
targetTriple
setTargetCPU
targetCPU
verbose
setVerbose
typeInType
setTypeInType
coverage
setCoverage
setIBCSubDir
valIBCSubDir
addImportDir
setImportDirs
allImportDirs
colourise
setColourise
impShow
setImpShow
setColour
logLvl
cmdOptType
iLOG
noErrors
setTypeCase
expandParams
expandParamsD
mapsnd
getPriority
addStatics
addToUsing
addUsingConstraints
addUsingImpls
getUnboundImplicits
implicit
implicit'
implicitise
addImplPat
addImplBound
addImplBoundInf
addImpl
addImpl'
aiFn
stripLinear
stripUnmatchable
mkPApp
findStatics
data EitherErr a b
toEither
matchClause
matchClause'
substMatches
substMatchesShadow
substMatch
substMatchShadow
shadow
mkUniqueNames