28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederDescription : command action associations for all interfaces
28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederCopyright : (c) Christian Maeder, DFKI GmbH 2009
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuLicense : GPLv2 or higher, see LICENSE.txt
28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederMaintainer : Christian.Maeder@dfki.de
28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederStability : provisional
28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederPortability : portable
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederassociation of some commands to actions on development graphs
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederimport Proofs.QualifyNames (qualifyLibEnv)
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian Maederimport Proofs.Freeness (freeness)
51f5e4646dd79be0844ceb0cc416e3fa3205a365Mihai Codescuimport Proofs.NormalForm (normalForm)
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian Maederimport Proofs.Automatic (automatic)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederimport Proofs.Global (globSubsume, globDecomp)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederimport Proofs.Local (localInference, locDecomp)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederimport Proofs.Composition (composition, compositionCreatingEdges)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederimport Proofs.HideTheoremShift (automaticHideTheoremShift)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederimport Proofs.TheoremHideShift (theoremHideShift)
71704748bda66fdb9dedfd86d6b0d5bd3e84e9c2Markus Grossimport Proofs.Conservativity (conservativity)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maederimport Proofs.ComputeColimit (computeColimit)
2e0e43889f746e31eacf8eeccdeaa4032a65b07eMihai Codescuimport Proofs.TriangleCons (triangleCons)
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian MaederglobLibAct :: [(GlobCmd, LibName -> LibEnv -> LibEnv)]
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder [ (Automatic, automatic)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (GlobDecomp, globDecomp)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (GlobSubsume, globSubsume)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (LocalDecomp, locDecomp)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (LocalInference, localInference)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (CompositionProveEdges, composition)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (CompositionCreateEdges, compositionCreatingEdges)
71704748bda66fdb9dedfd86d6b0d5bd3e84e9c2Markus Gross , (Conservativity, conservativity)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (HideThmShift, automaticHideTheoremShift) ]
e49fd57c63845c7806860a9736ad09f6d44dbaedChristian MaederglobLibResultAct :: [(GlobCmd, LibName -> LibEnv -> Result LibEnv)]
28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederglobLibResultAct =
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder [ (ThmHideShift, theoremHideShift)
28ca54b0d63d1d26a991711c8c7e85c474994715Christian Maeder , (Colimit, computeColimit)
5e49e7c9cdf9762a903d7ecbc668b52e7bb2dd7bMihai Codescu , (NormalForm, normalForm)
2e0e43889f746e31eacf8eeccdeaa4032a65b07eMihai Codescu , (TriangleCons, triangleCons)
0bc3e99a05ed12fafe271ab855c15c866b50827cMihai Codescu , (Freeness, freeness)
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian Maeder-- , (ThmFreeShift, theoremFreeShift)
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian MaederallGlobLibAct :: [(GlobCmd, LibName -> LibEnv -> Result LibEnv)]
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian MaederallGlobLibAct =
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian Maeder map (\ (a, b) -> (a, \ n -> return . b n)) globLibAct
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian Maeder ++ globLibResultAct
b0bf54186358372d2be6a95e36ed3ef5fd64b7a3Christian Maeder ++ map (\ (a, b) -> (a, const b)) globResultAct
28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederglobResultAct :: [(GlobCmd, LibEnv -> Result LibEnv)]
28ca54b0d63d1d26a991711c8c7e85c474994715Christian MaederglobResultAct =
92253b1b1dd43df077232b1df91f2e0fa6959fcfChristian Maeder [ (Importing, libFlatImports)
92253b1b1dd43df077232b1df91f2e0fa6959fcfChristian Maeder , (DisjointUnion, libFlatDUnions)
92253b1b1dd43df077232b1df91f2e0fa6959fcfChristian Maeder , (Renaming, libFlatRenamings)
92253b1b1dd43df077232b1df91f2e0fa6959fcfChristian Maeder , (Hiding, libFlatHiding)
92253b1b1dd43df077232b1df91f2e0fa6959fcfChristian Maeder , (Heterogeneity, libFlatHeterogen)
92253b1b1dd43df077232b1df91f2e0fa6959fcfChristian Maeder , (QualifyNames, qualifyLibEnv) ]