Safe Haskell	Safe-Inferred
Language	Haskell2010

UU.UUAGC

Synopsis

uuagc :: [String] -> FilePath -> IO (ExitCode, [FilePath])
uuagcMain :: IO ()
compile :: Options -> FilePath -> FilePath -> IO ()
data Identifier = Ident {
- getName :: String
- getPos :: Pos
}
type NontermIdent = Identifier
identifier :: String -> Identifier
data MyOptDescr = 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
- = NoName
- | Name String
- | Default
data Options = Options {
- 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]
constructOptions :: [Options -> Options] -> Options
getOptions :: [String] -> (Options, [String], [String])
optionsToString :: Options -> [String]
combineOptions :: Options -> Options -> Options

Documentation

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

uuagcMain :: IO () Source #

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

data Identifier Source #

Constructors

Ident
Fields getName :: String getPos :: Pos

Instances

Instances details

Show Identifier Source #
Instance details Defined in Options Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #
Eq Identifier Source #
Instance details Defined in Options Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
Ord Identifier Source #
Instance details 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 Source #

identifier :: String -> Identifier Source #

data MyOptDescr Source #

Constructors

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

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

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

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

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

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

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

allOptions :: [MyOptDescr] Source #

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

allc :: String Source #

data ModuleHeader Source #

Constructors

NoName
Name String
Default

Instances

Instances details

Show ModuleHeader Source #
Instance details Defined in Options Methods showsPrec :: Int -> ModuleHeader -> ShowS # show :: ModuleHeader -> String # showList :: [ModuleHeader] -> ShowS #
Eq ModuleHeader Source #
Instance details Defined in Options Methods (==) :: ModuleHeader -> ModuleHeader -> Bool # (/=) :: ModuleHeader -> ModuleHeader -> Bool #