Morphism.hs revision 5cbcb38f40d3eb0c2e66773c30cc58fa1171ffc9
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian Maeder--import qualified Data.Map as Map -- redundant, loaded with Sign
7f24d24e63854a9a2539c2dac55198f746ad57dbChristian Maeder--import qualified PLpatt.AS_BASIC_PLpatt as AS_BASIC -- redundant, loaded with Sign
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach--data Morphism = Morphism Sign Sign (Map.Map Decl Decl)
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach--id :: Sign -> Morphism
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach--id sign = ...
bb83db66bd9b3b4ce67be66419daf29886175276Andy Gimblett--comp Morphism Morphism
78718c37b1a50086a27e0f031db4cf82bea934aeChristian Maeder--comp mor1 mor2 = ...
a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbachdata Morphism = Morphism{source :: Sigs,target :: Sigs}