symparsec
Safe HaskellNone
LanguageGHC2021

Symparsec.Parser.Monad

Description

Type-level string parsers shaped like Monad functions.

Synopsis

Documentation

data ((l :: PParser a) >>= (r :: a ~> PParser b)) (s :: FunKind PState (PReply b)) infixl 1 Source #

>>= for parsers. Sequentially compose two parsers, passing the value from the left parser as an argument to the second.

Instances

Instances details
type App (l >>= r :: FunKind PState (PReply b) -> Type) (s :: PState) Source # 
Instance details

Defined in Symparsec.Parser.Monad

type App (l >>= r :: FunKind PState (PReply b) -> Type) (s :: PState)