Copyright	(c) Mihai Codescu and Uni Bremen 2002-2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	mcodescu@informatik.uni-bremen.de
Stability	provisional
Portability	non-portable
Safe Haskell	None

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)) Source #

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