BNFC.Types.Position

Documentation

data WithPosition a

Constructors

WithPosition

Fields

• wpPos :: !Position
• wpThing :: a

Instances

Functor WithPosition

Defined in BNFC.Types.Position

Methods

fmap :: (a -> b) -> WithPosition a -> WithPosition b

(<$) :: a -> WithPosition b -> WithPosition a

Foldable WithPosition

Defined in BNFC.Types.Position

Methods

fold :: Monoid m => WithPosition m -> m

foldMap :: Monoid m => (a -> m) -> WithPosition a -> m

foldMap' :: Monoid m => (a -> m) -> WithPosition a -> m

foldr :: (a -> b -> b) -> b -> WithPosition a -> b

foldr' :: (a -> b -> b) -> b -> WithPosition a -> b

foldl :: (b -> a -> b) -> b -> WithPosition a -> b

foldl' :: (b -> a -> b) -> b -> WithPosition a -> b

foldr1 :: (a -> a -> a) -> WithPosition a -> a

foldl1 :: (a -> a -> a) -> WithPosition a -> a

toList :: WithPosition a -> [a]

null :: WithPosition a -> Bool

length :: WithPosition a -> Int

elem :: Eq a => a -> WithPosition a -> Bool

maximum :: Ord a => WithPosition a -> a

minimum :: Ord a => WithPosition a -> a

sum :: Num a => WithPosition a -> a

product :: Num a => WithPosition a -> a

Traversable WithPosition

Defined in BNFC.Types.Position

Methods

traverse :: Applicative f => (a -> f b) -> WithPosition a -> f (WithPosition b)

sequenceA :: Applicative f => WithPosition (f a) -> f (WithPosition a)

mapM :: Monad m => (a -> m b) -> WithPosition a -> m (WithPosition b)

sequence :: Monad m => WithPosition (m a) -> m (WithPosition a)

Decoration WithPosition

Defined in BNFC.Types.Position

Methods

traverseF :: Functor m => (a -> m b) -> WithPosition a -> m (WithPosition b)

distributeF :: Functor m => WithPosition (m a) -> m (WithPosition a)

traverseF2 :: Bifunctor m => (a -> m b c) -> WithPosition a -> m (WithPosition b) (WithPosition c)

distributeF2 :: Bifunctor m => WithPosition (m a b) -> m (WithPosition a) (WithPosition b)

Eq a => Eq (WithPosition a)

Defined in BNFC.Types.Position

Methods

(==) :: WithPosition a -> WithPosition a -> Bool

(/=) :: WithPosition a -> WithPosition a -> Bool

Ord a => Ord (WithPosition a)

Defined in BNFC.Types.Position

Methods

compare :: WithPosition a -> WithPosition a -> Ordering

(<) :: WithPosition a -> WithPosition a -> Bool

(<=) :: WithPosition a -> WithPosition a -> Bool

(>) :: WithPosition a -> WithPosition a -> Bool

(>=) :: WithPosition a -> WithPosition a -> Bool

max :: WithPosition a -> WithPosition a -> WithPosition a

min :: WithPosition a -> WithPosition a -> WithPosition a

Show a => Show (WithPosition a)

Defined in BNFC.Types.Position

Methods

showsPrec :: Int -> WithPosition a -> ShowS

show :: WithPosition a -> String

showList :: [WithPosition a] -> ShowS

AddCategories (WithPosition ICat)

Directly add to _stUsedCats.

Defined in BNFC.Check.Pass1

Methods

addCategories :: WithPosition ICat -> ReaderT Parseable M ()

data WithPosition' a

Constructors

WithPosition'

Fields

• wpPos' :: !Position'
• wpThing' :: a

Instances

Functor WithPosition'

Defined in BNFC.Types.Position

Methods

fmap :: (a -> b) -> WithPosition' a -> WithPosition' b

(<$) :: a -> WithPosition' b -> WithPosition' a

Foldable WithPosition'

Defined in BNFC.Types.Position

Methods

fold :: Monoid m => WithPosition' m -> m

foldMap :: Monoid m => (a -> m) -> WithPosition' a -> m

foldMap' :: Monoid m => (a -> m) -> WithPosition' a -> m

foldr :: (a -> b -> b) -> b -> WithPosition' a -> b

foldr' :: (a -> b -> b) -> b -> WithPosition' a -> b

foldl :: (b -> a -> b) -> b -> WithPosition' a -> b

foldl' :: (b -> a -> b) -> b -> WithPosition' a -> b

foldr1 :: (a -> a -> a) -> WithPosition' a -> a

foldl1 :: (a -> a -> a) -> WithPosition' a -> a

toList :: WithPosition' a -> [a]

null :: WithPosition' a -> Bool

length :: WithPosition' a -> Int

elem :: Eq a => a -> WithPosition' a -> Bool

maximum :: Ord a => WithPosition' a -> a

minimum :: Ord a => WithPosition' a -> a

sum :: Num a => WithPosition' a -> a

product :: Num a => WithPosition' a -> a

Traversable WithPosition'

Defined in BNFC.Types.Position

Methods

traverse :: Applicative f => (a -> f b) -> WithPosition' a -> f (WithPosition' b)

sequenceA :: Applicative f => WithPosition' (f a) -> f (WithPosition' a)

mapM :: Monad m => (a -> m b) -> WithPosition' a -> m (WithPosition' b)

sequence :: Monad m => WithPosition' (m a) -> m (WithPosition' a)

Decoration WithPosition'

Defined in BNFC.Types.Position

Methods

traverseF :: Functor m => (a -> m b) -> WithPosition' a -> m (WithPosition' b)

distributeF :: Functor m => WithPosition' (m a) -> m (WithPosition' a)

traverseF2 :: Bifunctor m => (a -> m b c) -> WithPosition' a -> m (WithPosition' b) (WithPosition' c)

distributeF2 :: Bifunctor m => WithPosition' (m a b) -> m (WithPosition' a) (WithPosition' b)

Show a => Show (WithPosition' a)

Defined in BNFC.Types.Position

Methods

showsPrec :: Int -> WithPosition' a -> ShowS

show :: WithPosition' a -> String

showList :: [WithPosition' a] -> ShowS

type Position' = Maybe Position

data Position

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

Bounded Position

Defined in BNFC.Types.Position

Methods

minBound :: Position

maxBound :: Position

Eq Position

Defined in BNFC.Types.Position

Methods

(==) :: Position -> Position -> Bool

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

Ord Position

Defined in BNFC.Types.Position

Methods

compare :: Position -> Position -> Ordering

(<) :: Position -> Position -> Bool

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

(>) :: Position -> Position -> Bool

(>=) :: Position -> Position -> Bool

max :: Position -> Position -> Position

min :: Position -> Position -> Position

Show Position

Defined in BNFC.Types.Position

Methods

showsPrec :: Int -> Position -> ShowS

show :: Position -> String

showList :: [Position] -> ShowS

ToPosition' Position

Defined in BNFC.Types.Position

Methods

toPosition' :: Position -> Position'

ToPosition' Position'

Defined in BNFC.Types.Position

Methods

toPosition' :: Position' -> Position'

ToPosition Position

Defined in BNFC.Types.Position

Methods

toPosition :: Position -> Position

class ToPosition p where

Something that can be parsed into a Position.

Methods

toPosition :: p -> Position

Instances

ToPosition Position

Defined in BNFC.Types.Position

Methods

toPosition :: Position -> Position

ToPosition (Int, Int)

Defined in BNFC.Types.Position

Methods

toPosition :: (Int, Int) -> Position

class ToPosition' p where

Something that can be parsed into a Position'.

Methods

toPosition' :: p -> Position'

Instances

ToPosition' Position

Defined in BNFC.Types.Position

Methods

toPosition' :: Position -> Position'

ToPosition' Position'

Defined in BNFC.Types.Position

Methods

toPosition' :: Position' -> Position'

ToPosition' (Maybe (Int, Int))

Defined in BNFC.Types.Position

Methods

toPosition' :: Maybe (Int, Int) -> Position'

ToPosition' (Int, Int)

Defined in BNFC.Types.Position

Methods

toPosition' :: (Int, Int) -> Position'