uulib-0.9.24: Haskell Utrecht Tools Library
UU.Scanner.Position
type Line = Int Source #
type Column = Int Source #
type Filename = String Source #
class Position p where Source #
Methods
line :: p -> Line Source #
column :: p -> Column Source #
file :: p -> Filename Source #
Defined in UU.Scanner.Position
line :: Pos -> Line Source #
column :: Pos -> Column Source #
file :: Pos -> Filename Source #
data Pos Source #
Constructors
showsPrec :: Int -> Pos -> ShowS #
show :: Pos -> String #
showList :: [Pos] -> ShowS #
Defined in UU.Parsing.CharParser
splitStateE :: Input -> Either' Input Char Source #
splitState :: Input -> (#Char, Input#) Source #
getPosition :: Input -> Pos Source #
reportError :: Message Char Pos -> Input -> Input Source #
insertSymbol :: Char -> Input -> Input Source #
deleteSymbol :: Char -> Input -> Input Source #
initPos :: FilePath -> Pos Source #
noPos :: Pos Source #
advl :: Line -> Pos -> Pos Source #
advc :: Column -> Pos -> Pos Source #
adv :: Pos -> Char -> Pos Source #
updPos :: Char -> Pos -> Pos Source #
tab :: Pos -> Pos Source #
newl :: Pos -> Pos Source #
tabWidth :: Column -> Int Source #
updPos' :: Char -> Pos -> (Pos -> a) -> a Source #
advc' :: Int -> Pos -> (Pos -> a) -> a Source #
tab' :: Pos -> (Pos -> a) -> a Source #
newl' :: Pos -> (Pos -> a) -> a Source #