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

Description

Mixfix analysis of terms and patterns, type annotations are also analysed

Documentation

resolve :: Term -> State Env (Maybe Term) Source #

makeRules :: GlobalAnnos -> (PrecMap, Set Id) -> Set Id -> Set Id -> (TokRules, Rules, Set Id) Source #

iterateCharts :: GlobalAnnos -> Set Id -> Set [Id] -> [Term] -> Chart Term -> State Env (Chart Term) Source #

toMixTerm :: Env -> Id -> [Term] -> Range -> Term Source #