Data.Loc.Pos

Documentation

data Pos

Pos stands for positive integer. You can also think of it as position, because we use it to represent line and column numbers (Line and Column).

Pos has instances of several of the standard numeric typeclasses, although many of the operations throw Underflow when non-positive values result. Pos does not have an Integral instance, because there is no sensible way to implement quotRem.

Instances

Enum Pos

>>> toEnum 3 :: Pos
3

>>> toEnum 0 :: Pos
*** Exception: arithmetic underflow

>>> fromEnum (3 :: Pos)
3

Defined in Data.Loc.Pos

Methods

succ :: Pos -> Pos

pred :: Pos -> Pos

toEnum :: Int -> Pos

fromEnum :: Pos -> Int

enumFrom :: Pos -> [Pos]

enumFromThen :: Pos -> Pos -> [Pos]

enumFromTo :: Pos -> Pos -> [Pos]

enumFromThenTo :: Pos -> Pos -> Pos -> [Pos]

Eq Pos

Defined in Data.Loc.Pos

Methods

(==) :: Pos -> Pos -> Bool

(/=) :: Pos -> Pos -> Bool

Num Pos

>>> fromInteger 3 :: Pos
3

>>> fromInteger 0 :: Pos
*** Exception: arithmetic underflow

>>> 2 + 3 :: Pos
5

>>> 3 - 2 :: Pos
1

>>> 3 - 3 :: Pos
*** Exception: arithmetic underflow

>>> 2 * 3 :: Pos
6

>>> negate 3 :: Pos
*** Exception: arithmetic underflow

Defined in Data.Loc.Pos

Methods

(+) :: Pos -> Pos -> Pos

(-) :: Pos -> Pos -> Pos

(*) :: Pos -> Pos -> Pos

negate :: Pos -> Pos

abs :: Pos -> Pos

signum :: Pos -> Pos

fromInteger :: Integer -> Pos

Ord Pos

Defined in Data.Loc.Pos

Methods

compare :: Pos -> Pos -> Ordering

(<) :: Pos -> Pos -> Bool

(<=) :: Pos -> Pos -> Bool

(>) :: Pos -> Pos -> Bool

(>=) :: Pos -> Pos -> Bool

max :: Pos -> Pos -> Pos

min :: Pos -> Pos -> Pos

Read Pos

Defined in Data.Loc.Pos

Methods

readsPrec :: Int -> ReadS Pos

readList :: ReadS [Pos]

readPrec :: ReadPrec Pos

readListPrec :: ReadPrec [Pos]

Real Pos

Defined in Data.Loc.Pos

Methods

toRational :: Pos -> Rational

Show Pos

Defined in Data.Loc.Pos

Methods

showsPrec :: Int -> Pos -> ShowS

show :: Pos -> String

showList :: [Pos] -> ShowS

ToNat Pos

Defined in Data.Loc.Pos

Methods

toNat :: Pos -> Natural

data Line

Instances

Enum Line

Defined in Data.Loc.Pos

Methods

succ :: Line -> Line

pred :: Line -> Line

toEnum :: Int -> Line

fromEnum :: Line -> Int

enumFrom :: Line -> [Line]

enumFromThen :: Line -> Line -> [Line]

enumFromTo :: Line -> Line -> [Line]

enumFromThenTo :: Line -> Line -> Line -> [Line]

Eq Line

Defined in Data.Loc.Pos

Methods

(==) :: Line -> Line -> Bool

(/=) :: Line -> Line -> Bool

Num Line

Defined in Data.Loc.Pos

Methods

(+) :: Line -> Line -> Line

(-) :: Line -> Line -> Line

(*) :: Line -> Line -> Line

negate :: Line -> Line

abs :: Line -> Line

signum :: Line -> Line

fromInteger :: Integer -> Line

Ord Line

Defined in Data.Loc.Pos

Methods

compare :: Line -> Line -> Ordering

(<) :: Line -> Line -> Bool

(<=) :: Line -> Line -> Bool

(>) :: Line -> Line -> Bool

(>=) :: Line -> Line -> Bool

max :: Line -> Line -> Line

min :: Line -> Line -> Line

Read Line

Defined in Data.Loc.Pos

Methods

readsPrec :: Int -> ReadS Line

readList :: ReadS [Line]

readPrec :: ReadPrec Line

readListPrec :: ReadPrec [Line]

Real Line

Defined in Data.Loc.Pos

Methods

toRational :: Line -> Rational

Show Line

Defined in Data.Loc.Pos

Methods

showsPrec :: Int -> Line -> ShowS

show :: Line -> String

showList :: [Line] -> ShowS

ToNat Line

Defined in Data.Loc.Pos

Methods

toNat :: Line -> Natural

data Column

Instances

Enum Column

Defined in Data.Loc.Pos

Methods

succ :: Column -> Column

pred :: Column -> Column

toEnum :: Int -> Column

fromEnum :: Column -> Int

enumFrom :: Column -> [Column]

enumFromThen :: Column -> Column -> [Column]

enumFromTo :: Column -> Column -> [Column]

enumFromThenTo :: Column -> Column -> Column -> [Column]

Eq Column

Defined in Data.Loc.Pos

Methods

(==) :: Column -> Column -> Bool

(/=) :: Column -> Column -> Bool

Num Column

Defined in Data.Loc.Pos

Methods

(+) :: Column -> Column -> Column

(-) :: Column -> Column -> Column

(*) :: Column -> Column -> Column

negate :: Column -> Column

abs :: Column -> Column

signum :: Column -> Column

fromInteger :: Integer -> Column

Ord Column

Defined in Data.Loc.Pos

Methods

compare :: Column -> Column -> Ordering

(<) :: Column -> Column -> Bool

(<=) :: Column -> Column -> Bool

(>) :: Column -> Column -> Bool

(>=) :: Column -> Column -> Bool

max :: Column -> Column -> Column

min :: Column -> Column -> Column

Read Column

Defined in Data.Loc.Pos

Methods

readsPrec :: Int -> ReadS Column

readList :: ReadS [Column]

readPrec :: ReadPrec Column

readListPrec :: ReadPrec [Column]

Real Column

Defined in Data.Loc.Pos

Methods

toRational :: Column -> Rational

Show Column

Defined in Data.Loc.Pos

Methods

showsPrec :: Int -> Column -> ShowS

show :: Column -> String

showList :: [Column] -> ShowS

ToNat Column

Defined in Data.Loc.Pos

Methods

toNat :: Column -> Natural

class ToNat a where

Types that can be converted to Natural.

This class mostly exists so that toNat can be used in situations that would normally call for toInteger (which we cannot use because Pos does not have an instance of Integral).

Minimal complete definition

toNat

Methods

toNat :: a -> Natural

Instances

ToNat Column

Defined in Data.Loc.Pos

Methods

toNat :: Column -> Natural

ToNat Line

Defined in Data.Loc.Pos

Methods

toNat :: Line -> Natural

ToNat Pos

Defined in Data.Loc.Pos

Methods

toNat :: Pos -> Natural

Show and Read

posShowsPrec :: Int -> Pos -> ShowS

>>> posShowsPrec minPrec 1 ""
"1"

>>> posShowsPrec minPrec 42 ""
"42"

posReadPrec :: ReadPrec Pos

>>> readPrec_to_S posReadPrec minPrec "1"
[(1,"")]

>>> readPrec_to_S posReadPrec minPrec "42"
[(42,"")]

>>> readPrec_to_S posReadPrec minPrec "0"
[]

>>> readPrec_to_S posReadPrec minPrec "-1"
[]