Data.SExpresso.Parse.Location

The module Data.SExpresso.Parse re-exports the functions and datatypes of this module.

Documentation

data Location

The Location datatype represents a source span

Constructors

Span SourcePos SourcePos

Instances

Eq Location

Defined in Data.SExpresso.Parse.Location

Methods

(==) :: Location -> Location -> Bool

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

Ord Location

Defined in Data.SExpresso.Parse.Location

Methods

compare :: Location -> Location -> Ordering

(<) :: Location -> Location -> Bool

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

(>) :: Location -> Location -> Bool

(>=) :: Location -> Location -> Bool

max :: Location -> Location -> Location

min :: Location -> Location -> Location

Show Location

Defined in Data.SExpresso.Parse.Location

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

data Located a

The Located datatype adds a source span to the type a

Constructors

At Location a

Instances

Functor Located

Defined in Data.SExpresso.Parse.Location

Methods

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

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

Eq a => Eq (Located a)

Defined in Data.SExpresso.Parse.Location

Methods

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

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

Ord a => Ord (Located a)

Defined in Data.SExpresso.Parse.Location

Methods

compare :: Located a -> Located a -> Ordering

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

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

(>) :: Located a -> Located a -> Bool

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

max :: Located a -> Located a -> Located a

min :: Located a -> Located a -> Located a

Show a => Show (Located a)

Defined in Data.SExpresso.Parse.Location

Methods

showsPrec :: Int -> Located a -> ShowS

show :: Located a -> String

showList :: [Located a] -> ShowS

located :: (MonadParsec e s m, TraversableStream s) => m a -> m (Located a)

The located function adds a source span to a parser.

startPosPretty :: Location -> String

Pretty prints S1 of a Span S1 _ object with sourcePosPretty

endPosPretty :: Location -> String

Pretty prints S2 of a Span _ S2 object with sourcePosPretty