BNFC3-3.0: A compiler front-end generator.
Safe HaskellNone
LanguageHaskell2010

BNFC.Backend.CommonInterface.Backend

Synopsis

Documentation

type Result = [(FilePath, String)] Source #

type Log = Writer String Source #

type Output = WriterT Result Log () Source #

class Backend (target :: TargetLanguage) where Source #

Backend typeclass.

Associated Types

type BackendOptions target Source #

type BackendState target Source #

Methods

parseOpts :: Parser (BackendOptions target) Source #

initState :: LBNF -> GlobalOptions -> BackendOptions target -> Except String (BackendState target) Source #

abstractSyntax :: LBNF -> State (BackendState target) Result Source #

printer :: LBNF -> State (BackendState target) Result Source #

lexer :: LBNF -> State (BackendState target) Result Source #

parser :: LBNF -> State (BackendState target) Result Source #

parserTest :: LBNF -> State (BackendState target) Result Source #

makefile :: LBNF -> State (BackendState target) Result Source #

Instances

Instances details
Backend 'TargetAgda Source # 
Instance details

Defined in BNFC.Backend.Agda

Associated Types

type BackendOptions 'TargetAgda Source #

type BackendState '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 #

Backend 'TargetC Source # 
Instance details

Defined in BNFC.Backend.C

Associated Types

type BackendOptions 'TargetC Source #

type BackendState 'TargetC Source #

Methods

parseOpts :: Parser (BackendOptions 'TargetC) Source #

initState :: LBNF -> GlobalOptions -> BackendOptions 'TargetC -> Except String (BackendState 'TargetC) Source #

abstractSyntax :: LBNF -> State (BackendState 'TargetC) Result Source #

printer :: LBNF -> State (BackendState 'TargetC) Result Source #

lexer :: LBNF -> State (BackendState 'TargetC) Result Source #

parser :: LBNF -> State (BackendState 'TargetC) Result Source #

parserTest :: LBNF -> State (BackendState 'TargetC) Result Source #

makefile :: LBNF -> State (BackendState 'TargetC) Result Source #

Backend 'TargetCpp Source # 
Instance details

Defined in BNFC.Backend.CPP

Associated Types

type BackendOptions 'TargetCpp Source #

type BackendState 'TargetCpp Source #

Methods

parseOpts :: Parser (BackendOptions 'TargetCpp) Source #

initState :: LBNF -> GlobalOptions -> BackendOptions 'TargetCpp -> Except String (BackendState 'TargetCpp) Source #

abstractSyntax :: LBNF -> State (BackendState 'TargetCpp) Result Source #

printer :: LBNF -> State (BackendState 'TargetCpp) Result Source #

lexer :: LBNF -> State (BackendState 'TargetCpp) Result Source #

parser :: LBNF -> State (BackendState 'TargetCpp) Result Source #

parserTest :: LBNF -> State (BackendState 'TargetCpp) Result Source #

makefile :: LBNF -> State (BackendState 'TargetCpp) Result Source #

Backend 'TargetHaskell Source # 
Instance details

Defined in BNFC.Backend.Haskell

Associated Types

type BackendOptions 'TargetHaskell Source #

type BackendState 'TargetHaskell Source #

Methods

parseOpts :: Parser (BackendOptions 'TargetHaskell) Source #

initState :: LBNF -> GlobalOptions -> BackendOptions 'TargetHaskell -> Except String (BackendState 'TargetHaskell) Source #

abstractSyntax :: LBNF -> State (BackendState 'TargetHaskell) Result Source #

printer :: LBNF -> State (BackendState 'TargetHaskell) Result Source #

lexer :: LBNF -> State (BackendState 'TargetHaskell) Result Source #

parser :: LBNF -> State (BackendState 'TargetHaskell) Result Source #

parserTest :: LBNF -> State (BackendState 'TargetHaskell) Result Source #

makefile :: LBNF -> State (BackendState 'TargetHaskell) Result Source #

Backend 'TargetLatex Source # 
Instance details

Defined in BNFC.Backend.Latex

Associated Types

type BackendOptions 'TargetLatex Source #

type BackendState '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 #

Backend 'TargetJava Source # 
Instance details

Defined in BNFC.Backend.Java

Associated Types

type BackendOptions 'TargetJava Source #

type BackendState 'TargetJava Source #

Methods

parseOpts :: Parser (BackendOptions 'TargetJava) Source #

initState :: LBNF -> GlobalOptions -> BackendOptions 'TargetJava -> Except String (BackendState 'TargetJava) Source #

abstractSyntax :: LBNF -> State (BackendState 'TargetJava) Result Source #

printer :: LBNF -> State (BackendState 'TargetJava) Result Source #

lexer :: LBNF -> State (BackendState 'TargetJava) Result Source #

parser :: LBNF -> State (BackendState 'TargetJava) Result Source #

parserTest :: LBNF -> State (BackendState 'TargetJava) Result Source #

makefile :: LBNF -> State (BackendState 'TargetJava) Result Source #

Backend 'TargetOCaml Source # 
Instance details

Defined in BNFC.Backend.OCaml

Associated Types

type BackendOptions 'TargetOCaml Source #

type BackendState 'TargetOCaml Source #

Methods

parseOpts :: Parser (BackendOptions 'TargetOCaml) Source #

initState :: LBNF -> GlobalOptions -> BackendOptions 'TargetOCaml -> Except String (BackendState 'TargetOCaml) Source #

abstractSyntax :: LBNF -> State (BackendState 'TargetOCaml) Result Source #

printer :: LBNF -> State (BackendState 'TargetOCaml) Result Source #

lexer :: LBNF -> State (BackendState 'TargetOCaml) Result Source #

parser :: LBNF -> State (BackendState 'TargetOCaml) Result Source #

parserTest :: LBNF -> State (BackendState 'TargetOCaml) Result Source #

makefile :: LBNF -> State (BackendState 'TargetOCaml) Result Source #

Backend 'TargetTxt2Tags Source # 
Instance details

Defined in BNFC.Backend.Txt2Tags

Associated Types

type BackendOptions 'TargetTxt2Tags Source #

type BackendState 'TargetTxt2Tags Source #

Methods

parseOpts :: Parser (BackendOptions 'TargetTxt2Tags) Source #

initState :: LBNF -> GlobalOptions -> BackendOptions 'TargetTxt2Tags -> Except String (BackendState 'TargetTxt2Tags) Source #

abstractSyntax :: LBNF -> State (BackendState 'TargetTxt2Tags) Result Source #

printer :: LBNF -> State (BackendState 'TargetTxt2Tags) Result Source #

lexer :: LBNF -> State (BackendState 'TargetTxt2Tags) Result Source #

parser :: LBNF -> State (BackendState 'TargetTxt2Tags) Result Source #

parserTest :: LBNF -> State (BackendState 'TargetTxt2Tags) Result Source #

makefile :: LBNF -> State (BackendState 'TargetTxt2Tags) Result Source #

runBackend :: forall target. Backend target => GlobalOptions -> BackendOptions target -> LBNF -> Except String Result Source #