UU.Parsing.MachineInterface

Documentation

class InputState state s pos | state -> s, state -> pos where

The InputState class contains the interface that the AnaParser parsers expect for the input. A minimal complete instance definition consists of splitStateE, splitState and getPosition.

Minimal complete definition

splitStateE, splitState, getPosition

Methods

splitStateE :: state -> Either' state s

Splits the state in a strict variant of Either, with Left' if a symbol can be split off and Right' if none can

splitState :: state -> (#s, state#)

Splits the state in the first symbol and the remaining state

getPosition :: state -> pos

Gets the current position in the input

reportError :: Message s pos -> state -> state

Reports an error

insertSymbol :: s -> state -> state

Modify the state as the result of inserting a symbol s in the input. The symbol that has already been considered as having been inserted is passed. It should normally not be added to the state.

deleteSymbol :: s -> state -> state

Modify the state as the result of deleting a symbol s from the input. The symbol that has already been deleted from the input state is passed. It should normally not be deleted from the state.

Instances

InputState Input Char Pos

Methods

splitStateE :: Input -> Either' Input Char

splitState :: Input -> (#LiftedRep, LiftedRep, Char, Input#)

getPosition :: Input -> Pos

reportError :: Message Char Pos -> Input -> Input

insertSymbol :: Char -> Input -> Input

deleteSymbol :: Char -> Input -> Input

InputState inp s p => InputState (OffsideInput inp s p) (OffsideSymbol s) p

Methods

splitStateE :: OffsideInput inp s p -> Either' (OffsideInput inp s p) (OffsideSymbol s)

splitState :: OffsideInput inp s p -> (#LiftedRep, LiftedRep, OffsideSymbol s, OffsideInput inp s p#)

getPosition :: OffsideInput inp s p -> p

reportError :: Message (OffsideSymbol s) p -> OffsideInput inp s p -> OffsideInput inp s p

insertSymbol :: OffsideSymbol s -> OffsideInput inp s p -> OffsideInput inp s p

deleteSymbol :: OffsideSymbol s -> OffsideInput inp s p -> OffsideInput inp s p

class OutputState r where

Minimal complete definition

acceptR, nextR

Methods

acceptR :: v -> rest -> r v rest

nextR :: (a -> rest -> rest') -> (b -> a) -> r b rest -> rest'

Instances

OutputState Pair

Methods

acceptR :: v -> rest -> Pair v rest

nextR :: (a -> rest -> rest') -> (b -> a) -> Pair b rest -> rest'

class Symbol s where

Methods

deleteCost :: s -> Int#

symBefore :: s -> s

symAfter :: s -> s

Instances

Symbol s => Symbol (OffsideSymbol s)

Methods

deleteCost :: OffsideSymbol s -> Int#

symBefore :: OffsideSymbol s -> OffsideSymbol s

symAfter :: OffsideSymbol s -> OffsideSymbol s

data Either' state s

Constructors

Left' !s state

Right' state

data Steps val s p

Constructors

OkVal (a -> val) (Steps a s p)

Ok

Fields

• rest :: Steps val s p

Cost

Fields

• costing :: Int#
• rest :: Steps val s p

StRepair

Fields

• costing :: Int#
• m :: !(Message s p)
• rest :: Steps val s p

Best (Steps val s p) (Steps val s p) (Steps val s p)

NoMoreSteps val

data Action s

Constructors

Insert s

Delete s

Other String

Instances

Show s => Show (Action s)

Methods

showsPrec :: Int -> Action s -> ShowS

show :: Action s -> String

showList :: [Action s] -> ShowS

val :: (a -> b) -> Steps a s p -> Steps b s p

evalSteps :: Steps a s p -> a

getMsgs :: Steps a s p -> [Message s p]

data Message sym pos

Constructors

Msg (Expecting sym) !pos (Action sym)

Instances

(Eq s, Show s, Show p) => Show (Message s p)

Methods

showsPrec :: Int -> Message s p -> ShowS

show :: Message s p -> String

showList :: [Message s p] -> ShowS

data Expecting s

Constructors

ESym (SymbolR s)

EStr String

EOr [Expecting s]

ESeq [Expecting s]

Instances

Eq s => Eq (Expecting s)

Methods

(==) :: Expecting s -> Expecting s -> Bool

(/=) :: Expecting s -> Expecting s -> Bool

Ord s => Ord (Expecting s)

Methods

compare :: Expecting s -> Expecting s -> Ordering

(<) :: Expecting s -> Expecting s -> Bool

(<=) :: Expecting s -> Expecting s -> Bool

(>) :: Expecting s -> Expecting s -> Bool

(>=) :: Expecting s -> Expecting s -> Bool

max :: Expecting s -> Expecting s -> Expecting s

min :: Expecting s -> Expecting s -> Expecting s

(Eq s, Show s) => Show (Expecting s)

Methods

showsPrec :: Int -> Expecting s -> ShowS

show :: Expecting s -> String

showList :: [Expecting s] -> ShowS

data SymbolR s

Constructors

Range !s !s

EmptyR

Instances

Eq s => Eq (SymbolR s)

Methods

(==) :: SymbolR s -> SymbolR s -> Bool

(/=) :: SymbolR s -> SymbolR s -> Bool

Ord s => Ord (SymbolR s)

Methods

compare :: SymbolR s -> SymbolR s -> Ordering

(<) :: SymbolR s -> SymbolR s -> Bool

(<=) :: SymbolR s -> SymbolR s -> Bool

(>) :: SymbolR s -> SymbolR s -> Bool

(>=) :: SymbolR s -> SymbolR s -> Bool

max :: SymbolR s -> SymbolR s -> SymbolR s

min :: SymbolR s -> SymbolR s -> SymbolR s

(Eq s, Show s) => Show (SymbolR s)

Methods

showsPrec :: Int -> SymbolR s -> ShowS

show :: SymbolR s -> String

showList :: [SymbolR s] -> ShowS

mk_range :: Ord s => s -> s -> SymbolR s

symInRange :: Ord a => SymbolR a -> a -> Bool

symRS :: Ord a => SymbolR a -> a -> Ordering

except :: (Symbol s, Ord s, Foldable t) => SymbolR s -> t s -> [SymbolR s]

usererror :: [Char] -> a

systemerror :: [Char] -> [Char] -> a