| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Generator.Generate
Contents
Description
Defines Drasil generator functions.
Synopsis
- exportSmithEtAlSrs :: System -> SRSDecl -> String -> IO ()
- exportLessonPlan :: System -> LsnDecl -> String -> IO ()
- exportWebsite :: System -> Document -> Filename -> IO ()
- exportSmithEtAlSrsWCode :: System -> SRSDecl -> String -> Choices -> [Mod] -> IO ()
- exportSmithEtAlSrsWCodeZoo :: System -> SRSDecl -> String -> [(Choices, [Mod])] -> IO ()
- codedDirName :: String -> Choices -> String
Generators
exportLessonPlan :: System -> LsnDecl -> String -> IO () Source #
Generate a JupyterNotebook-based lesson plan.
exportWebsite :: System -> Document -> Filename -> IO () Source #
Generate a "website" (HTML file) softifact.
exportSmithEtAlSrsWCode :: System -> SRSDecl -> String -> Choices -> [Mod] -> IO () Source #
Generate an SRS softifact with a specific solution softifact.
exportSmithEtAlSrsWCodeZoo :: System -> SRSDecl -> String -> [(Choices, [Mod])] -> IO () Source #
Generate an SRS softifact with a zoo of solution softifacts.