| Safe Haskell | None | 
|---|---|
| Language | Haskell2010 | 
BNFC.Backend.Latex
Contents
Documentation
data LatexBackendOptions Source #
Constructors
| LatexOpts | 
Orphan instances
| Backend 'TargetLatex Source # | |
| Methods parseOpts :: Parser (BackendOptions 'TargetLatex) Source # initState :: LBNF -> GlobalOptions -> BackendOptions 'TargetLatex -> Except String (BackendState 'TargetLatex) Source # abstractSyntax :: LBNF -> State (BackendState 'TargetLatex) Result Source # printer :: LBNF -> State (BackendState 'TargetLatex) Result Source # lexer :: LBNF -> State (BackendState 'TargetLatex) Result Source # parser :: LBNF -> State (BackendState 'TargetLatex) Result Source # parserTest :: LBNF -> State (BackendState 'TargetLatex) Result Source # makefile :: LBNF -> State (BackendState 'TargetLatex) Result Source # | |