Language.Oberon.Grammar

Oberon grammar adapted from http://www.ethoberon.ethz.ch/EBNF.html Extracted from the book Programmieren in Oberon - Das neue Pascal by N. Wirth and M. Reiser and translated by J. Templ.

Documentation

data OberonGrammar f p

All the productions of the Oberon grammar

Constructors

OberonGrammar

Fields

• module_prod :: p (Module f)
• ident :: p Ident
• letter :: p Text
• digit :: p Text
• importList :: p [Import]
• import_prod :: p Import
• declarationSequence :: p [Declaration f]
• constantDeclaration :: p (Declaration f)
• identdef :: p IdentDef
• constExpression :: p (Expression f)
• expression :: p (Expression f)
• simpleExpression :: p (Expression f)
• term :: p (Expression f)
• factor :: p (Expression f)
• number :: p (Expression f)
• integer :: p (Expression f)
• hexDigit :: p Text
• real :: p (Expression f)
• scaleFactor :: p Text
• charConstant :: p (Expression f)
• string_prod :: p Text
• set :: p (Expression f)
• element :: p (Element f)
• designator :: p (Designator f)
• expList :: p (NonEmpty (Expression f))
• actualParameters :: p [Expression f]
• mulOperator :: p (BinOp f)
• addOperator :: p (BinOp f)
• relation :: p RelOp
• typeDeclaration :: p (Declaration f)
• type_prod :: p (Type f)
• qualident :: p QualIdent
• arrayType :: p (Type f)
• length :: p (Expression f)
• recordType :: p (Type f)
• baseType :: p QualIdent
• fieldListSequence :: p (FieldListSequence f)
• fieldList :: p (FieldList f)
• identList :: p IdentList
• pointerType :: p (Type f)
• procedureType :: p (Type f)
• variableDeclaration :: p (Declaration f)
• procedureDeclaration :: p (Declaration f)
• procedureHeading :: p (ProcedureHeading f)
• formalParameters :: p (FormalParameters f)
• fPSection :: p (FPSection f)
• formalType :: p (Type f)
• procedureBody :: p (ProcedureBody f)
• forwardDeclaration :: p (Declaration f)
• statementSequence :: p (NonEmpty (Ambiguous (Statement f)))
• statement :: p (Statement f)
• assignment :: p (Statement f)
• procedureCall :: p (Statement f)
• ifStatement :: p (Statement f)
• caseStatement :: p (Statement f)
• case_prod :: p (Case f)
• caseLabelList :: p (NonEmpty (CaseLabels f))
• caseLabels :: p (CaseLabels f)
• whileStatement :: p (Statement f)
• repeatStatement :: p (Statement f)
• forStatement :: p (Statement f)
• loopStatement :: p (Statement f)
• withStatement :: p (Statement f)

Instances

Lexical (OberonGrammar f)

Associated Types

type LexicalConstraint (m :: ((* -> *) -> *) -> * -> * -> *) (OberonGrammar f :: (* -> *) -> *) s :: Constraint

Methods

lexicalWhiteSpace :: LexicalConstraint m (OberonGrammar f) s => m (OberonGrammar f) s ()

someLexicalSpace :: LexicalConstraint m (OberonGrammar f) s => m (OberonGrammar f) s ()

lexicalComment :: LexicalConstraint m (OberonGrammar f) s => m (OberonGrammar f) s ()

lexicalSemicolon :: LexicalConstraint m (OberonGrammar f) s => m (OberonGrammar f) s Char

lexicalToken :: LexicalConstraint m (OberonGrammar f) s => m (OberonGrammar f) s a -> m (OberonGrammar f) s a

identifierToken :: LexicalConstraint m (OberonGrammar f) s => m (OberonGrammar f) s s -> m (OberonGrammar f) s s

isIdentifierStartChar :: Char -> Bool

isIdentifierFollowChar :: Char -> Bool

identifier :: LexicalConstraint m (OberonGrammar f) s => m (OberonGrammar f) s s

keyword :: LexicalConstraint m (OberonGrammar f) s => s -> m (OberonGrammar f) s ()

Traversable * (OberonGrammar f)

Methods

traverse :: Applicative m => (forall (a :: OberonGrammar f). p a -> m (q a)) -> g p -> m (g q)

sequence :: Applicative m => g (Compose * (OberonGrammar f) m p) -> m (g p)

Apply * (OberonGrammar f)

Methods

(<*>) :: g ((OberonGrammar f ~> p) q) -> g p -> g q

liftA2 :: (forall (a :: OberonGrammar f). p a -> q a -> r a) -> g p -> g q -> g r

liftA3 :: (forall (a :: OberonGrammar f). p a -> q a -> r a -> s a) -> g p -> g q -> g r -> g s

Functor * (OberonGrammar f)

Methods

(<$>) :: (forall (a :: OberonGrammar f). p a -> q a) -> g p -> g q

Foldable * (OberonGrammar f)

Methods

foldMap :: Monoid m => (forall (a :: OberonGrammar f). p a -> m) -> g p -> m

Applicative * (OberonGrammar f)

Methods

pure :: (forall (a :: OberonGrammar f). f a) -> g f

Distributive * (OberonGrammar f)

Methods

collect :: Functor f1 => (a -> g f2) -> f1 a -> g (Compose * (OberonGrammar f) f1 f2)

distribute :: Functor f1 => f1 (g f2) -> g (Compose * (OberonGrammar f) f1 f2)

cotraverse :: Functor m => (forall (a :: OberonGrammar f). m (p a) -> q a) -> m (g p) -> g q

DistributiveTraversable * (OberonGrammar f)

Methods

collectTraversable :: Traversable f1 => (a -> g f2) -> f1 a -> g (Compose * (OberonGrammar f) f1 f2)

distributeTraversable :: Traversable f1 => f1 (g f2) -> g (Compose * (OberonGrammar f) f1 f2)

cotraverseTraversable :: Traversable f1 => (forall (x :: OberonGrammar f). f1 (f2 x) -> f x) -> f1 (g f2) -> g f

type LexicalConstraint p (OberonGrammar f) s

type LexicalConstraint p (OberonGrammar f) s = ((~) * s Text, (~) (((* -> *) -> *) -> * -> * -> *) p Parser)

oberonGrammar :: Grammar (OberonGrammar Ambiguous) Parser Text

Grammar of an Oberon module

oberon2Grammar :: Grammar (OberonGrammar Ambiguous) Parser Text

Grammar of an Oberon-2 module

oberonDefinitionGrammar :: Grammar (OberonGrammar Ambiguous) Parser Text

Grammar of an Oberon definition module

oberon2DefinitionGrammar :: Grammar (OberonGrammar Ambiguous) Parser Text

Grammar of an Oberon-2 definition module