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)

Defined in Language.Oberon.Grammar

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 :: (* -> *) -> *)

Defined in Language.Oberon.Grammar

Methods

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

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

Apply (OberonGrammar f :: (* -> *) -> *)

Defined in Language.Oberon.Grammar

Methods

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

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

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

Functor (OberonGrammar f :: (* -> *) -> *)

Defined in Language.Oberon.Grammar

Methods

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

Foldable (OberonGrammar f :: (* -> *) -> *)

Defined in Language.Oberon.Grammar

Methods

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

Applicative (OberonGrammar f :: (* -> *) -> *)

Defined in Language.Oberon.Grammar

Methods

pure :: (forall (a :: k). f0 a) -> OberonGrammar f f0

Distributive (OberonGrammar f :: (* -> *) -> *)

Defined in Language.Oberon.Grammar

Methods

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

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

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

DistributiveTraversable (OberonGrammar f :: (* -> *) -> *)

Defined in Language.Oberon.Grammar

Methods

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

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

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

type LexicalConstraint p (OberonGrammar f) s

Defined in Language.Oberon.Grammar

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