Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Oberon

Description

The programming languages Oberon and Oberon-2

Synopsis

parseModule :: LanguageVersion -> Text -> ParseResults Text [NodeWrap (Module Language Language NodeWrap NodeWrap)]
parseAndResolveModule :: Options -> FilePath -> Text -> IO (Validation (Either (NonEmpty (Error Language)) (NonEmpty (Error Ident Language))) (Placed (Module Language Language Placed Placed)))
parseAndResolveModuleFile :: Options -> FilePath -> IO (Validation (Either (NonEmpty (Error Language)) (NonEmpty (Error Ident Language))) (Placed (Module Language Language Placed Placed)))
data LanguageVersion
- = Oberon1
- | Oberon2
data Options = Options {
- foldConstants :: Bool
- checkTypes :: Bool
- version :: LanguageVersion
}
type NodeWrap = Compose ((,) (Int, Int)) (Compose Ambiguous ((,) ParsedLexemes))
type Placed = (,) (Int, ParsedLexemes, Int)

Documentation

parseModule :: LanguageVersion -> Text -> ParseResults Text [NodeWrap (Module Language Language NodeWrap NodeWrap)] Source #

Parse the given text of a single module, without resolving the syntactic ambiguities.

parseAndResolveModule :: Options -> FilePath -> Text -> IO (Validation (Either (NonEmpty (Error Language)) (NonEmpty (Error Ident Language))) (Placed (Module Language Language Placed Placed))) Source #

Given a directory path for module imports, parse the given module text and all the module files it imports, then use all the information to resolve the syntactic ambiguities.

parseAndResolveModuleFile :: Options -> FilePath -> IO (Validation (Either (NonEmpty (Error Language)) (NonEmpty (Error Ident Language))) (Placed (Module Language Language Placed Placed))) Source #

Parse the module file at the given path, assuming all its imports are in the same directory.

data LanguageVersion Source #

Constructors

Oberon1
Oberon2

Instances

Instances details

Show LanguageVersion Source #
Instance details Defined in Language.Oberon Methods showsPrec :: Int -> LanguageVersion -> ShowS # show :: LanguageVersion -> String # showList :: [LanguageVersion] -> ShowS #
Eq LanguageVersion Source #
Instance details Defined in Language.Oberon Methods (==) :: LanguageVersion -> LanguageVersion -> Bool # (/=) :: LanguageVersion -> LanguageVersion -> Bool #
Ord LanguageVersion Source #
Instance details Defined in Language.Oberon Methods compare :: LanguageVersion -> LanguageVersion -> Ordering # (<) :: LanguageVersion -> LanguageVersion -> Bool # (<=) :: LanguageVersion -> LanguageVersion -> Bool # (>) :: LanguageVersion -> LanguageVersion -> Bool # (>=) :: LanguageVersion -> LanguageVersion -> Bool # max :: LanguageVersion -> LanguageVersion -> LanguageVersion # min :: LanguageVersion -> LanguageVersion -> LanguageVersion #

data Options Source #

choice of modes of operation

Constructors

Options
Fields foldConstants :: Bool whether to fold the constants checkTypes :: Bool whether to verify the types version :: LanguageVersion which language version?

type NodeWrap = Compose ((,) (Int, Int)) (Compose Ambiguous ((,) ParsedLexemes)) Source #

The node wrapper in an ambiguous, freshly parsed AST, only with Position replaced with an offset from the beginning of the source.

type Placed = (,) (Int, ParsedLexemes, Int) Source #

The node wrapper in a fully resolved AST