idris-1.1.0: Functional Programming Language with Dependent Types

CopyrightLicense : BSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Options

Description

 

Synopsis

Documentation

data Opt #

Instances

Eq Opt # 

Methods

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

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

Show Opt # 

Methods

showsPrec :: Int -> Opt -> ShowS #

show :: Opt -> String #

showList :: [Opt] -> ShowS #

Generic Opt # 

Associated Types

type Rep Opt :: * -> * #

Methods

from :: Opt -> Rep Opt x #

to :: Rep Opt x -> Opt #

type Rep Opt # 
type Rep Opt = D1 (MetaData "Opt" "Idris.Options" "idris-1.1.0-L54YVL1kIAI9dTDAVsjfla" False) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Filename" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "Quiet" PrefixI False) U1)) ((:+:) (C1 (MetaCons "NoBanner" PrefixI False) U1) (C1 (MetaCons "ColourREPL" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))))) ((:+:) ((:+:) (C1 (MetaCons "Idemode" PrefixI False) U1) (C1 (MetaCons "IdemodeSocket" PrefixI False) U1)) ((:+:) (C1 (MetaCons "IndentWith" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) ((:+:) (C1 (MetaCons "IndentClause" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "ShowAll" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "ShowLibs" PrefixI False) U1) (C1 (MetaCons "ShowLibDir" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ShowDocDir" PrefixI False) U1) (C1 (MetaCons "ShowIncs" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "ShowPkgs" PrefixI False) U1) (C1 (MetaCons "ShowLoggingCats" PrefixI False) U1)) ((:+:) (C1 (MetaCons "NoBasePkgs" PrefixI False) U1) ((:+:) (C1 (MetaCons "NoPrelude" PrefixI False) U1) (C1 (MetaCons "NoBuiltins" PrefixI False) U1)))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "NoREPL" PrefixI False) U1) (C1 (MetaCons "OLogging" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int)))) ((:+:) (C1 (MetaCons "OLogCats" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [LogCat]))) (C1 (MetaCons "Output" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) ((:+:) ((:+:) (C1 (MetaCons "Interface" PrefixI False) U1) (C1 (MetaCons "TypeCase" PrefixI False) U1)) ((:+:) (C1 (MetaCons "TypeInType" PrefixI False) U1) ((:+:) (C1 (MetaCons "DefaultTotal" PrefixI False) U1) (C1 (MetaCons "DefaultPartial" PrefixI False) U1))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "WarnPartial" PrefixI False) U1) (C1 (MetaCons "WarnReach" PrefixI False) U1)) ((:+:) (C1 (MetaCons "AuditIPkg" PrefixI False) U1) (C1 (MetaCons "EvalTypes" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "NoCoverage" PrefixI False) U1) (C1 (MetaCons "ErrContext" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ShowImpl" PrefixI False) U1) ((:+:) (C1 (MetaCons "Verbose" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "Port" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 REPLPort))))))))) ((:+:) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "IBCSubDir" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "ImportDir" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "SourceDir" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "PkgBuild" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) ((:+:) ((:+:) (C1 (MetaCons "PkgInstall" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "PkgClean" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "PkgCheck" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "PkgREPL" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "PkgDocBuild" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "PkgDocInstall" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "PkgTest" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "PkgIndex" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FilePath))) (C1 (MetaCons "WarnOnly" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Pkg" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "BCAsm" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "DumpDefun" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "DumpCases" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "UseCodegen" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Codegen)))))))) ((:+:) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "CodegenArgs" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "OutputTy" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 OutputType)))) ((:+:) (C1 (MetaCons "Extension" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 LanguageExt))) (C1 (MetaCons "InterpretScript" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))) ((:+:) ((:+:) (C1 (MetaCons "EvalExpr" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) (C1 (MetaCons "TargetTriple" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "TargetCPU" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) ((:+:) (C1 (MetaCons "OptLevel" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "AddOpt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Optimisation))))))) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "RemoveOpt" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Optimisation))) (C1 (MetaCons "Client" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)))) ((:+:) (C1 (MetaCons "ShowOrigErr" PrefixI False) U1) ((:+:) (C1 (MetaCons "AutoWidth" PrefixI False) U1) (C1 (MetaCons "AutoSolve" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "UseConsoleWidth" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ConsoleWidth))) (C1 (MetaCons "DumpHighlights" PrefixI False) U1)) ((:+:) (C1 (MetaCons "DesugarNats" PrefixI False) U1) ((:+:) (C1 (MetaCons "NoElimDeprecationWarnings" PrefixI False) U1) (C1 (MetaCons "NoOldTacticDeprecationWarnings" PrefixI False) U1))))))))

data REPLPort #

Instances

Eq REPLPort # 
Show REPLPort # 
Generic REPLPort # 

Associated Types

type Rep REPLPort :: * -> * #

Methods

from :: REPLPort -> Rep REPLPort x #

to :: Rep REPLPort x -> REPLPort #

type Rep REPLPort # 
type Rep REPLPort = D1 (MetaData "REPLPort" "Idris.Options" "idris-1.1.0-L54YVL1kIAI9dTDAVsjfla" False) ((:+:) (C1 (MetaCons "DontListen" PrefixI False) U1) (C1 (MetaCons "ListenPort" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PortNumber))))

data Codegen #

Constructors

Via IRFormat String 
Bytecode 

Instances

Eq Codegen # 

Methods

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

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

Show Codegen # 
Generic Codegen # 

Associated Types

type Rep Codegen :: * -> * #

Methods

from :: Codegen -> Rep Codegen x #

to :: Rep Codegen x -> Codegen #

type Rep Codegen # 

data LanguageExt #

Instances

data IRFormat #

Constructors

IBCFormat 
JSONFormat 

Instances

Eq IRFormat # 
Show IRFormat # 
Generic IRFormat # 

Associated Types

type Rep IRFormat :: * -> * #

Methods

from :: IRFormat -> Rep IRFormat x #

to :: Rep IRFormat x -> IRFormat #

type Rep IRFormat # 
type Rep IRFormat = D1 (MetaData "IRFormat" "Idris.Options" "idris-1.1.0-L54YVL1kIAI9dTDAVsjfla" False) ((:+:) (C1 (MetaCons "IBCFormat" PrefixI False) U1) (C1 (MetaCons "JSONFormat" PrefixI False) U1))

data ConsoleWidth #

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 # 
Show ConsoleWidth # 
Generic ConsoleWidth # 

Associated Types

type Rep ConsoleWidth :: * -> * #

type Rep ConsoleWidth # 
type Rep ConsoleWidth = D1 (MetaData "ConsoleWidth" "Idris.Options" "idris-1.1.0-L54YVL1kIAI9dTDAVsjfla" False) ((:+:) (C1 (MetaCons "InfinitelyWide" PrefixI False) U1) ((:+:) (C1 (MetaCons "ColsWide" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int))) (C1 (MetaCons "AutomaticWidth" PrefixI False) U1)))

data HowMuchDocs #

Constructors

FullDocs 
OverviewDocs 

data OutputFmt #

Constructors

HTMLOutput 
LaTeXOutput 

data Optimisation #

Constructors

PETransform

partial eval and associated transforms

Instances

Eq Optimisation # 
Show Optimisation # 
Generic Optimisation # 

Associated Types

type Rep Optimisation :: * -> * #

type Rep Optimisation # 
type Rep Optimisation = D1 (MetaData "Optimisation" "Idris.Options" "idris-1.1.0-L54YVL1kIAI9dTDAVsjfla" False) (C1 (MetaCons "PETransform" PrefixI False) U1)

data LogCat #

Recognised logging categories for the Idris compiler.

@TODO add in sub categories.

Instances

Eq LogCat # 

Methods

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

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

Ord LogCat # 
Show LogCat # 
Generic LogCat # 

Associated Types

type Rep LogCat :: * -> * #

Methods

from :: LogCat -> Rep LogCat x #

to :: Rep LogCat x -> LogCat #

type Rep LogCat # 
type Rep LogCat = D1 (MetaData "LogCat" "Idris.Options" "idris-1.1.0-L54YVL1kIAI9dTDAVsjfla" False) ((:+:) ((:+:) (C1 (MetaCons "IParse" PrefixI False) U1) ((:+:) (C1 (MetaCons "IElab" PrefixI False) U1) (C1 (MetaCons "ICodeGen" PrefixI False) U1))) ((:+:) (C1 (MetaCons "IErasure" PrefixI False) U1) ((:+:) (C1 (MetaCons "ICoverage" PrefixI False) U1) (C1 (MetaCons "IIBC" PrefixI False) U1))))

getPkgMkDoc #

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

getPkgTest #

Arguments

:: Opt

the option to extract

-> Maybe String

the package file to test

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