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