Idris.Options
data Opt
data REPLPort
data Codegen
data LanguageExt
data IRFormat
data ConsoleWidth
data HowMuchDocs
data OutputFmt
data Optimisation
data LogCat
strLogCat
codegenCats
parserCats
elabCats
loggingCatsStr
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