Safe Haskell | None |
---|---|
Language | Haskell2010 |
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"