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)

anaPolyId :: PolyId -> TypeScheme -> State Env (Maybe TypeScheme)

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

getPolyIds :: Assumps -> Set Id

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

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

uTok :: Token