Hets - the Heterogeneous Tool Set

Copyright(c) Mihai Codescu, and Uni Bremen 2002-2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermcodescu@informatik.uni-bremen.de
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

CASL.ColimSign

Description

CASL signature colimits, computed component-wise. Supposed to be working for CASL extensions as well. based on http://www.informatik.uni-bremen.de/~till/papers/colimits.ps

Documentation

signColimit :: Category (Sign f e) (Morphism f e m) => Gr (Sign f e) (Int, Morphism f e m) -> (Gr e (Int, m) -> Map Int (Morphism f e m) -> (e, Map Int m)) -> (Sign f e, Map Int (Morphism f e m))

extCASLColimit :: Gr () (Int, ()) -> Map Int CASLMor -> ((), Map Int ())