Language.Haskell.ParseMonad

Monads for the Haskell parser and lexer.

Parsing

data P a

Monad for parsing

Instances

MonadFail P

Since: 1.0.3.0

Defined in Language.Haskell.ParseMonad

Methods

fail :: String -> P a

Applicative P

Since: 1.0.2.0

Defined in Language.Haskell.ParseMonad

Methods

pure :: a -> P a

(<*>) :: P (a -> b) -> P a -> P b

liftA2 :: (a -> b -> c) -> P a -> P b -> P c

(*>) :: P a -> P b -> P b

(<*) :: P a -> P b -> P a

Functor P

Since: 1.0.2.0

Defined in Language.Haskell.ParseMonad

Methods

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

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

Monad P

Defined in Language.Haskell.ParseMonad

Methods

(>>=) :: P a -> (a -> P b) -> P b

(>>) :: P a -> P b -> P b

return :: a -> P a

data ParseResult a

The result of a parse.

Constructors

ParseOk a

The parse succeeded, yielding a value.

ParseFailed SrcLoc String

The parse failed at the specified source location, with an error message.

Instances

Applicative ParseResult

Defined in Language.Haskell.ParseMonad

Methods

pure :: a -> ParseResult a

(<*>) :: ParseResult (a -> b) -> ParseResult a -> ParseResult b

liftA2 :: (a -> b -> c) -> ParseResult a -> ParseResult b -> ParseResult c

(*>) :: ParseResult a -> ParseResult b -> ParseResult b

(<*) :: ParseResult a -> ParseResult b -> ParseResult a

Functor ParseResult

Defined in Language.Haskell.ParseMonad

Methods

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

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

Monad ParseResult

Defined in Language.Haskell.ParseMonad

Methods

(>>=) :: ParseResult a -> (a -> ParseResult b) -> ParseResult b

(>>) :: ParseResult a -> ParseResult b -> ParseResult b

return :: a -> ParseResult a

Monoid m => Monoid (ParseResult m)

Defined in Language.Haskell.ParseMonad

Methods

mempty :: ParseResult m

mappend :: ParseResult m -> ParseResult m -> ParseResult m

mconcat :: [ParseResult m] -> ParseResult m

Monoid m => Semigroup (ParseResult m)

Since: 1.0.3.0

Defined in Language.Haskell.ParseMonad

Methods

(<>) :: ParseResult m -> ParseResult m -> ParseResult m

sconcat :: NonEmpty (ParseResult m) -> ParseResult m

stimes :: Integral b => b -> ParseResult m -> ParseResult m

Show a => Show (ParseResult a)

Defined in Language.Haskell.ParseMonad

Methods

showsPrec :: Int -> ParseResult a -> ShowS

show :: ParseResult a -> String

showList :: [ParseResult a] -> ShowS

atSrcLoc :: P a -> SrcLoc -> P a

data LexContext

Constructors

NoLayout

Layout Int

Instances

Show LexContext

Defined in Language.Haskell.ParseMonad

Methods

showsPrec :: Int -> LexContext -> ShowS

show :: LexContext -> String

showList :: [LexContext] -> ShowS

Eq LexContext

Defined in Language.Haskell.ParseMonad

Methods

(==) :: LexContext -> LexContext -> Bool

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

Ord LexContext

Defined in Language.Haskell.ParseMonad

Methods

compare :: LexContext -> LexContext -> Ordering

(<) :: LexContext -> LexContext -> Bool

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

(>) :: LexContext -> LexContext -> Bool

(>=) :: LexContext -> LexContext -> Bool

max :: LexContext -> LexContext -> LexContext

min :: LexContext -> LexContext -> LexContext

data ParseMode

Static parameters governing a parse. More to come later, e.g. literate mode, language extensions.

Constructors

ParseMode

Fields

• parseFilename :: String

  original name of the file being parsed

defaultParseMode :: ParseMode

Default parameters for a parse, currently just a marker for an unknown filename.

runParserWithMode :: ParseMode -> P a -> String -> ParseResult a

runParser :: P a -> String -> ParseResult a

getSrcLoc :: P SrcLoc

pushCurrentContext :: P ()

popContext :: P ()

Lexing

data Lex r a

Instances

MonadFail (Lex r)

Since: 1.0.3.0

Defined in Language.Haskell.ParseMonad

Methods

fail :: String -> Lex r a

Applicative (Lex r)

Since: 1.0.2.0

Defined in Language.Haskell.ParseMonad

Methods

pure :: a -> Lex r a

(<*>) :: Lex r (a -> b) -> Lex r a -> Lex r b

liftA2 :: (a -> b -> c) -> Lex r a -> Lex r b -> Lex r c

(*>) :: Lex r a -> Lex r b -> Lex r b

(<*) :: Lex r a -> Lex r b -> Lex r a

Functor (Lex r)

Since: 1.0.2.0

Defined in Language.Haskell.ParseMonad

Methods

fmap :: (a -> b) -> Lex r a -> Lex r b

(<$) :: a -> Lex r b -> Lex r a

Monad (Lex r)

Defined in Language.Haskell.ParseMonad

Methods

(>>=) :: Lex r a -> (a -> Lex r b) -> Lex r b

(>>) :: Lex r a -> Lex r b -> Lex r b

return :: a -> Lex r a

getInput :: Lex r String

discard :: Int -> Lex r ()

Discard some input characters (these must not include tabs or newlines).

lexNewline :: Lex a ()

Discard the next character, which must be a newline.

lexTab :: Lex a ()

Discard the next character, which must be a tab.

lexWhile :: (Char -> Bool) -> Lex a String

alternative :: Lex a v -> Lex a (Lex a v)

checkBOL :: Lex a Bool

setBOL :: Lex a ()

startToken :: Lex a ()

getOffside :: Lex a Ordering

pushContextL :: LexContext -> Lex a ()

popContextL :: String -> Lex a ()