Hets - the Heterogeneous Tool Set

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

HasCASL.ConvertTypePattern

Description

convert type patterns to type identifier applications

Synopsis

Documentation

toTypePattern :: (Id, [TypeArg]) -> TypePattern Source #

store identifier application as a type pattern

convertTypePatterns :: [TypePattern] -> Result [(Id, [TypeArg])] Source #

convert type patterns

convertTypePattern :: TypePattern -> Result (Id, [TypeArg]) Source #

convert a type pattern