License	GPLv2 or higher, see LICENSE.txt
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

Hybrid.HybridSign

Description

Signatures for hybrid logic, as extension of CASL signatures.

Documentation

Constructors

HybridSign
Fields rigidOps :: OpMap rigidPreds :: PredMap modies :: Map SIMPLE_ID [AnHybFORM] nomies :: Map SIMPLE_ID [AnHybFORM] termModies :: Map Id [AnHybFORM]

interMap :: Ord a => ([b] -> [b] -> [b]) -> Map a [b] -> Map a [b] -> Map a [b]

Eq HybridSign
Data HybridSign
Ord HybridSign
Show HybridSign
ShATermConvertible HybridSign
Pretty HybridSign
SignExtension HybridSign
Typeable * HybridSign
Sentences Hybrid HybridFORMULA HSign HybridMor Symbol
StaticAnalysis Hybrid H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol
Logic Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()
Comorphism CASL2Hybrid CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree Hybrid () H_BASIC_SPEC HybridFORMULA SYMB_ITEMS SYMB_MAP_ITEMS HSign HybridMor Symbol RawSymbol ()