Text.Lexer.Inchworm.Scanner

Documentation

data Scanner m loc input a

Scanner of input tokens that produces a result value of type a when successful.

Constructors

Scanner

Fields

• runScanner :: Source m loc input -> m (Maybe a)

Instances

Monad m => Monad (Scanner m loc input)

Methods

(>>=) :: Scanner m loc input a -> (a -> Scanner m loc input b) -> Scanner m loc input b

(>>) :: Scanner m loc input a -> Scanner m loc input b -> Scanner m loc input b

return :: a -> Scanner m loc input a

fail :: String -> Scanner m loc input a

Monad m => Functor (Scanner m loc input)

Methods

fmap :: (a -> b) -> Scanner m loc input a -> Scanner m loc input b

(<$) :: a -> Scanner m loc input b -> Scanner m loc input a

Monad m => Applicative (Scanner m loc input)

Methods

pure :: a -> Scanner m loc input a

(<*>) :: Scanner m loc input (a -> b) -> Scanner m loc input a -> Scanner m loc input b

(*>) :: Scanner m loc input a -> Scanner m loc input b -> Scanner m loc input b

(<*) :: Scanner m loc input a -> Scanner m loc input b -> Scanner m loc input a

scanSourceToList :: Monad m => Source m loc [i] -> Scanner m loc [i] a -> m ([a], loc, [i])

Apply a scanner to a source of input tokens, where the tokens are represented as a lazy list.

The result values are also produced in a lazy list.