Helium.Main.Args

Documentation

data Option

Constructors

BuildOne

BuildAll

DumpInformationForThisModule

DumpInformationForAllModules

DisableLogging

EnableLogging

Alert String

Overloading

NoOverloading

LvmPath String

Verbose

NoWarnings

MoreOptions

Information String

StopAfterParser

StopAfterStaticAnalysis

StopAfterTypeInferencing

StopAfterDesugar

DumpTokens

DumpUHA

DumpCore

DumpCoreToFile

DebugLogger

Host String

Port Int

DumpTypeDebug

AlgorithmW

AlgorithmM

DisableDirectives

NoRepairHeuristics

HFullQualification

ExperimentalOptions

KindInferencing

SignatureWarnings

RightToLeft

NoSpreading

TreeWalkTopDown

TreeWalkBottomUp

TreeWalkInorderTopFirstPre

TreeWalkInorderTopLastPre

TreeWalkInorderTopFirstPost

TreeWalkInorderTopLastPost

SolverSimple

SolverGreedy

SolverTypeGraph

SolverCombination

SolverChunks

UnifierHeuristics

SelectConstraintNumber Int

NoOverloadingTypeCheck

NoPrelude

UseTutor

Instances

Eq Option

Show Option

processHeliumArgs :: [String] -> IO ([Option], Maybe String)

processRunHeliumArgs :: [String] -> IO ([Option], Maybe String)

processTexthintArgs :: [String] -> IO ([Option], Maybe String)

lvmPathFromOptions :: [Option] -> Maybe String

loggerDEFAULTHOST :: String

simplifyOptions :: [Option] -> [Option]

argsToOptions :: [String] -> [Option]

loggerDEFAULTPORT :: Int

hostFromOptions :: [Option] -> Maybe String

portFromOptions :: [Option] -> Maybe Int

overloadingFromOptions :: [Option] -> Bool

hasAlertOption :: [Option] -> Bool