License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell2010 |
Idris.Options
Description
Synopsis
- data Codegen
- data ConsoleWidth
- = InfinitelyWide
- | ColsWide Int
- | AutomaticWidth
- 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
- data OutputFmt
- data REPLPort
- = DontListen
- | ListenPort PortNumber
- 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
Instances
Eq Codegen Source # | |
Show Codegen Source # | |
Generic Codegen Source # | |
Binary Codegen | |
NFData Codegen | |
Defined in Idris.DeepSeq | |
type Rep Codegen Source # | |
Defined in Idris.Options type Rep Codegen = D1 (MetaData "Codegen" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) (C1 (MetaCons "Via" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IRFormat) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "Bytecode" PrefixI False) (U1 :: Type -> Type)) |
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
Eq ConsoleWidth Source # | |
Defined in Idris.Options | |
Show ConsoleWidth Source # | |
Defined in Idris.Options Methods showsPrec :: Int -> ConsoleWidth -> ShowS show :: ConsoleWidth -> String showList :: [ConsoleWidth] -> ShowS | |
Generic ConsoleWidth Source # | |
Defined in Idris.Options Associated Types type Rep ConsoleWidth :: Type -> Type | |
NFData ConsoleWidth | |
Defined in Idris.DeepSeq Methods rnf :: ConsoleWidth -> () | |
type Rep ConsoleWidth Source # | |
Defined in Idris.Options type Rep ConsoleWidth = D1 (MetaData "ConsoleWidth" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) (C1 (MetaCons "InfinitelyWide" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ColsWide" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "AutomaticWidth" PrefixI False) (U1 :: Type -> Type))) |
data HowMuchDocs Source #
Constructors
FullDocs | |
OverviewDocs |
Constructors
IBCFormat | |
JSONFormat |
Instances
Eq IRFormat Source # | |
Show IRFormat Source # | |
Generic IRFormat Source # | |
Binary IRFormat | |
NFData IRFormat | |
Defined in Idris.DeepSeq | |
type Rep IRFormat Source # | |
Defined in Idris.Options type Rep IRFormat = D1 (MetaData "IRFormat" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) (C1 (MetaCons "IBCFormat" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "JSONFormat" PrefixI False) (U1 :: Type -> Type)) |
data LanguageExt Source #
Constructors
TypeProviders | |
ErrorReflection | |
UniquenessTypes | |
DSLNotation | |
ElabReflection | |
FCReflection | |
LinearTypes |
Instances
Eq LanguageExt Source # | |
Defined in Idris.Options | |
Ord LanguageExt Source # | |
Defined in Idris.Options Methods compare :: LanguageExt -> LanguageExt -> Ordering (<) :: LanguageExt -> LanguageExt -> Bool (<=) :: LanguageExt -> LanguageExt -> Bool (>) :: LanguageExt -> LanguageExt -> Bool (>=) :: LanguageExt -> LanguageExt -> Bool max :: LanguageExt -> LanguageExt -> LanguageExt min :: LanguageExt -> LanguageExt -> LanguageExt | |
Read LanguageExt Source # | |
Defined in Idris.Options Methods readsPrec :: Int -> ReadS LanguageExt readList :: ReadS [LanguageExt] readPrec :: ReadPrec LanguageExt readListPrec :: ReadPrec [LanguageExt] | |
Show LanguageExt Source # | |
Defined in Idris.Options Methods showsPrec :: Int -> LanguageExt -> ShowS show :: LanguageExt -> String showList :: [LanguageExt] -> ShowS | |
Generic LanguageExt Source # | |
Defined in Idris.Options Associated Types type Rep LanguageExt :: Type -> Type | |
Binary LanguageExt | |
Defined in Idris.IBC | |
NFData LanguageExt | |
Defined in Idris.DeepSeq Methods rnf :: LanguageExt -> () | |
type Rep LanguageExt Source # | |
Defined in Idris.Options type Rep LanguageExt = D1 (MetaData "LanguageExt" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) ((C1 (MetaCons "TypeProviders" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ErrorReflection" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "UniquenessTypes" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "DSLNotation" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ElabReflection" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "FCReflection" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "LinearTypes" PrefixI False) (U1 :: Type -> Type)))) |
Recognised logging categories for the Idris compiler.
@TODO add in sub categories.
Instances
Eq LogCat Source # | |
Ord LogCat Source # | |
Show LogCat Source # | |
Generic LogCat Source # | |
NFData LogCat | |
Defined in Idris.DeepSeq | |
type Rep LogCat Source # | |
Defined in Idris.Options type Rep LogCat = D1 (MetaData "LogCat" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) ((C1 (MetaCons "IParse" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "IElab" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ICodeGen" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "IErasure" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ICoverage" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IIBC" PrefixI False) (U1 :: Type -> Type)))) |
Constructors
Instances
Eq Opt Source # | |
Show Opt Source # | |
Generic Opt Source # | |
NFData Opt | |
Defined in Idris.DeepSeq | |
type Rep Opt Source # | |
Defined in Idris.Options type Rep Opt = D1 (MetaData "Opt" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) ((((((C1 (MetaCons "Filename" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "Quiet" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NoBanner" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ColourREPL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))) :+: ((C1 (MetaCons "Idemode" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "IdemodeSocket" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "IndentWith" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: (C1 (MetaCons "IndentClause" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "ShowAll" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "ShowLibs" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ShowLibDir" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ShowDocDir" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ShowIncs" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "ShowPkgs" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ShowLoggingCats" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NoBasePkgs" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NoPrelude" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "NoBuiltins" PrefixI False) (U1 :: Type -> Type)))))) :+: ((((C1 (MetaCons "NoREPL" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "OLogging" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) :+: (C1 (MetaCons "OLogCats" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LogCat])) :+: C1 (MetaCons "Output" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) :+: ((C1 (MetaCons "Interface" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "TypeCase" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "TypeInType" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "DefaultTotal" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "DefaultPartial" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "WarnPartial" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "WarnReach" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "AuditIPkg" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "EvalTypes" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "NoCoverage" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ErrContext" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "ShowImpl" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Verbose" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "Port" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 REPLPort)))))))) :+: (((((C1 (MetaCons "IBCSubDir" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "ImportDir" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "SourceDir" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "PkgBuild" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) :+: ((C1 (MetaCons "PkgInstall" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "PkgClean" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "PkgCheck" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "PkgREPL" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "PkgDocBuild" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))))) :+: (((C1 (MetaCons "PkgDocInstall" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "PkgTest" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "PkgIndex" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath)) :+: C1 (MetaCons "WarnOnly" PrefixI False) (U1 :: Type -> Type))) :+: ((C1 (MetaCons "Pkg" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "BCAsm" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "DumpDefun" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "DumpCases" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "UseCodegen" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Codegen))))))) :+: ((((C1 (MetaCons "CodegenArgs" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "OutputTy" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 OutputType))) :+: (C1 (MetaCons "Extension" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LanguageExt)) :+: C1 (MetaCons "InterpretScript" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) :+: ((C1 (MetaCons "EvalExpr" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "TargetTriple" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "TargetCPU" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: (C1 (MetaCons "OptLevel" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)) :+: C1 (MetaCons "AddOpt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Optimisation)))))) :+: (((C1 (MetaCons "RemoveOpt" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Optimisation)) :+: C1 (MetaCons "Client" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "ShowOrigErr" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "AutoWidth" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AutoSolve" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "UseConsoleWidth" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConsoleWidth)) :+: C1 (MetaCons "DumpHighlights" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "DesugarNats" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "NoOldTacticDeprecationWarnings" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "AllowCapitalizedPatternVariables" PrefixI False) (U1 :: Type -> Type)))))))) |
data Optimisation Source #
Constructors
PETransform | |
GeneralisedNatHack | partial eval and associated transforms |
Instances
Eq Optimisation Source # | |
Defined in Idris.Options | |
Show Optimisation Source # | |
Defined in Idris.Options Methods showsPrec :: Int -> Optimisation -> ShowS show :: Optimisation -> String showList :: [Optimisation] -> ShowS | |
Generic Optimisation Source # | |
Defined in Idris.Options Associated Types type Rep Optimisation :: Type -> Type | |
NFData Optimisation | |
Defined in Idris.DeepSeq Methods rnf :: Optimisation -> () | |
type Rep Optimisation Source # | |
Defined in Idris.Options type Rep Optimisation = D1 (MetaData "Optimisation" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) (C1 (MetaCons "PETransform" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GeneralisedNatHack" PrefixI False) (U1 :: Type -> Type)) |
Constructors
HTMLOutput | |
LaTeXOutput |
Constructors
DontListen | |
ListenPort PortNumber |
Instances
Eq REPLPort Source # | |
Show REPLPort Source # | |
Generic REPLPort Source # | |
NFData REPLPort | |
Defined in Idris.DeepSeq | |
type Rep REPLPort Source # | |
Defined in Idris.Options type Rep REPLPort = D1 (MetaData "REPLPort" "Idris.Options" "idris-1.3.2-1lLq0T3A6ErEz3hXEQ4ESI" False) (C1 (MetaCons "DontListen" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ListenPort" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PortNumber))) |
codegenCats :: [LogCat] Source #
getCodegen :: Opt -> Maybe Codegen Source #
getCodegenArgs :: Opt -> Maybe String Source #
getConsoleWidth :: Opt -> Maybe ConsoleWidth Source #
getEvalExpr :: Opt -> Maybe String Source #
getExecScript :: Opt -> Maybe String Source #
getIBCSubDir :: Opt -> Maybe String Source #
getImportDir :: Opt -> Maybe String Source #
getLanguageExt :: Opt -> Maybe LanguageExt Source #
getOptLevel :: Opt -> Maybe Int Source #
getOptimisation :: Opt -> Maybe (Bool, Optimisation) Source #
getOutputTy :: Opt -> Maybe OutputType Source #
getPkgCheck :: Opt -> Maybe String Source #
getPkgClean :: Opt -> Maybe String Source #
getPkgIndex :: Opt -> Maybe FilePath Source #
Arguments
:: Opt | Opt to extract |
-> Maybe (Bool, String) | Result |
Returns None if given an Opt which is not PkgMkDoc Otherwise returns Just x, where x is the contents of PkgMkDoc
getPkgREPL :: Opt -> Maybe String Source #
Arguments
:: Opt | the option to extract |
-> Maybe String | the package file to test |
getSourceDir :: Opt -> Maybe String Source #
loggingCatsStr :: String Source #
parserCats :: [LogCat] Source #