-- | Defines output formats for the different documents we can generate. module Drasil.Generator.Formats ( -- * Types (Printing Options) Filename, Format(..) ) where -- | When choosing your document, you must specify the filename for -- the generated output (specified /without/ a file extension). type Filename = String -- | Possible formats for printer output. data Format = TeX | HTML | Jupyter | MDBook instance Show Format where show :: Format -> String show Format TeX = String "PDF" show Format HTML = String "HTML" show Format Jupyter = String "Jupyter" show Format MDBook = String "mdBook"