why3-0.8: Haskell support for the Why3 input format.

Safe Haskell	Trustworthy
Language	Haskell98

Language.Why3.Parser

Documentation

parse :: ParseM a -> ByteString -> Either String a Source

data ParseM a Source

Instances

Monad ParseM
Functor ParseM
Applicative ParseM

theories :: ParseM [Theory] Source

expr :: ParseM Expr Source

pType :: ParseM Type Source