Safe Haskell	None
Language	Haskell2010

BNFC.Types.Position

Synopsis

data WithPosition a = WithPosition {
- wpPos :: !Position
- wpThing :: a
}
data WithPosition' a = WithPosition' {
- wpPos' :: !Position'
- wpThing' :: a
}
type Position' = Maybe Position
data Position = Position {
- posLine :: !Int
- posCol :: !Int
}
class ToPosition p where
- toPosition :: p -> Position
class ToPosition' p where
- toPosition' :: p -> Position'

Documentation

data WithPosition a Source #

Constructors

WithPosition
Fields wpPos :: !Position wpThing :: a

Instances

Instances details

Functor WithPosition Source #
Instance details Defined in BNFC.Types.Position Methods fmap :: (a -> b) -> WithPosition a -> WithPosition b Source # (<$) :: a -> WithPosition b -> WithPosition a Source #
Foldable WithPosition Source #
Instance details Defined in BNFC.Types.Position Methods fold :: Monoid m => WithPosition m -> m Source # foldMap :: Monoid m => (a -> m) -> WithPosition a -> m Source # foldMap' :: Monoid m => (a -> m) -> WithPosition a -> m Source # foldr :: (a -> b -> b) -> b -> WithPosition a -> b Source # foldr' :: (a -> b -> b) -> b -> WithPosition a -> b Source # foldl :: (b -> a -> b) -> b -> WithPosition a -> b Source # foldl' :: (b -> a -> b) -> b -> WithPosition a -> b Source # foldr1 :: (a -> a -> a) -> WithPosition a -> a Source # foldl1 :: (a -> a -> a) -> WithPosition a -> a Source # toList :: WithPosition a -> [a] Source # null :: WithPosition a -> Bool Source # length :: WithPosition a -> Int Source # elem :: Eq a => a -> WithPosition a -> Bool Source # maximum :: Ord a => WithPosition a -> a Source # minimum :: Ord a => WithPosition a -> a Source # sum :: Num a => WithPosition a -> a Source # product :: Num a => WithPosition a -> a Source #
Traversable WithPosition Source #
Instance details Defined in BNFC.Types.Position Methods traverse :: Applicative f => (a -> f b) -> WithPosition a -> f (WithPosition b) Source # sequenceA :: Applicative f => WithPosition (f a) -> f (WithPosition a) Source # mapM :: Monad m => (a -> m b) -> WithPosition a -> m (WithPosition b) Source # sequence :: Monad m => WithPosition (m a) -> m (WithPosition a) Source #
Decoration WithPosition Source #
Instance details Defined in BNFC.Types.Position Methods traverseF :: Functor m => (a -> m b) -> WithPosition a -> m (WithPosition b) Source # distributeF :: Functor m => WithPosition (m a) -> m (WithPosition a) Source # traverseF2 :: Bifunctor m => (a -> m b c) -> WithPosition a -> m (WithPosition b) (WithPosition c) Source # distributeF2 :: Bifunctor m => WithPosition (m a b) -> m (WithPosition a) (WithPosition b) Source #
Eq a => Eq (WithPosition a) Source #
Instance details Defined in BNFC.Types.Position Methods (==) :: WithPosition a -> WithPosition a -> Bool Source # (/=) :: WithPosition a -> WithPosition a -> Bool Source #
Ord a => Ord (WithPosition a) Source #
Instance details Defined in BNFC.Types.Position Methods compare :: WithPosition a -> WithPosition a -> Ordering Source # (<) :: WithPosition a -> WithPosition a -> Bool Source # (<=) :: WithPosition a -> WithPosition a -> Bool Source # (>) :: WithPosition a -> WithPosition a -> Bool Source # (>=) :: WithPosition a -> WithPosition a -> Bool Source # max :: WithPosition a -> WithPosition a -> WithPosition a Source # min :: WithPosition a -> WithPosition a -> WithPosition a Source #
Show a => Show (WithPosition a) Source #
Instance details Defined in BNFC.Types.Position Methods showsPrec :: Int -> WithPosition a -> ShowS Source # show :: WithPosition a -> String Source # showList :: [WithPosition a] -> ShowS Source #
AddCategories (WithPosition ICat) Source #	Directly add to `_stUsedCats`.
Instance details Defined in BNFC.Check.Pass1 Methods addCategories :: WithPosition ICat -> ReaderT Parseable M () Source #

data WithPosition' a Source #

Constructors

WithPosition'
Fields wpPos' :: !Position' wpThing' :: a

Instances

Instances details

Functor WithPosition' Source #
Instance details Defined in BNFC.Types.Position Methods fmap :: (a -> b) -> WithPosition' a -> WithPosition' b Source # (<$) :: a -> WithPosition' b -> WithPosition' a Source #
Foldable WithPosition' Source #
Instance details Defined in BNFC.Types.Position Methods fold :: Monoid m => WithPosition' m -> m Source # foldMap :: Monoid m => (a -> m) -> WithPosition' a -> m Source # foldMap' :: Monoid m => (a -> m) -> WithPosition' a -> m Source # foldr :: (a -> b -> b) -> b -> WithPosition' a -> b Source # foldr' :: (a -> b -> b) -> b -> WithPosition' a -> b Source # foldl :: (b -> a -> b) -> b -> WithPosition' a -> b Source # foldl' :: (b -> a -> b) -> b -> WithPosition' a -> b Source # foldr1 :: (a -> a -> a) -> WithPosition' a -> a Source # foldl1 :: (a -> a -> a) -> WithPosition' a -> a Source # toList :: WithPosition' a -> [a] Source # null :: WithPosition' a -> Bool Source # length :: WithPosition' a -> Int Source # elem :: Eq a => a -> WithPosition' a -> Bool Source # maximum :: Ord a => WithPosition' a -> a Source # minimum :: Ord a => WithPosition' a -> a Source # sum :: Num a => WithPosition' a -> a Source # product :: Num a => WithPosition' a -> a Source #
Traversable WithPosition' Source #
Instance details Defined in BNFC.Types.Position Methods traverse :: Applicative f => (a -> f b) -> WithPosition' a -> f (WithPosition' b) Source # sequenceA :: Applicative f => WithPosition' (f a) -> f (WithPosition' a) Source # mapM :: Monad m => (a -> m b) -> WithPosition' a -> m (WithPosition' b) Source # sequence :: Monad m => WithPosition' (m a) -> m (WithPosition' a) Source #
Decoration WithPosition' Source #
Instance details Defined in BNFC.Types.Position Methods traverseF :: Functor m => (a -> m b) -> WithPosition' a -> m (WithPosition' b) Source # distributeF :: Functor m => WithPosition' (m a) -> m (WithPosition' a) Source # traverseF2 :: Bifunctor m => (a -> m b c) -> WithPosition' a -> m (WithPosition' b) (WithPosition' c) Source # distributeF2 :: Bifunctor m => WithPosition' (m a b) -> m (WithPosition' a) (WithPosition' b) Source #
Show a => Show (WithPosition' a) Source #
Instance details Defined in BNFC.Types.Position Methods showsPrec :: Int -> WithPosition' a -> ShowS Source # show :: WithPosition' a -> String Source # showList :: [WithPosition' a] -> ShowS Source #

type Position' = Maybe Position Source #

data Position Source #

Constructors

Position
Fields posLine :: !Int Starting at line, counting from 1. (0 for invalid line.) posCol :: !Int Starting at column, counting from 1. (0 for invalid column.)

Instances

Instances details

Bounded Position Source #
Instance details Defined in BNFC.Types.Position Methods minBound :: Position Source # maxBound :: Position Source #
Eq Position Source #
Instance details Defined in BNFC.Types.Position Methods (==) :: Position -> Position -> Bool Source # (/=) :: Position -> Position -> Bool Source #
Ord Position Source #
Instance details Defined in BNFC.Types.Position Methods compare :: Position -> Position -> Ordering Source # (<) :: Position -> Position -> Bool Source # (<=) :: Position -> Position -> Bool Source # (>) :: Position -> Position -> Bool Source # (>=) :: Position -> Position -> Bool Source # max :: Position -> Position -> Position Source # min :: Position -> Position -> Position Source #
Show Position Source #
Instance details Defined in BNFC.Types.Position Methods showsPrec :: Int -> Position -> ShowS Source # show :: Position -> String Source # showList :: [Position] -> ShowS Source #
ToPosition' Position Source #
Instance details Defined in BNFC.Types.Position Methods toPosition' :: Position -> Position' Source #
ToPosition' Position' Source #
Instance details Defined in BNFC.Types.Position Methods toPosition' :: Position' -> Position' Source #
ToPosition Position Source #
Instance details Defined in BNFC.Types.Position Methods toPosition :: Position -> Position Source #

class ToPosition p where Source #

Something that can be parsed into a Position.

Methods

toPosition :: p -> Position Source #

Instances

Instances details

ToPosition Position Source #
Instance details Defined in BNFC.Types.Position Methods toPosition :: Position -> Position Source #
ToPosition (Int, Int) Source #
Instance details Defined in BNFC.Types.Position Methods toPosition :: (Int, Int) -> Position Source #

class ToPosition' p where Source #

Something that can be parsed into a Position'.

Methods

toPosition' :: p -> Position' Source #

Instances

Instances details

ToPosition' Position Source #
Instance details Defined in BNFC.Types.Position Methods toPosition' :: Position -> Position' Source #
ToPosition' Position' Source #
Instance details Defined in BNFC.Types.Position Methods toPosition' :: Position' -> Position' Source #
ToPosition' (Maybe (Int, Int)) Source #
Instance details Defined in BNFC.Types.Position Methods toPosition' :: Maybe (Int, Int) -> Position' Source #
ToPosition' (Int, Int) Source #
Instance details Defined in BNFC.Types.Position Methods toPosition' :: (Int, Int) -> Position' Source #