Module

Text.Parsing.Simple

Package: purescript-simple-parser
Repository: Thimoteus/purescript-simple-parser

#ParseError Source

type ParseError = String

#Result Source

type Result o = Except (List ParseError) o

#Parser Source

newtype Parser i o

Constructors

Parser (State i (Result o))

Instances

Newtype (Parser i o) _
Functor (Parser i)
Apply (Parser i)
Applicative (Parser i)
Bind (Parser i)
Monad (Parser i)
Lazy (Parser i o)
(Semigroup o) => Semigroup (Parser i o)
(Monoid o) => Monoid (Parser i o)
Alt (Parser i)
Plus (Parser i)
Alternative (Parser i)

#unParser Source

unParser :: forall o i. Parser i o -> State i (Result o)

#runParser Source

runParser :: forall o i. Parser i o -> i -> Tuple (Result o) i

#parse Source

parse :: forall o i. Parser i o -> i -> Result o

#stream Source

stream :: forall i. Parser i i

#fail Source

fail :: forall o i. ParseError -> Parser i o

#orFailWith Source

orFailWith :: forall o i. Parser i o -> ParseError -> Parser i o

#(<?>) Source

Operator alias for Text.Parsing.Simple.orFailWith (non-associative / precedence 0)

#bracket Source

bracket :: forall close open o i. Parser i open -> Parser i close -> Parser i o -> Parser i o

#option Source

option :: forall o i. o -> Parser i o -> Parser i o

#optional Source

optional :: forall o i. Parser i o -> Parser i Unit

#optionMaybe Source

optionMaybe :: forall o i. Parser i o -> Parser i (Maybe o)

#try Source

try :: forall o i. Parser i o -> Parser i o

#lookAhead Source

lookAhead :: forall o i. Parser i o -> Parser i o

#sepBy Source

sepBy :: forall o sep i. Parser i o -> Parser i sep -> Parser i (List o)

#sepBy1 Source

sepBy1 :: forall o sep i. Parser i o -> Parser i sep -> Parser i (List o)

#endBy Source

endBy :: forall sep o i. Parser i o -> Parser i sep -> Parser i (List o)

#endBy1 Source

endBy1 :: forall sep o i. Parser i o -> Parser i sep -> Parser i (List o)

#sepEndBy Source

sepEndBy :: forall sep o i. Parser i o -> Parser i sep -> Parser i (List o)

#sepEndBy1 Source

sepEndBy1 :: forall sep o i. Parser i o -> Parser i sep -> Parser i (List o)

#chainr Source

chainr :: forall o i. Parser i o -> Parser i (o -> o -> o) -> o -> Parser i o

#chainr1 Source

chainr1 :: forall o i. Parser i o -> Parser i (o -> o -> o) -> Parser i o

#chainr1' Source

chainr1' :: forall o i. Parser i o -> Parser i (o -> o -> o) -> o -> Parser i o

#choice Source

choice :: forall a g f. Foldable f => Alt g => Plus g => f (g a) -> g a

#skipMany Source

skipMany :: forall o i. Parser i o -> Parser i Unit

#skipSome Source

skipSome :: forall o i. Parser i o -> Parser i Unit

#notFollowedBy Source

notFollowedBy :: forall o i. Parser i o -> Parser i Unit

#manyTill Source

manyTill :: forall e o i. Parser i o -> Parser i e -> Parser i (List o)

#someTill Source

someTill :: forall e o i. Parser i o -> Parser i e -> Parser i (List o)

#suchThat Source

suchThat :: forall o i. Parser i o -> (o -> Boolean) -> Parser i o

#(|=) Source

Operator alias for Text.Parsing.Simple.suchThat (left-associative / precedence 5)

#anyChar Source

anyChar :: Parser String Char

#char Source

char :: Char -> Parser String Char

#satisfy Source

satisfy :: (Char -> Boolean) -> Parser String Char

#string Source

string :: String -> Parser String String

#space Source

space :: Parser String Char

#whiteSpace Source

whiteSpace :: Parser String String

#skipSpaces Source

skipSpaces :: Parser String Unit

#oneOf Source

oneOf :: forall f. Foldable f => Show (f Char) => f Char -> Parser String Char

#noneOf Source

noneOf :: forall f. Foldable f => Show (f Char) => f Char -> Parser String Char

#eof Source

eof :: Parser String Unit

#someChar Source

someChar :: Parser String Char -> Parser String String

#integral Source

integral :: Parser String String

#int Source

int :: Parser String Int

#alphaNum Source

alphaNum :: Parser String Char

#float Source

float :: Parser String Number

#word Source

word :: Parser String String

Modules: Text.Parsing.Simple; Text.Parsing.Util