Hets - the Heterogeneous Tool Set

LicenseGPLv2 or higher, see LICENSE.txt
Maintainernevrenato@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellNone

TopHybrid.Parse_AS

Description

Description : Parser for an hybridized arbitrary logic

Documentation

thBasic :: (String -> AnyLogic) -> AParser st Spc_Wrap Source #

basicSpec :: Syntax lid basic_spec s si sim => lid -> Maybe (PrefixMap -> AParser st basic_spec) Source #

callParser :: Show a => a -> (a -> Maybe x) -> x Source #

annoFormParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st (Annoted Frm_Wrap) Source #

formParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st Frm_Wrap Source #

topParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st (TH_FORMULA f) Source #

fParser :: Logic l sub bs f s sm si mo sy rw pf => l -> bs -> AParser st (TH_FORMULA f) Source #