Recognize.Parsing.Parse

This module defines the parser interface. It consists of three type classes: ParseState, Parse and ParseLog. These three type classes expose the parsing primitives necessary to be implemented by any parser. Although both ParseState and ParseLog are optional, Parse is not.

Documentation

class (Monad m, Alternative m) => Parse m s | m -> s where

Interface for the basic parsing primitives

Methods

(|>) :: m a -> m a -> m a infixl 3

satisfyWith :: (s -> Maybe a) -> m a

withInputList :: ([s] -> [a]) -> m a

Instances

Monad m => Parse (ParserT st s m) s

Defined in Recognize.Parsing.Parser

Methods

(|>) :: ParserT st s m a -> ParserT st s m a -> ParserT st s m a

satisfyWith :: (s -> Maybe a) -> ParserT st s m a

withInputList :: ([s] -> [a]) -> ParserT st s m a

safePeek :: Parse m s => m (Maybe s)

option :: Parse m s => m a -> m (Maybe a)

satisfy :: Parse m s => (s -> Bool) -> m s

guardBy :: (MonadState st m, Alternative m) => (st -> Bool) -> m ()

class ParseLog m where

Interface for monads that are capable of logging.

Methods

pLog :: String -> m ()

Instances

ParseLog IO

Defined in Recognize.Parsing.Parse

Methods

pLog :: String -> IO ()

ParseLog Identity

Defined in Recognize.Parsing.Parse

Methods

pLog :: String -> Identity ()

(Monad m, ParseLog m) => ParseLog (ParserT st s m)

Defined in Recognize.Parsing.Parser

Methods

pLog :: String -> ParserT st s m ()