lambda-cube-0.3.0: Some thoughts on Calculus of Constructions
Safe HaskellNone
LanguageHaskell2010

L3.Parse.Parsec

Description

Small parsec-like module

Documentation

unParser :: Parser i o -> i -> [(o, i)] Source #

runParser :: (Alternative f, Show (f i), Show o, Eq (f i)) => Parser (f i) o -> f i -> Result o Source #

some :: Alternative f => f a -> f [a] Source #

many :: Alternative f => f a -> f [a] Source #

chainl :: Parser i o -> Parser i (o -> o -> o) -> o -> Parser i o Source #

chainl1 :: Parser i o -> Parser i (o -> o -> o) -> Parser i o Source #