hets -- a heterogenous Specification (CASL) tool setContentsIndex
Logic.Comorphism
Portability non-portable (via Logic)
Stability provisional
Maintainer hets@tzi.de
Description
Provides data structures logic (co)morphisms. Logic (co)morphisms are just collections of functions between (some of) the types of logics.
Synopsis
class (Language cid, Typeable cid, Logic lid1 sublogics1 basic_spec1 sentence1 symb_items1 symb_map_items1 sign1 morphism1 symbol1 raw_symbol1 proof_tree1, Logic lid2 sublogics2 basic_spec2 sentence2 symb_items2 symb_map_items2 sign2 morphism2 symbol2 raw_symbol2 proof_tree2) => Comorphism cid lid1 sublogics1 basic_spec1 sentence1 symb_items1 symb_map_items1 sign1 morphism1 symbol1 raw_symbol1 proof_tree1 lid2 sublogics2 basic_spec2 sentence2 symb_items2 symb_map_items2 sign2 morphism2 symbol2 raw_symbol2 proof_tree2 | cid -> lid1, cid -> lid2, cid -> sublogics1, cid -> basic_spec1, cid -> sentence1, cid -> symb_items1, cid -> symb_map_items1, cid -> sign1, cid -> morphism1, cid -> symbol1, cid -> raw_symbol1, cid -> proof_tree1, cid -> sublogics2, cid -> basic_spec2, cid -> sentence2, cid -> symb_items2, cid -> symb_map_items2, cid -> sign2, cid -> morphism2, cid -> symbol2, cid -> raw_symbol2, cid -> proof_tree2 where
sourceLogic :: cid -> lid1
sourceSublogic :: cid -> sublogics1
targetLogic :: cid -> lid2
targetSublogic :: cid -> sublogics2
map_sign :: cid -> sign1 -> Maybe (sign2, [sentence2])
map_morphism :: cid -> morphism1 -> Maybe morphism2
map_sentence :: cid -> sign1 -> sentence1 -> Maybe sentence2
map_symbol :: cid -> symbol1 -> Set symbol2
fromShATerm_sign1 :: ATermConvertible sign => cid -> ATermTable -> sign
fromShATerm_morphism2 :: ATermConvertible morphism => cid -> ATermTable -> morphism
data IdComorphism lid = IdComorphism lid
idComorphismTc :: TyCon
data CompComorphism cid1 lid1 sublogics1 basic_spec1 sentence1 symb_items1 symb_map_items1 sign1 morphism1 symbol1 raw_symbol1 proof_tree1 cid2 lid2 sublogics2 basic_spec2 sentence2 symb_items2 symb_map_items2 sign2 morphism2 symbol2 raw_symbol2 proof_tree2 lid3 sublogics3 basic_spec3 sentence3 symb_items3 symb_map_items3 sign3 morphism3 symbol3 raw_symbol3 proof_tree3 = CompComorphism cid1 cid2
tyconCompComorphism :: TyCon
Produced by Haddock version 0.6