UU.Scanner.Position

Documentation

type Line = Int

type Column = Int

type Filename = String

class Position p where

Minimal complete definition

line, column, file

Methods

line :: p -> Line

column :: p -> Column

file :: p -> Filename

Instances

Position Pos

Methods

line :: Pos -> Line

column :: Pos -> Column

file :: Pos -> Filename

data Pos

Constructors

Pos !Line !Column Filename

Instances

Show Pos

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

Position Pos

Methods

line :: Pos -> Line

column :: Pos -> Column

file :: Pos -> Filename

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

initPos :: FilePath -> Pos

noPos :: Pos

advl :: Line -> Pos -> Pos

advc :: Column -> Pos -> Pos

adv :: Pos -> Char -> Pos

updPos :: Char -> Pos -> Pos

tab :: Pos -> Pos

newl :: Pos -> Pos

tabWidth :: Column -> Int

updPos' :: Char -> Pos -> (Pos -> a) -> a

advc' :: Int -> Pos -> (Pos -> a) -> a

tab' :: Pos -> (Pos -> a) -> a

newl' :: Pos -> (Pos -> a) -> a