hets -- a heterogenous Specification (CASL) tool set Contents Index

Logic.ParsecInterface Portability non-portable (via Logic) Stability provisional Maintainer hets@tzi.de

Description

Interface for Parsec parsers. Generates a ParseFun as needed by Logic.hs

Synopsis

toParseFun :: GenParser Char st a -> st -> ParseFun a

Produced by Haddock version 0.6