ADP.Multi.Parser

Some common types for parsers.

Documentation

type Subword = [Int]

To support higher dimensions, a subword is a list of indices. Valid list lengths are 2n with n>0.

type Parser a b

Arguments

 = Array Int a

The input sequence

-> Subword

Subword of the input sequence to be parsed

-> [b]

Parsing results

data ParserInfo

Static information about yield sizes of a parser. For supporting dimensions > 2, this type has to be expanded with more constructors, or redesigned to be generic.

Constructors

ParserInfo1

Fields

minYield :: Int

maxYield :: Maybe Int

ParserInfo2

Fields

minYield2 :: (Int, Int)

maxYield2 :: (Maybe Int, Maybe Int)

Instances

Eq ParserInfo

Show ParserInfo

Parseable (RichParser a b) a b

type RichParser a b = (ParserInfo, Parser a b)

class Parseable p a b | p -> a b where

Methods

toParser :: p -> RichParser a b

Instances

Parseable Char Char Char

Parseable EPS a EPS

Eq a => Parseable [a] a [a]

Parseable (RichParser a b) a b

Parseable (Char, Char) Char (Char, Char)

Parseable (Char, EPS) Char (Char, EPS)

Eq a => Parseable ([a], [a]) a ([a], [a])

Parseable (EPS, Char) Char (EPS, Char)

Parseable (EPS, EPS) a (EPS, EPS)