@@ -7,7 +7,15 @@ Maintainer : The Idris Community.
77-}
88{-# LANGUAGE DeriveDataTypeable, DeriveFunctor, DeriveGeneric, PatternGuards #-}
99
10−module Idris.Options where
10+module Idris.Options (Codegen(..), ConsoleWidth(..), HowMuchDocs(..), IRFormat(..),
11+ LanguageExt(..), LogCat(..), Opt(..), Optimisation(..),
12+ OutputFmt(..), REPLPort(..), codegenCats, elabCats, getBC,
13+ getClient, getCodegen, getCodegenArgs, getColour, getConsoleWidth,
14+ getEvalExpr, getExecScript, getFile, getIBCSubDir, getImportDir,
15+ getLanguageExt, getOptLevel, getOptimisation, getOutput,
16+ getOutputTy, getPkg, getPkgCheck, getPkgClean, getPkgDir,
17+ getPkgIndex, getPkgMkDoc, getPkgREPL, getPkgTest, getPort,
18+ getSourceDir, loggingCatsStr, opt, parserCats, strLogCat) where
1119
1220import Data.Maybe
1321import GHC.Generics (Generic)