idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Idris.Options

Description

 
Synopsis

Documentation

data Codegen Source #

Constructors

Via IRFormat String 
Bytecode 

Instances

Instances details
Generic Codegen Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep Codegen :: Type -> Type

Methods

from :: Codegen -> Rep Codegen x

to :: Rep Codegen x -> Codegen

Show Codegen Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> Codegen -> ShowS

show :: Codegen -> String

showList :: [Codegen] -> ShowS

Binary Codegen 
Instance details

Defined in Idris.IBC

Methods

put :: Codegen -> Put

get :: Get Codegen

putList :: [Codegen] -> Put

NFData Codegen 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: Codegen -> ()

Eq Codegen Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: Codegen -> Codegen -> Bool

(/=) :: Codegen -> Codegen -> Bool

type Rep Codegen Source # 
Instance details

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

Instances details
Generic ConsoleWidth Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep ConsoleWidth :: Type -> Type

Show ConsoleWidth Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> ConsoleWidth -> ShowS

show :: ConsoleWidth -> String

showList :: [ConsoleWidth] -> ShowS

NFData ConsoleWidth 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: ConsoleWidth -> ()

Eq ConsoleWidth Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: ConsoleWidth -> ConsoleWidth -> Bool

(/=) :: ConsoleWidth -> ConsoleWidth -> Bool

type Rep ConsoleWidth Source # 
Instance details

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 IRFormat Source #

Constructors

IBCFormat 
JSONFormat 

Instances

Instances details
Generic IRFormat Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep IRFormat :: Type -> Type

Methods

from :: IRFormat -> Rep IRFormat x

to :: Rep IRFormat x -> IRFormat

Show IRFormat Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> IRFormat -> ShowS

show :: IRFormat -> String

showList :: [IRFormat] -> ShowS

Binary IRFormat 
Instance details

Defined in Idris.IBC

Methods

put :: IRFormat -> Put

get :: Get IRFormat

putList :: [IRFormat] -> Put

NFData IRFormat 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: IRFormat -> ()

Eq IRFormat Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: IRFormat -> IRFormat -> Bool

(/=) :: IRFormat -> IRFormat -> Bool

type Rep IRFormat Source # 
Instance details

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 #

Instances

Instances details
Generic LanguageExt Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep LanguageExt :: Type -> Type

Methods

from :: LanguageExt -> Rep LanguageExt x

to :: Rep LanguageExt x -> LanguageExt

Read LanguageExt Source # 
Instance details

Defined in Idris.Options

Methods

readsPrec :: Int -> ReadS LanguageExt

readList :: ReadS [LanguageExt]

readPrec :: ReadPrec LanguageExt

readListPrec :: ReadPrec [LanguageExt]

Show LanguageExt Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> LanguageExt -> ShowS

show :: LanguageExt -> String

showList :: [LanguageExt] -> ShowS

Binary LanguageExt 
Instance details

Defined in Idris.IBC

Methods

put :: LanguageExt -> Put

get :: Get LanguageExt

putList :: [LanguageExt] -> Put

NFData LanguageExt 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: LanguageExt -> ()

Eq LanguageExt Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: LanguageExt -> LanguageExt -> Bool

(/=) :: LanguageExt -> LanguageExt -> Bool

Ord LanguageExt Source # 
Instance details

Defined in Idris.Options

type Rep LanguageExt Source # 
Instance details

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))))

data LogCat Source #

Recognised logging categories for the Idris compiler.

@TODO add in sub categories.

Instances

Instances details
Generic LogCat Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep LogCat :: Type -> Type

Methods

from :: LogCat -> Rep LogCat x

to :: Rep LogCat x -> LogCat

Show LogCat Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> LogCat -> ShowS

show :: LogCat -> String

showList :: [LogCat] -> ShowS

NFData LogCat 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: LogCat -> ()

Eq LogCat Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: LogCat -> LogCat -> Bool

(/=) :: LogCat -> LogCat -> Bool

Ord LogCat Source # 
Instance details

Defined in Idris.Options

Methods

compare :: LogCat -> LogCat -> Ordering

(<) :: LogCat -> LogCat -> Bool

(<=) :: LogCat -> LogCat -> Bool

(>) :: LogCat -> LogCat -> Bool

(>=) :: LogCat -> LogCat -> Bool

max :: LogCat -> LogCat -> LogCat

min :: LogCat -> LogCat -> LogCat

type Rep LogCat Source # 
Instance details

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))))

data Opt Source #

Constructors

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

REPL TCP port

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

Automatically adjust terminal width

AutoSolve

Automatically issue "solve" tactic in old-style interactive prover

UseConsoleWidth ConsoleWidth 
DumpHighlights 
DesugarNats 
NoOldTacticDeprecationWarnings

Don't show deprecation warnings for old-style tactics

AllowCapitalizedPatternVariables

Allow pattern variables to be capitalized

Instances

Instances details
Generic Opt Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep Opt :: Type -> Type

Methods

from :: Opt -> Rep Opt x

to :: Rep Opt x -> Opt

Show Opt Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> Opt -> ShowS

show :: Opt -> String

showList :: [Opt] -> ShowS

NFData Opt 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: Opt -> ()

Eq Opt Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: Opt -> Opt -> Bool

(/=) :: Opt -> Opt -> Bool

type Rep Opt Source # 
Instance details

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

Instances details
Generic Optimisation Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep Optimisation :: Type -> Type

Show Optimisation Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> Optimisation -> ShowS

show :: Optimisation -> String

showList :: [Optimisation] -> ShowS

NFData Optimisation 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: Optimisation -> ()

Eq Optimisation Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: Optimisation -> Optimisation -> Bool

(/=) :: Optimisation -> Optimisation -> Bool

type Rep Optimisation Source # 
Instance details

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))

data REPLPort Source #

Constructors

DontListen 
ListenPort PortNumber 

Instances

Instances details
Generic REPLPort Source # 
Instance details

Defined in Idris.Options

Associated Types

type Rep REPLPort :: Type -> Type

Methods

from :: REPLPort -> Rep REPLPort x

to :: Rep REPLPort x -> REPLPort

Show REPLPort Source # 
Instance details

Defined in Idris.Options

Methods

showsPrec :: Int -> REPLPort -> ShowS

show :: REPLPort -> String

showList :: [REPLPort] -> ShowS

NFData REPLPort 
Instance details

Defined in Idris.DeepSeq

Methods

rnf :: REPLPort -> ()

Eq REPLPort Source # 
Instance details

Defined in Idris.Options

Methods

(==) :: REPLPort -> REPLPort -> Bool

(/=) :: REPLPort -> REPLPort -> Bool

type Rep REPLPort Source # 
Instance details

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)))

getBC :: Opt -> Maybe String Source #

getClient :: Opt -> Maybe String Source #

getCodegenArgs :: Opt -> Maybe String Source #

getColour :: Opt -> Maybe Bool Source #

getEvalExpr :: Opt -> Maybe String Source #

getExecScript :: Opt -> Maybe String Source #

getFile :: Opt -> Maybe String Source #

getIBCSubDir :: Opt -> Maybe String Source #

getImportDir :: Opt -> Maybe String Source #

getOptLevel :: Opt -> Maybe Int Source #

getOutput :: Opt -> Maybe String Source #

getPkg :: Opt -> Maybe (Bool, String) Source #

getPkgCheck :: Opt -> Maybe String Source #

getPkgClean :: Opt -> Maybe String Source #

getPkgDir :: Opt -> Maybe String Source #

getPkgIndex :: Opt -> Maybe FilePath Source #

getPkgMkDoc 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 #

getPkgTest Source #

Arguments

:: Opt

the option to extract

-> Maybe String

the package file to test

getPort :: [Opt] -> Maybe REPLPort Source #

getSourceDir :: Opt -> Maybe String Source #

opt :: (Opt -> Maybe a) -> [Opt] -> [a] Source #

strLogCat :: LogCat -> String Source #