Hets - the Heterogeneous Tool Set

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

HasCASL.Symbol

Description

HasCASL analysed symbols of a signature

Synopsis

Documentation

checkSymbols :: SymbolSet -> SymbolSet -> Result a -> Result a

dependentSyms :: Symbol -> Env -> SymbolSet

hideRelSymbol :: Symbol -> Env -> Env

hideSymbol :: Symbol -> Env -> Env

idsOfKind :: Kind -> Set Id

plainHide :: SymbolSet -> Env -> Env

subSyms :: Type -> SymbolSet

type ids within a type

subSymsOf :: Symbol -> SymbolSet

closeSymbSet :: SymbolSet -> SymbolSet

opSymOf :: Env -> SymbolSet

symOf :: Env -> [SymbolSet]