OpenTheory.Parser

Documentation

newtype Parser a b

Constructors

Parser

Fields

unParser :: a -> Stream a -> Maybe (b, Stream a)

token :: (a -> Maybe b) -> Parser a b

some :: (a -> Bool) -> Parser a a

anyToken :: Parser a a

apply :: Parser a b -> Stream a -> Maybe (b, Stream a)

mapPartial :: Parser a b -> (b -> Maybe c) -> Parser a c

filterParser :: Parser a b -> (b -> Bool) -> Parser a b

fold :: (a -> c -> Maybe (Either b c)) -> c -> Parser a b

foldN :: (a -> b -> Maybe b) -> Natural -> b -> Parser a b

mapParser :: Parser a b -> (b -> c) -> Parser a c

none :: Parser a b

orelse :: Parser a b -> Parser a b -> Parser a b

sequenceParser :: Parser a (Parser a b) -> Parser a b

pair :: Parser a b -> Parser a c -> Parser a (b, c)

parse :: Parser a b -> Stream a -> Stream b