contract-0.1.0.0

Copyright	(c) Xie Ruifeng 2020
License	AGPL-3
Maintainer	krantz.xrf@outlook.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Language.Contract.Parser

Description

Synopsis

parseTerm :: String -> Either ParseError Term
parseFile :: String -> String -> Either ParseError [(String, Term)]

Documentation

parseTerm :: String -> Either ParseError Term Source #

Parse a term, for parsing many terms see parseFile.

parseFile :: String -> String -> Either ParseError [(String, Term)] Source #

Parse a file, bindings in the form let name = term;.