GLL.Combinators.Options

Documentation

data PCOptions

CombinatorOptions datatype * left_biased_choice: see function leftBiased * pivot_select: provide a filtering function on pivots

Constructors

PCOptions

Fields

• left_biased_choice :: Bool
• pivot_select :: Maybe (Int -> Int -> Ordering)
• pivot_select_nt :: Bool
• throw_errors :: Bool
• do_memo :: Bool
• max_errors :: Int
• nt_select_test :: Bool
• alt_select_test :: Bool
• seq_select_test :: Bool

type CombinatorOptions = [CombinatorOption]

A list of CombinatorOptions for evaluating combinator expressions.

type CombinatorOption = PCOptions -> PCOptions

A single option.

runOptions :: CombinatorOptions -> PCOptions

runOptionsOn :: PCOptions -> CombinatorOptions -> PCOptions

defaultOptions :: PCOptions

The default options: no disambiguation.

maximumPivot :: CombinatorOption

Enables a 'longest-match' at production level.

minimumPivot :: CombinatorOption

Enables a 'shortest-match' at production level.

anyPivot :: CombinatorOption

Discards a pivot select option (internal use only)

maximumPivotAtNt :: CombinatorOption

Enables 'longest-match' at non-terminal level.

maximumErrors :: Int -> CombinatorOption

Set the maximum number of errors shown in case of an unsuccessful parse.

throwErrors :: CombinatorOption

If there are no parse results, the default behaviour is to return an empty list. If this option is used, a runtime error will be reported, with debugging information.

leftBiased :: CombinatorOption

Turns all occurrences of <||> into a 'left biased' variant: only return results of the second alternate if the first alternate does not have any results.

useMemoisation :: CombinatorOption

Whether to use unsafe memoisation to speed up the enumeration of parse results.

maximumsWith :: (a -> a -> Ordering) -> [a] -> [a]

Filter a list such that the only remaining elements are equal to the maximum element, given an ordering operator.

maintainWith :: Eq k => (k -> k -> Ordering) -> [[(k, a)]] -> [[(k, a)]]

doSelectTest :: CombinatorOption

Enables select tests at all levels: nonterminal, alternative and slot.

noSelectTest :: CombinatorOption

Disables select tests at all levels: nonterminal, alternative and slot.

doAltSelectTest :: CombinatorOption

Enables select tests at the level of alternatives

noAltSelectTest :: CombinatorOption

Disables select tests at the level of alternatives

doNtSelectTest :: CombinatorOption

Enables select tests at the level of nonterminals

noNtSelectTest :: CombinatorOption

Disables select tests at the level of nonterminals

doSlotSelectTest :: CombinatorOption

Enables select tests at the level of grammar slots

noSlotSelectTest :: CombinatorOption

Disables select tests at the level of grammar slots