| License | BSD3 |
|---|---|
| Maintainer | The Idris Community. |
| Safe Haskell | None |
| Language | Haskell2010 |
Idris.Options
Description
- data Codegen
- data ConsoleWidth
- data HowMuchDocs
- data IRFormat
- data LanguageExt
- data LogCat
- data Opt
- = Filename String
- | Quiet
- | NoBanner
- | ColourREPL Bool
- | Idemode
- | IdemodeSocket
- | IndentWith Int
- | IndentClause Int
- | ShowAll
- | ShowLibs
- | ShowLibDir
- | ShowDocDir
- | ShowIncs
- | ShowPkgs
- | ShowLoggingCats
- | NoBasePkgs
- | NoPrelude
- | NoBuiltins
- | NoREPL
- | OLogging Int
- | OLogCats [LogCat]
- | Output String
- | Interface
- | TypeCase
- | TypeInType
- | DefaultTotal
- | DefaultPartial
- | WarnPartial
- | WarnReach
- | AuditIPkg
- | EvalTypes
- | NoCoverage
- | ErrContext
- | ShowImpl
- | Verbose Int
- | Port REPLPort
- | IBCSubDir String
- | ImportDir String
- | SourceDir String
- | PkgBuild String
- | PkgInstall String
- | PkgClean String
- | PkgCheck String
- | PkgREPL String
- | PkgDocBuild String
- | PkgDocInstall String
- | PkgTest String
- | PkgIndex FilePath
- | WarnOnly
- | Pkg String
- | BCAsm String
- | DumpDefun String
- | DumpCases String
- | UseCodegen Codegen
- | CodegenArgs String
- | OutputTy OutputType
- | Extension LanguageExt
- | InterpretScript String
- | EvalExpr String
- | TargetTriple String
- | TargetCPU String
- | OptLevel Int
- | AddOpt Optimisation
- | RemoveOpt Optimisation
- | Client String
- | ShowOrigErr
- | AutoWidth
- | AutoSolve
- | UseConsoleWidth ConsoleWidth
- | DumpHighlights
- | DesugarNats
- | NoOldTacticDeprecationWarnings
- | AllowCapitalizedPatternVariables
- data Optimisation = PETransform
- data OutputFmt
- data REPLPort
- codegenCats :: [LogCat]
- elabCats :: [LogCat]
- getBC :: Opt -> Maybe String
- getClient :: Opt -> Maybe String
- getCodegen :: Opt -> Maybe Codegen
- getCodegenArgs :: Opt -> Maybe String
- getColour :: Opt -> Maybe Bool
- getConsoleWidth :: Opt -> Maybe ConsoleWidth
- getEvalExpr :: Opt -> Maybe String
- getExecScript :: Opt -> Maybe String
- getFile :: Opt -> Maybe String
- getIBCSubDir :: Opt -> Maybe String
- getImportDir :: Opt -> Maybe String
- getLanguageExt :: Opt -> Maybe LanguageExt
- getOptLevel :: Opt -> Maybe Int
- getOptimisation :: Opt -> Maybe (Bool, Optimisation)
- getOutput :: Opt -> Maybe String
- getOutputTy :: Opt -> Maybe OutputType
- getPkg :: Opt -> Maybe (Bool, String)
- getPkgCheck :: Opt -> Maybe String
- getPkgClean :: Opt -> Maybe String
- getPkgDir :: Opt -> Maybe String
- getPkgIndex :: Opt -> Maybe FilePath
- getPkgMkDoc :: Opt -> Maybe (Bool, String)
- getPkgREPL :: Opt -> Maybe String
- getPkgTest :: Opt -> Maybe String
- getPort :: [Opt] -> Maybe REPLPort
- getSourceDir :: Opt -> Maybe String
- loggingCatsStr :: String
- opt :: (Opt -> Maybe a) -> [Opt] -> [a]
- parserCats :: [LogCat]
- strLogCat :: LogCat -> String
Documentation
data ConsoleWidth Source #
How wide is the console?
Constructors
| InfinitelyWide | Have pretty-printer assume that lines should not be broken |
| ColsWide Int | Manually specified - must be positive |
| AutomaticWidth | Attempt to determine width, or 80 otherwise |
Instances
data HowMuchDocs Source #
Constructors
| FullDocs | |
| OverviewDocs |
Constructors
| IBCFormat | |
| JSONFormat |
data LanguageExt Source #
Constructors
| TypeProviders | |
| ErrorReflection | |
| UniquenessTypes | |
| DSLNotation | |
| ElabReflection | |
| FCReflection | |
| LinearTypes |
Instances
Recognised logging categories for the Idris compiler.
@TODO add in sub categories.
Constructors
Constructors
| HTMLOutput | |
| LaTeXOutput |
Constructors
| DontListen | |
| ListenPort PortNumber |
codegenCats :: [LogCat] Source #
getConsoleWidth :: Opt -> Maybe ConsoleWidth Source #
getLanguageExt :: Opt -> Maybe LanguageExt Source #
getOptimisation :: Opt -> Maybe (Bool, Optimisation) Source #
getOutputTy :: Opt -> Maybe OutputType Source #
Returns None if given an Opt which is not PkgMkDoc Otherwise returns Just x, where x is the contents of PkgMkDoc
parserCats :: [LogCat] Source #