Hets - the Heterogeneous Tool Set

Copyright(c) Martin Kuehl, Uni Bremen 2008-2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermkhl@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred

Maude.Symbol

Contents

Description

Definition of symbols for Maude.

Synopsis

Types The Symbol type

Auxiliary types

type Symbols = [Symbol]

Conversion

toId :: Symbol -> Id

Convert Symbol to Id.

qualify :: Qid -> Symbol -> Symbol

Qualify the Symbol name with a Qid.

asSort :: Symbol -> Symbol

Convert Symbol to Symbol, changing Kinds to Sorts.

asKind :: Symbol -> Symbol

Convert Symbol to Symbol, changing Sorts to Kinds.

toType :: Symbol -> Type

Convert Symbol to Type, if possible.

toOperator :: Symbol -> Operator

Convert Symbol to Operator, if possible.

Construction

mkOpTotal :: Qid -> [Qid] -> Qid -> Symbol

Create a total Operator Symbol with the given profile.

mkOpPartial :: Qid -> [Qid] -> Qid -> Symbol

Create a partial Operator Symbol with the given profile.

Testing

sameKind :: SymbolRel -> Symbol -> Symbol -> Bool

True iff both Symbols are of the same Kind in the given SymbolRel.