UU.Parsing.CharParser

Documentation

type CharParser = AnaParser Input Pair Char Pos

data Input

Constructors

Input String !Pos

Instances

InputState Input Char Pos

Defined in UU.Parsing.CharParser

Methods

splitStateE :: Input -> Either' Input Char

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

getPosition :: Input -> Pos

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

insertSymbol :: Char -> Input -> Input

deleteSymbol :: Char -> Input -> Input

parseString :: CharParser a -> [Char] -> Steps (Pair a (Pair Input ())) Char Pos

parseStringIO :: (Message Char Pos -> String) -> CharParser a -> [Char] -> IO a

parseFile :: (Message Char Pos -> String) -> CharParser a -> [Char] -> IO a

Orphan instances

Symbol Char

Methods

deleteCost :: Char -> Int#

symBefore :: Char -> Char

symAfter :: Char -> Char