LR-demo

Safe Haskell	None
Language	Haskell2010

CharacterTokenGrammar

Contents

Printing
Orphan instances

Description

Abstract syntax instance for grammars with single-character tokens.

Synopsis

type Term = Char
type NTName = Ident
type RuleName = Ident
type Grammar = Grammar' NTName RuleName Term
type NT = NT' NTName
type NTDef = NTDef' NTName RuleName Term
type Form = Form' Term
type IRule = (NT, RuleName, [Entry])
type Error = Either String
checkGrammar :: Grammar -> Error (Maybe NT, Grammar)
reifyGrammar :: Grammar -> Grammar
ntToIdent :: Grammar -> NT -> NTName

Documentation

type Term = Char Source #

Grammar over single-character terminals with identifiers as rule names.

type NTName = Ident Source #

type RuleName = Ident Source #

type Grammar = Grammar' NTName RuleName Term Source #

type NT = NT' NTName Source #

type NTDef = NTDef' NTName RuleName Term Source #

type Form = Form' Term Source #

type IRule = (NT, RuleName, [Entry]) Source #

Intermediate rule format.

type Error = Either String Source #

checkGrammar :: Grammar -> Error (Maybe NT, Grammar) Source #

Convert grammar to internal format; check for single-character terminals. Also return start non-terminal if the grammar has any rules

reifyGrammar :: Grammar -> Grammar Source #

Turn grammar back to original format.

ntToIdent :: Grammar -> NT -> NTName Source #

Printing

Orphan instances

DebugPrint Term Source #
Instance details Methods debugPrint :: Term -> String Source #
DebugPrint Ident Source #
Instance details Methods debugPrint :: Ident -> String Source #