Text.Boomerang.Pos

Documentation

type family Pos err :: *

type synonym family that maps an error type to its position type

class InitialPosition e where

the initial position for a position type

Methods

initialPos :: Maybe e -> Pos e

Instances

InitialPosition StringError

InitialPosition StringsError

class ErrorPosition err where

extract the position information from an error

Methods

getPosition :: err -> Maybe (Pos err)

Instances

ErrorPosition (ParserError p)

data MajorMinorPos

A basic 2-axis position type (e.g. line, character)

Constructors

MajorMinorPos

Fields

major :: Integer

minor :: Integer

Instances

Eq MajorMinorPos

Data MajorMinorPos

Ord MajorMinorPos

Show MajorMinorPos

Typeable MajorMinorPos

InitialPosition StringError

InitialPosition StringsError

a ~ b => IsString (PrinterParser StringError String a b)

a ~ b => IsString (PrinterParser StringsError [String] a b)

incMajor :: Integral i => i -> MajorMinorPos -> MajorMinorPos

increment major position by i, reset minor position to 0.. if you wanted something else.. too bad.

incMinor :: Integral i => i -> MajorMinorPos -> MajorMinorPos

increment minor position by i