Hets - the Heterogeneous Tool Set

CopyrightDominik Luecke, Uni Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt or LIZENZ.txt
Maintainerluecke@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

RelationalScheme.AS

Description

Abstract syntax for Relational Schemes

Synopsis

Documentation

map_rel :: RSMorphism -> RSRel -> Result RSRel

oo-style getter function for Relations

getRels :: RSScheme -> [Annoted RSRel]

oo-style getter function for signatures