| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Generator.Composed
Contents
Description
Defines Drasil generator functions.
Synopsis
- exportSmithEtAlSrsWCode :: SmithEtAlSRS -> SRSDecl -> String -> Choices -> IO ()
- exportSmithEtAlSrsWCodeZoo :: SmithEtAlSRS -> SRSDecl -> String -> [Choices] -> IO ()
Generators
exportSmithEtAlSrsWCode :: SmithEtAlSRS -> SRSDecl -> String -> Choices -> IO () Source #
Generate an SRS softifact with a specific solution softifact.
exportSmithEtAlSrsWCodeZoo :: SmithEtAlSRS -> SRSDecl -> String -> [Choices] -> IO () Source #
Generate an SRS softifact with a zoo of solution softifacts.