Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2003-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.TypeRel

Description

compute subtype dependencies

Synopsis

Documentation

mkInjOrProjType :: Arrow -> TypeScheme Source #

make a polymorphic function from a to b

mkTypeArg :: Id -> Int -> TypeArg Source #