LambdaPrettyQuote-0.0.0.1: Parser, pretty printer, quasiquoter, and Arbitrary helpers for the untyped lambda calculus.

Safe Haskell	Safe-Infered

Language.Lambda.Parser

Documentation

type M = Identity Source

type Output = Expr Source

top_expr :: ParsecT String u M Output Source

parse_expr :: ParsecT String u M Output Source

parse_aexpr :: ParsecT String u M Output Source

parse_lambda :: ParsecT String u M Output Source

parse_app :: ParsecT String u M Output Source

parse_atom :: ParsecT String u M Output Source

parse_var :: ParsecT String u M Output Source

parse_sym :: ParsecT String u M String Source

parens' :: Stream s m Char => ParsecT s u m b -> ParsecT s u m bSource