| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
BNFC.Backend.Haskell.HsOpts
Synopsis
- type Options = SharedOptions
- absFile :: Options -> String
- absFileM :: Options -> String
- alexFile :: Options -> String
- alexFileHs :: Options -> String
- alexFileM :: Options -> String
- composOpFile :: Options -> String
- composOpFileM :: Options -> String
- happyFile :: Options -> String
- happyFileHs :: Options -> String
- happyFileM :: Options -> String
- txtFile :: Options -> String
- errFile :: Options -> String
- errFileM :: Options -> String
- templateFile :: Options -> String
- templateFileM :: Options -> String
- printerFile :: Options -> String
- printerFileM :: Options -> String
- layoutFile :: Options -> String
- layoutFileM :: Options -> String
- xmlFile :: Options -> String
- xmlFileM :: Options -> String
- tFile :: Options -> String
- tFileExe :: Options -> String
- agdaASTFile :: Options -> String
- agdaASTFileM :: Options -> String
- agdaParserFile :: Options -> String
- agdaParserFileM :: Options -> String
- agdaLibFile :: Options -> String
- agdaLibFileM :: Options -> String
- agdaMainFile :: Options -> String
- agdaMainFileM :: Options -> String
- noLang :: Options -> String -> String
- withLang :: Options -> String -> String
- pkgToDir :: String -> FilePath
- mkMod :: (Options -> String -> String) -> String -> Options -> String
- mkFile :: (Options -> String -> String) -> String -> String -> Options -> FilePath
- mkNamespace :: Options -> FilePath
- codeDir :: Options -> FilePath
Documentation
type Options = SharedOptions Source #
alexFileHs :: Options -> String Source #
composOpFile :: Options -> String Source #
composOpFileM :: Options -> String Source #
happyFileHs :: Options -> String Source #
happyFileM :: Options -> String Source #
templateFile :: Options -> String Source #
templateFileM :: Options -> String Source #
printerFile :: Options -> String Source #
printerFileM :: Options -> String Source #
layoutFile :: Options -> String Source #
layoutFileM :: Options -> String Source #
agdaASTFile :: Options -> String Source #
agdaASTFileM :: Options -> String Source #
agdaParserFile :: Options -> String Source #
agdaParserFileM :: Options -> String Source #
agdaLibFile :: Options -> String Source #
agdaLibFileM :: Options -> String Source #
agdaMainFile :: Options -> String Source #
agdaMainFileM :: Options -> String Source #
mkMod :: (Options -> String -> String) -> String -> Options -> String Source #
>>>mkMod withLang "Abstract" defaultOptions { lang = "abc" }"AbstractAbc">>>mkMod noLang "Abstract" defaultOptions { lang = "abc" }"Abstract">>>mkMod withLang "Abstract" defaultOptions { lang = "abc", inPackage = Just "A.B.C" }"A.B.C.AbstractAbc">>>mkMod withLang "Abstract" defaultOptions { lang = "abc", inDir = True }"Abc.Abstract">>>mkMod withLang "Abstract" defaultOptions { lang = "abc", inDir = True, inPackage = Just "A.B.C" }"A.B.C.Abc.Abstract"
mkFile :: (Options -> String -> String) -> String -> String -> Options -> FilePath Source #
>>>mkFile withLang "Abstract" "hs" defaultOptions { lang = "abc" }"AbstractAbc.hs">>>mkFile noLang "Abstract" "hs" defaultOptions { lang = "abc" }"Abstract.hs">>>mkFile withLang "Abstract" "" defaultOptions { lang = "abc" }"AbstractAbc">>>mkFile noLang "Abstract" "" defaultOptions { lang = "abc" }"Abstract">>>mkFile withLang "Abstract" "hs" defaultOptions { lang = "abc", inDir = True }"Abc/Abstract.hs">>>mkFile withLang "Abstract" "hs" defaultOptions { lang = "abc", inDir = True, inPackage = Just "A.B.C" }"A/B/C/Abc/Abstract.hs"
mkNamespace :: Options -> FilePath Source #
Determine the modules' namespace
>>>mkNamespace defaultOptions"">>>mkNamespace defaultOptions { lang = "Bla", inDir = True }"Bla">>>mkNamespace defaultOptions { inPackage = Just "My.Cool.Package" }"My.Cool.Package">>>mkNamespace defaultOptions { lang = "bla_bla", inDir = True }"BlaBla">>>mkNamespace defaultOptions { lang = "bla", inDir = True, inPackage = Just "P"}"P.Bla"
codeDir :: Options -> FilePath Source #
Determine the directory corresponding to the modules' namespace
>>>codeDir defaultOptions"">>>codeDir defaultOptions { lang = "Bla", inDir = True }"Bla">>>codeDir defaultOptions { inPackage = Just "My.Cool.Package" }"My/Cool/Package">>>codeDir defaultOptions { lang = "bla_bla", inDir = True }"BlaBla">>>codeDir defaultOptions { lang = "bla", inDir = True, inPackage = Just "P"}"P/Bla"