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