uuagc-0.9.42.2: Attribute Grammar System of Universiteit Utrecht

Safe Haskell | None

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
  - 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
  - genAspectAG :: Bool
  - noGroup :: [String]
  - extends :: Maybe String
  - genAttributeList :: Bool
  - forceIrrefutables :: Maybe String
  - uniqueDispenser :: String
  - lcKeywords :: Bool
  - doubleColons :: Bool
  - monadic :: Bool
  - ocaml :: 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
- moduleOpt :: Maybe String -> Options -> Options
- moduleOptGet :: Options -> String -> [String]
- dataOpt :: Options -> Options
- condDisableOptimizations :: Options -> Options
- beQuietOpt :: Options -> Options
- noIncludesOpt :: Options -> Options
- optimizeOpt :: Options -> Options
- allOpt :: Options -> Options
- noOptimizeOpt :: Options -> Options
- kennedyWarrenOpt :: Options -> Options
- parseHsOpt :: Options -> Options
- parseHsBlockOpt :: Options -> Options
- parseHsTpOpt :: Options -> Options
- parseHsRhsOpt :: Options -> Options
- breadthfirstStrictOpt :: Options -> Options
- breadthfirstOpt :: Options -> Options
- visitorsOutputOpt :: Options -> Options
- ocamlOpt :: Options -> Options
- parallelOpt :: Options -> Options
- monadicOpt :: Options -> Options
- haskellSyntaxOpt :: Options -> Options
- doubleColonsOpt :: Options -> Options
- lcKeywordsOpt :: Options -> Options
- genAttrListOpt :: Options -> Options
- referenceOpt :: Options -> Options
- monadicWrappersOpt :: Options -> Options
- lateHigherOrderBindingOpt :: Options -> Options
- aggressiveInlinePragmasOpt :: Options -> Options
- noInlinePragmasOpt :: Options -> Options
- helpInliningOpt :: Options -> Options
- noPerVisitCostCentresOpt :: Options -> Options
- noPerRuleCostCentresOpt :: Options -> Options
- noEagerBlackholingOpt :: Options -> Options
- noPerStateTypeSigsOpt :: Options -> Options
- noPerRuleTypeSigsOpt :: Options -> Options
- strictDummyTokenOpt :: Options -> Options
- stateAsDummyTokenOpt :: Options -> Options
- tupleAsDummyTokenOpt :: Options -> Options
- dummyTokenVisitOpt :: Options -> Options
- genAspectAGOpt :: Options -> Options
- genVisageOpt :: Options -> Options
- genLinePragmasOpt :: Options -> Options
- genFileDepsOpt :: Options -> Options
- sepSemModsOpt :: Options -> Options
- genCostCentresOpt :: Options -> Options
- genUseTracesOpt :: Options -> Options
- genTracesOpt :: Options -> Options
- dumpcgrammarOpt :: Options -> Options
- dumpgrammarOpt :: Options -> Options
- wignoreOpt :: Options -> Options
- werrorsOpt :: Options -> Options
- splitSemsOpt :: Options -> Options
- localCpsOpt :: Options -> Options
- strictSemOpt :: Options -> Options
- stricterCasesOpt :: Options -> Options
- strictCasesOpt :: Options -> Options
- casesOpt :: Options -> Options
- bangpatsOpt :: Options -> Options
- unboxOpt :: Options -> Options
- seqOpt :: Options -> Options
- visitOpt :: Options -> Options
- cycleOpt :: Options -> Options
- selfOpt :: Options -> Options
- versionOpt :: Options -> Options
- helpOpt :: Options -> Options
- verboseOpt :: Options -> Options
- smacroOpt :: Options -> Options
- nestOpt :: Options -> Options
- newtypesOpt :: Options -> Options
- modcopyOpt :: Options -> Options
- wrappersOpt :: Options -> Options
- renameOpt :: Options -> Options
- prettyOpt :: Options -> Options
- signaturesOpt :: Options -> Options
- semfunsOpt :: Options -> Options
- cataOpt :: Options -> Options
- strictWrapOpt :: Options -> Options
- strictDataOpt :: Options -> Options
- dataRecOpt :: 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])

uuagcMain :: IO ()

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

data Identifier

Constructors

Ident |
Fields getName :: String getPos :: Pos

Instances

Eq Identifier |
Ord Identifier |
Show Identifier |
PP 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

Eq ModuleHeader |
Show ModuleHeader |

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 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 genAspectAG :: Bool noGroup :: [String] extends :: Maybe String genAttributeList :: Bool forceIrrefutables :: Maybe String uniqueDispenser :: String lcKeywords :: Bool doubleColons :: Bool monadic :: Bool ocaml :: 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

moduleOpt :: Maybe String -> Options -> Options

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

dataOpt :: Options -> Options

condDisableOptimizations :: Options -> Options

beQuietOpt :: Options -> Options

noIncludesOpt :: Options -> Options

optimizeOpt :: Options -> Options

allOpt :: Options -> Options

noOptimizeOpt :: Options -> Options

kennedyWarrenOpt :: Options -> Options

parseHsOpt :: Options -> Options

parseHsBlockOpt :: Options -> Options

parseHsTpOpt :: Options -> Options

parseHsRhsOpt :: Options -> Options

breadthfirstStrictOpt :: Options -> Options

breadthfirstOpt :: Options -> Options

visitorsOutputOpt :: Options -> Options

ocamlOpt :: Options -> Options

parallelOpt :: Options -> Options

monadicOpt :: Options -> Options

haskellSyntaxOpt :: Options -> Options

doubleColonsOpt :: Options -> Options

lcKeywordsOpt :: Options -> Options

genAttrListOpt :: Options -> Options

referenceOpt :: Options -> Options

monadicWrappersOpt :: Options -> Options

lateHigherOrderBindingOpt :: Options -> Options

aggressiveInlinePragmasOpt :: Options -> Options

noInlinePragmasOpt :: Options -> Options

helpInliningOpt :: Options -> Options

noPerVisitCostCentresOpt :: Options -> Options

noPerRuleCostCentresOpt :: Options -> Options

noEagerBlackholingOpt :: Options -> Options

noPerStateTypeSigsOpt :: Options -> Options

noPerRuleTypeSigsOpt :: Options -> Options

strictDummyTokenOpt :: Options -> Options

stateAsDummyTokenOpt :: Options -> Options

tupleAsDummyTokenOpt :: Options -> Options

dummyTokenVisitOpt :: Options -> Options

genAspectAGOpt :: Options -> Options

genVisageOpt :: Options -> Options

genLinePragmasOpt :: Options -> Options

genFileDepsOpt :: Options -> Options

sepSemModsOpt :: Options -> Options

genCostCentresOpt :: Options -> Options

genUseTracesOpt :: Options -> Options

genTracesOpt :: Options -> Options

dumpcgrammarOpt :: Options -> Options

dumpgrammarOpt :: Options -> Options

wignoreOpt :: Options -> Options

werrorsOpt :: Options -> Options

splitSemsOpt :: Options -> Options

localCpsOpt :: Options -> Options

strictSemOpt :: Options -> Options

stricterCasesOpt :: Options -> Options

strictCasesOpt :: Options -> Options

casesOpt :: Options -> Options

bangpatsOpt :: Options -> Options

unboxOpt :: Options -> Options

seqOpt :: Options -> Options

visitOpt :: Options -> Options

cycleOpt :: Options -> Options

selfOpt :: Options -> Options

versionOpt :: Options -> Options

helpOpt :: Options -> Options

verboseOpt :: Options -> Options

smacroOpt :: Options -> Options

nestOpt :: Options -> Options

newtypesOpt :: Options -> Options

modcopyOpt :: Options -> Options

wrappersOpt :: Options -> Options

renameOpt :: Options -> Options

prettyOpt :: Options -> Options

signaturesOpt :: Options -> Options

semfunsOpt :: Options -> Options

cataOpt :: Options -> Options

strictWrapOpt :: Options -> Options

strictDataOpt :: Options -> Options

dataRecOpt :: 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