Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Orphan instances
Backend 'TargetLatex Source # | |
type BackendOptions 'TargetLatex Source # type BackendState 'TargetLatex Source # 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 # |