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