Hets - the Heterogeneous Tool Set

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

HasCASL.TypeMixAna

Description

analyse mixfix types

Synopsis

Documentation

mkTypeConstrAppl :: Env -> Type -> Result Type Source #

resolve parsed mixfix type to type applications with dummy kinds