UU.UUAGC

Documentation

uuagc :: [String] -> FilePath -> IO (ExitCode, [FilePath])

uuagcMain :: IO ()

compile :: Options -> FilePath -> FilePath -> IO ()

data Identifier

Constructors

Ident

Fields

• getName :: String
• getPos :: Pos

Instances

Show Identifier

Defined in Options

Methods

showsPrec :: Int -> Identifier -> ShowS

show :: Identifier -> String

showList :: [Identifier] -> ShowS

Eq Identifier

Defined in Options

Methods

(==) :: Identifier -> Identifier -> Bool

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

Ord Identifier

Defined in Options

Methods

compare :: Identifier -> Identifier -> Ordering

(<) :: Identifier -> Identifier -> Bool

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

(>) :: Identifier -> Identifier -> Bool

(>=) :: Identifier -> Identifier -> Bool

max :: Identifier -> Identifier -> Identifier

min :: Identifier -> Identifier -> Identifier

type NontermIdent = Identifier

identifier :: String -> Identifier

data MyOptDescr

Constructors

MyOpt [Char] [String] (ArgDescr (Options -> Options)) (Options -> String -> [String]) String

fromMyOpt :: MyOptDescr -> OptDescr (Options -> Options)

noOpt :: Options -> String -> [String]

boolOpt :: (Options -> Bool) -> Options -> String -> [String]

stringOpt :: (Options -> String) -> Options -> String -> [String]

mbStringOpt :: (Options -> Maybe String) -> Options -> String -> [String]

serializeOption :: Options -> MyOptDescr -> [String]

allOptions :: [MyOptDescr]

options :: [OptDescr (Options -> Options)]

allc :: String

data ModuleHeader

Constructors

NoName

Name String

Default

Instances

Show ModuleHeader

Defined in Options

Methods

showsPrec :: Int -> ModuleHeader -> ShowS

show :: ModuleHeader -> String

showList :: [ModuleHeader] -> ShowS

Eq ModuleHeader

Defined in Options

Methods

(==) :: ModuleHeader -> ModuleHeader -> Bool

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

data Options

Constructors

Options

Fields

• moduleName :: ModuleHeader
• dataTypes :: Bool
• dataRecords :: Bool
• strictData :: Bool
• strictWrap :: Bool
• folds :: Bool
• semfuns :: Bool
• typeSigs :: Bool
• attrInfo :: Bool
• rename :: Bool
• wrappers :: Bool
• modcopy :: Bool
• newtypes :: Bool
• nest :: Bool
• smacro :: Bool
• outputFiles :: [String]
• searchPath :: [String]
• verbose :: Bool
• prefix :: String
• withSelf :: Bool
• withCycle :: Bool
• showHelp :: Bool
• showVersion :: Bool
• visit :: Bool
• loag :: Bool
• minvisits :: Bool
• aoag :: Bool
• withSeq :: Bool
• unbox :: Bool
• bangpats :: Bool
• cases :: Bool
• strictCases :: Bool
• stricterCases :: Bool
• strictSems :: Bool
• localCps :: Bool
• splitSems :: Bool
• werrors :: Bool
• wignore :: Bool
• wmaxerrs :: Int
• dumpgrammar :: Bool
• dumpcgrammar :: Bool
• sepSemMods :: Bool
• allowSepSemMods :: Bool
• genFileDeps :: Bool
• genLinePragmas :: Bool
• genvisage :: Bool
• genmirage :: Bool
• genAspectAG :: Bool
• noGroup :: [String]
• extends :: Maybe String
• genAttributeList :: Bool
• forceIrrefutables :: Maybe String
• uniqueDispenser :: String
• lcKeywords :: Bool
• doubleColons :: Bool
• monadic :: Bool
• ocaml :: Bool
• clean :: Bool
• visitorsOutput :: Bool
• statsFile :: Maybe String
• breadthFirst :: Bool
• breadthFirstStrict :: Bool
• checkParseRhs :: Bool
• checkParseTy :: Bool
• checkParseBlock :: Bool
• nocatas :: Set NontermIdent
• noOptimizations :: Bool
• reference :: Bool
• noIncludes :: Bool
• outputStr :: String -> IO ()
• failWithCode :: Int -> IO ()
• mainFilename :: Maybe String
• beQuiet :: Bool
• kennedyWarren :: Bool
• parallelInvoke :: Bool
• tupleAsDummyToken :: Bool
• dummyTokenVisit :: Bool
• strictDummyToken :: Bool
• noPerRuleTypeSigs :: Bool
• noPerStateTypeSigs :: Bool
• noEagerBlackholing :: Bool
• lateHigherOrderBinding :: Bool
• monadicWrappers :: Bool
• genTraces :: Bool
• genUseTraces :: Bool
• genCostCentres :: Bool
• noPerRuleCostCentres :: Bool
• noPerVisitCostCentres :: Bool
• helpInlining :: Bool
• noInlinePragmas :: Bool
• aggressiveInlinePragmas :: Bool

noOptions :: Options

loagOpt :: Maybe String -> Options -> Options

aoagOpt :: Options -> Options

moduleOpt :: Maybe String -> Options -> Options

moduleOptGet :: Options -> String -> [String]

dataOpt :: Options -> Options

dataRecOpt :: Options -> Options

strictDataOpt :: Options -> Options

strictWrapOpt :: Options -> Options

cataOpt :: Options -> Options

semfunsOpt :: Options -> Options

signaturesOpt :: Options -> Options

prettyOpt :: Options -> Options

renameOpt :: Options -> Options

wrappersOpt :: Options -> Options

modcopyOpt :: Options -> Options

newtypesOpt :: Options -> Options

nestOpt :: Options -> Options

smacroOpt :: Options -> Options

verboseOpt :: Options -> Options

helpOpt :: Options -> Options

versionOpt :: Options -> Options

selfOpt :: Options -> Options

cycleOpt :: Options -> Options

visitOpt :: Options -> Options

seqOpt :: Options -> Options

unboxOpt :: Options -> Options

bangpatsOpt :: Options -> Options

casesOpt :: Options -> Options

strictCasesOpt :: Options -> Options

stricterCasesOpt :: Options -> Options

strictSemOpt :: Options -> Options

localCpsOpt :: Options -> Options

splitSemsOpt :: Options -> Options

werrorsOpt :: Options -> Options

wignoreOpt :: Options -> Options

dumpgrammarOpt :: Options -> Options

dumpcgrammarOpt :: Options -> Options

genTracesOpt :: Options -> Options

genUseTracesOpt :: Options -> Options

genCostCentresOpt :: Options -> Options

sepSemModsOpt :: Options -> Options

genFileDepsOpt :: Options -> Options

genLinePragmasOpt :: Options -> Options

genVisageOpt :: Options -> Options

genMirageOpt :: Options -> Options

genAspectAGOpt :: Options -> Options

dummyTokenVisitOpt :: Options -> Options

tupleAsDummyTokenOpt :: Options -> Options

stateAsDummyTokenOpt :: Options -> Options

strictDummyTokenOpt :: Options -> Options

noPerRuleTypeSigsOpt :: Options -> Options

noPerStateTypeSigsOpt :: Options -> Options

noEagerBlackholingOpt :: Options -> Options

noPerRuleCostCentresOpt :: Options -> Options

noPerVisitCostCentresOpt :: Options -> Options

helpInliningOpt :: Options -> Options

noInlinePragmasOpt :: Options -> Options

aggressiveInlinePragmasOpt :: Options -> Options

lateHigherOrderBindingOpt :: Options -> Options

monadicWrappersOpt :: Options -> Options

referenceOpt :: Options -> Options

genAttrListOpt :: Options -> Options

lcKeywordsOpt :: Options -> Options

doubleColonsOpt :: Options -> Options

haskellSyntaxOpt :: Options -> Options

monadicOpt :: Options -> Options

parallelOpt :: Options -> Options

ocamlOpt :: Options -> Options

cleanOpt :: Options -> Options

visitorsOutputOpt :: Options -> Options

breadthfirstOpt :: Options -> Options

breadthfirstStrictOpt :: Options -> Options

parseHsRhsOpt :: Options -> Options

parseHsTpOpt :: Options -> Options

parseHsBlockOpt :: Options -> Options

parseHsOpt :: Options -> Options

kennedyWarrenOpt :: Options -> Options

noOptimizeOpt :: Options -> Options

allOpt :: Options -> Options

optimizeOpt :: Options -> Options

noIncludesOpt :: Options -> Options

beQuietOpt :: Options -> Options

condDisableOptimizations :: Options -> Options

prefixOpt :: String -> Options -> Options

wmaxErrsOpt :: String -> Options -> Options

wmaxErrsOptGet :: Options -> String -> [String]

noGroupOpt :: String -> Options -> Options

noGroupOptGet :: Options -> String -> [String]

extendsOpt :: String -> Options -> Options

forceIrrefutableOpt :: Maybe String -> Options -> Options

uniqueDispenserOpt :: String -> Options -> Options

statisticsOpt :: String -> Options -> Options

nocatasOpt :: String -> Options -> Options

nocatasOptGet :: Options -> String -> [String]

outputOpt :: String -> Options -> Options

outputOptGet :: Options -> String -> [String]

searchPathOpt :: String -> Options -> Options

searchPathOptGet :: Options -> String -> [String]

wordsBy :: (Char -> Bool) -> String -> [String]

Inverse of intercalate

constructOptions :: [Options -> Options] -> Options

Use all parsed options to generate real options

getOptions :: [String] -> (Options, [String], [String])

Create Options type from string arguments

optionsToString :: Options -> [String]

Convert options back to commandline string

combineOptions :: Options -> Options -> Options

Combine 2 sets of options