Copyright	(c) Edward Kmett and Dan Doel 2013
License	BSD3
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Ermine.Parser.Term

Description

This module provides the parser for terms

Documentation

term :: (Monad m, TokenParsing m) => m Tm Source

terms :: (Monad m, TokenParsing m) => m [Tm] Source

declarations :: (Monad m, TokenParsing m) => m (Binder Text [Binding Ann Text]) Source

letBlock :: (Monad m, TokenParsing m) => m Tm Source