Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder and Uni Bremen 2002-2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

HasCASL.RawSym

Description

raw symbols bridge symb items and the symbols of a signature

Documentation

statSymbMapItems :: Env -> [SymbMapItems] -> Result RawSymbolMap Source #

symbOrMapToRaw :: Env -> SymbKind -> SymbOrMap -> Result (RawSymbol, RawSymbol) Source #

statSymbItems :: Env -> [SymbItems] -> Result [RawSymbol] Source #

symbToRaw :: Maybe Env -> SymbKind -> Symb -> Result RawSymbol Source #

matchSymb :: Symbol -> RawSymbol -> Bool Source #

Orphan instances