License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
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
Generic Codegen Source # | |
Show Codegen Source # | |
Binary Codegen | |
NFData Codegen | |
Defined in Idris.DeepSeq | |
Eq Codegen Source # | |
type Rep Codegen Source # | |
Defined in Idris.Options type Rep Codegen = D1 ('MetaData "Codegen" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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
Generic ConsoleWidth Source # | |
Defined in Idris.Options Associated Types type Rep ConsoleWidth :: Type -> Type | |
Show ConsoleWidth Source # | |
Defined in Idris.Options Methods showsPrec :: Int -> ConsoleWidth -> ShowS show :: ConsoleWidth -> String showList :: [ConsoleWidth] -> ShowS | |
NFData ConsoleWidth | |
Defined in Idris.DeepSeq Methods rnf :: ConsoleWidth -> () | |
Eq ConsoleWidth Source # | |
Defined in Idris.Options | |
type Rep ConsoleWidth Source # | |
Defined in Idris.Options type Rep ConsoleWidth = D1 ('MetaData "ConsoleWidth" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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
Generic IRFormat Source # | |
Show IRFormat Source # | |
Binary IRFormat | |
NFData IRFormat | |
Defined in Idris.DeepSeq | |
Eq IRFormat Source # | |
type Rep IRFormat Source # | |
Defined in Idris.Options type Rep IRFormat = D1 ('MetaData "IRFormat" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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
Generic LanguageExt Source # | |
Defined in Idris.Options Associated Types type Rep LanguageExt :: Type -> Type | |
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 | |
Binary LanguageExt | |
Defined in Idris.IBC | |
NFData LanguageExt | |
Defined in Idris.DeepSeq Methods rnf :: LanguageExt -> () | |
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 | |
type Rep LanguageExt Source # | |
Defined in Idris.Options type Rep LanguageExt = D1 ('MetaData "LanguageExt" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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
Generic LogCat Source # | |
Show LogCat Source # | |
NFData LogCat | |
Defined in Idris.DeepSeq | |
Eq LogCat Source # | |
Ord LogCat Source # | |
type Rep LogCat Source # | |
Defined in Idris.Options type Rep LogCat = D1 ('MetaData "LogCat" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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
Generic Opt Source # | |
Show Opt Source # | |
NFData Opt | |
Defined in Idris.DeepSeq | |
Eq Opt Source # | |
type Rep Opt Source # | |
Defined in Idris.Options type Rep Opt = D1 ('MetaData "Opt" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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
Generic Optimisation Source # | |
Defined in Idris.Options Associated Types type Rep Optimisation :: Type -> Type | |
Show Optimisation Source # | |
Defined in Idris.Options Methods showsPrec :: Int -> Optimisation -> ShowS show :: Optimisation -> String showList :: [Optimisation] -> ShowS | |
NFData Optimisation | |
Defined in Idris.DeepSeq Methods rnf :: Optimisation -> () | |
Eq Optimisation Source # | |
Defined in Idris.Options | |
type Rep Optimisation Source # | |
Defined in Idris.Options type Rep Optimisation = D1 ('MetaData "Optimisation" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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
Generic REPLPort Source # | |
Show REPLPort Source # | |
NFData REPLPort | |
Defined in Idris.DeepSeq | |
Eq REPLPort Source # | |
type Rep REPLPort Source # | |
Defined in Idris.Options type Rep REPLPort = D1 ('MetaData "REPLPort" "Idris.Options" "idris-1.3.4-3WzTclJnDGuF9nqMis99Gw" '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 #