Hets - the Heterogeneous Tool Set

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

HasCASL.FoldType

Description

folding types

Synopsis

Documentation

data FoldTypeRec a Source #

Constructors

FoldTypeRec 

Fields

replAlias :: (Id -> RawKind -> Int -> Type) -> Type -> Type Source #

recursively substitute type alias names within a type

leaves :: (Int -> Bool) -> Type -> [(Int, (Id, RawKind))] Source #

the type name components of a type

freeTVars :: Type -> [(Int, (Id, RawKind))] Source #

uninstantiate, non-generalized, unknown type variables