Language.Modula2.ISO.Grammar

Modula-2 grammar adapted from the ISO specification of the language.

Documentation

type Parser = Parser

data ISOMixin l f p

The names and types of all the new grammar productions in the ISO specification

Constructors

ISOMixin

Fields

• machineAddress :: p (f (ConstExpression l l f f))
• packedSetType :: p (Type l l f f)
• moduleBody :: p (Block l l f f)
• variableIdentifierList :: p (NonEmpty (f (AddressedIdent l l f f)))
• retryStatement :: p (Statement l l f f)
• arrayConstructor :: p (Expression l l f f)
• recordConstructor :: p (Expression l l f f)
• arrayConstructedValue :: p [f (Item l l f f)]
• recordConstructedValue :: p [f (Expression l l f f)]
• setConstructedValue :: p [f (Element l l f f)]
• arrayPart :: p (Item l l f f)
• structureComponent :: p (f (Expression l l f f))

Instances

Functor (ISOMixin l f :: (Type -> Type) -> Type)

Defined in Language.Modula2.ISO.Grammar

Methods

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

Foldable (ISOMixin l f :: (Type -> Type) -> Type)

Defined in Language.Modula2.ISO.Grammar

Methods

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

Traversable (ISOMixin l f :: (Type -> Type) -> Type)

Defined in Language.Modula2.ISO.Grammar

Methods

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

sequence :: forall m (p :: k -> Type). Applicative m => ISOMixin l f (Compose m p) -> m (ISOMixin l f p)

Apply (ISOMixin l f :: (Type -> Type) -> Type)

Defined in Language.Modula2.ISO.Grammar

Methods

(<*>) :: forall (p :: k -> Type) (q :: k -> Type). ISOMixin l f (p ~> q) -> ISOMixin l f p -> ISOMixin l f q

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

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

Applicative (ISOMixin l f :: (Type -> Type) -> Type)

Defined in Language.Modula2.ISO.Grammar

Methods

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

Distributive (ISOMixin l f :: (Type -> Type) -> Type)

Defined in Language.Modula2.ISO.Grammar

Methods

collect :: forall f1 a (f2 :: k -> Type). Functor f1 => (a -> ISOMixin l f f2) -> f1 a -> ISOMixin l f (Compose f1 f2)

distribute :: forall f1 (f2 :: k -> Type). Functor f1 => f1 (ISOMixin l f f2) -> ISOMixin l f (Compose f1 f2)

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

DistributiveTraversable (ISOMixin l f :: (Type -> Type) -> Type)

Defined in Language.Modula2.ISO.Grammar

Methods

collectTraversable :: forall f1 a (f2 :: k -> Type). Traversable f1 => (a -> ISOMixin l f f2) -> f1 a -> ISOMixin l f (Compose f1 f2)

distributeTraversable :: forall f1 (f2 :: k -> Type). Traversable f1 => f1 (ISOMixin l f f2) -> ISOMixin l f (Compose f1 f2)

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

LexicalParsing (Parser (ISOGrammar l) Text)

Defined in Language.Modula2.ISO.Grammar

Methods

lexicalWhiteSpace :: Parser (ISOGrammar l) Text ()

someLexicalSpace :: Parser (ISOGrammar l) Text ()

lexicalComment :: Parser (ISOGrammar l) Text ()

lexicalSemicolon :: Parser (ISOGrammar l) Text Char

lexicalToken :: Parser (ISOGrammar l) Text a -> Parser (ISOGrammar l) Text a

identifierToken :: Parser (ISOGrammar l) Text (ParserInput (Parser (ISOGrammar l) Text)) -> Parser (ISOGrammar l) Text (ParserInput (Parser (ISOGrammar l) Text))

isIdentifierStartChar :: Char -> Bool

isIdentifierFollowChar :: Char -> Bool

identifier :: Parser (ISOGrammar l) Text (ParserInput (Parser (ISOGrammar l) Text))

keyword :: ParserInput (Parser (ISOGrammar l) Text) -> Parser (ISOGrammar l) Text ()

TokenParsing (Parser (ISOGrammar l) Text)

Defined in Language.Modula2.ISO.Grammar

Methods

someSpace :: Parser (ISOGrammar l) Text ()

nesting :: Parser (ISOGrammar l) Text a -> Parser (ISOGrammar l) Text a

semi :: Parser (ISOGrammar l) Text Char

highlight :: Highlight -> Parser (ISOGrammar l) Text a -> Parser (ISOGrammar l) Text a

token :: Parser (ISOGrammar l) Text a -> Parser (ISOGrammar l) Text a

isoMixin :: (Modula2 l, LexicalParsing (Parser g Text)) => Modula2Grammar l NodeWrap (Parser g Text) -> ISOMixin l NodeWrap (Parser g Text) -> ISOMixin l NodeWrap (Parser g Text)

The new grammar productions in the ISO specification

type ISOGrammar l = Product (ISOMixin l NodeWrap) (Modula2Grammar l NodeWrap)

modula2ISOgrammar :: Grammar (ISOGrammar Language) Parser Text

isoGrammar :: forall l g. (Modula2 l, LexicalParsing (Parser g Text)) => GrammarBuilder (ISOGrammar l) g Parser Text

All the productions of the ISO Modula-2 grammar

reservedWords :: [Text]