Language.Eiffel.Position

Documentation

data Pos a

Constructors

Pos SourcePos a

Instances

Functor Pos

Eq a => Eq (Pos a)

Ord a => Ord (Pos a)

Show a => Show (Pos a)

Binary a_1627412790 => Binary (Pos a_1627412790)

NFData a_1627412790 => NFData (Pos a_1627412790)

type Line = Int

type Column = Int

data SourcePos

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances

Eq SourcePos

Data SourcePos

Ord SourcePos

Show SourcePos

Typeable SourcePos

Binary SourcePos

NFData SourcePos

sourceLine :: SourcePos -> Line

Extracts the line number from a source position.

sourceColumn :: SourcePos -> Column

Extracts the column number from a source position.

sourceName :: SourcePos -> SourceName

Extracts the name of the source from a source position.

inheritPos :: (Pos a -> b) -> Pos a -> Pos b

attachPos :: SourcePos -> a -> Pos a

attachPosM :: Monad m => m SourcePos -> m a -> m (Pos a)

attachEmptyPos :: a -> Pos a

attachPosBefore :: Parser a -> Parser (Pos a)

attachPosHere :: a -> Parser (Pos a)

takePos :: Pos a -> b -> Pos b

position :: Pos a -> SourcePos

contents :: Pos a -> a