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

Data Pos

Defined in Data.Loc.Pos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pos -> c Pos

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pos

toConstr :: Pos -> Constr

dataTypeOf :: Pos -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pos)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pos)

gmapT :: (forall b. Data b => b -> b) -> Pos -> Pos

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pos -> r

gmapQ :: (forall d. Data d => d -> u) -> Pos -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pos -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pos -> m Pos

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pos -> m Pos

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

Data Line

Defined in Data.Loc.Pos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Line -> c Line

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Line

toConstr :: Line -> Constr

dataTypeOf :: Line -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Line)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Line)

gmapT :: (forall b. Data b => b -> b) -> Line -> Line

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Line -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Line -> r

gmapQ :: (forall d. Data d => d -> u) -> Line -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Line -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Line -> m Line

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Line -> m Line

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Line -> m Line

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

Data Column

Defined in Data.Loc.Pos

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Column -> c Column

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Column

toConstr :: Column -> Constr

dataTypeOf :: Column -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Column)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Column)

gmapT :: (forall b. Data b => b -> b) -> Column -> Column

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Column -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Column -> r

gmapQ :: (forall d. Data d => d -> u) -> Column -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Column -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Column -> m Column

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Column -> m Column

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Column -> m Column

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).

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"
[]