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.DataAna

Description

analyse alternatives of data types

Synopsis

Documentation

data DataPat Source #

description of polymorphic data types. The top-level identifier is already renamed according the IdMap.

toDataPat :: DataEntry -> DataPat Source #

remove variances from generalized type arguments

anaAlts :: GenKind -> [DataPat] -> DataPat -> [Alternative] -> Env -> Result [AltDefn] Source #

analyse the alternatives of a data type

makeDataSelEqs :: DataPat -> [AltDefn] -> [Named Sentence] Source #

create selector equations for a data type