opentheory-parser-1.115: Stream parsers

Portabilityportable
Stabilityprovisional
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Safe HaskellNone

OpenTheory.Parser

Description

 

Documentation

newtype Parser a b Source

Constructors

Parser 

Fields

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

partialMap :: (b -> Maybe c) -> Parser a b -> Parser a cSource

map :: (b -> c) -> Parser a b -> Parser a cSource

parse :: Parser a b -> Stream a -> Maybe (b, Stream a)Source

parseOption :: (a -> Maybe b) -> Parser a bSource

parsePair :: Parser a b -> Parser a c -> Parser a (b, c)Source

parseSome :: (a -> Bool) -> Parser a aSource