Text.Lexer.Inchworm.Char

Character based scanners.

Documentation

module Text.Lexer.Inchworm

Driver

scanStringIO :: String -> Scanner IO Location String a -> IO ([a], Location, String)

Scan a string, using the IO monad to maintain internal state.

Locations

data Range loc

A range of locations in a source file.

Constructors

Range !loc !loc

Instances

Show loc => Show (Range loc)

Defined in Text.Lexer.Inchworm.Source

Methods

showsPrec :: Int -> Range loc -> ShowS

show :: Range loc -> String

showList :: [Range loc] -> ShowS

data Location

A location in a source file.

Constructors

Location !Int !Int

Instances

Show Location

Defined in Text.Lexer.Inchworm.Source

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

bumpLocationWithChar :: Char -> Location -> Location

Bump a location using the given character, updating the line and column number as appropriate.

Scanners

scanInteger :: Monad m => Scanner m loc [Char] (Range loc, Integer)

Scan a decimal integer, with optional - and + sign specifiers.

scanHaskellChar :: Monad m => Scanner m loc [Char] (Range loc, Char)

Scan a literal character, enclosed in single quotes.

We handle the escape codes listed in Section 2.6 of the Haskell Report.

scanHaskellString :: Monad m => Scanner m loc [Char] (Range loc, String)

Scan a literal string, enclosed in double quotes.

We handle the escape codes listed in Section 2.6 of the Haskell Report.

scanHaskellCommentBlock :: Monad m => Scanner m loc [Char] (Range loc, String)

Scan a Haskell block comment.

scanHaskellCommentLine :: Monad m => Scanner m loc [Char] (Range loc, String)

Scan a Haskell line comment.