Hets - the Heterogeneous Tool Set

Copyright(c) Till Mossakowski Christian Maeder and Uni Bremen 2003-2005
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.CASL2HasCASL

Description

The embedding comorphism from CASL to HasCASL.

Synopsis

Documentation

data CASL2HasCASL Source #

The identity of the comorphism

Constructors

CASL2HasCASL 

Instances

Show CASL2HasCASL Source # 

Methods

showsPrec :: Int -> CASL2HasCASL -> ShowS

show :: CASL2HasCASL -> String

showList :: [CASL2HasCASL] -> ShowS

Language CASL2HasCASL Source # 
Comorphism CASL2HasCASL CASL CASL_Sublogics CASLBasicSpec CASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS CASLSign CASLMor Symbol RawSymbol ProofTree HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () Source # 

mapSig :: Set (Id, OpType) -> Sign f e -> Env Source #

mapSigAux :: (Id -> Id) -> (OpType -> Type) -> (PredType -> Type) -> Set (Id, OpType) -> Sign f e -> Env Source #

sort names or not translated

mapSymAux :: (Id -> Id) -> (OpType -> Type) -> (PredType -> Type) -> Symbol -> Symbol Source #

qualName2var :: Id -> Term -> Term Source #

replace qualified names by variables in second order formulas

trId :: Id -> Id Source #

the invisible identifier is reserved for application