Hets - the Heterogeneous Tool Set

Copyright(c) A. Tsogias DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.HasCASL2THFP_P

Description

The embedding comorphism from HasCASL to THFP_P.

Synopsis

Documentation

data HasCASL2THFP_P Source #

The identity of the comorphism

Constructors

HasCASL2THFP_P 

Instances

Show HasCASL2THFP_P Source # 

Methods

showsPrec :: Int -> HasCASL2THFP_P -> ShowS

show :: HasCASL2THFP_P -> String

showList :: [HasCASL2THFP_P] -> ShowS

Language HasCASL2THFP_P Source # 
Comorphism HasCASL2THFP_P HasCASL Sublogic BasicSpec Sentence SymbItems SymbMapItems Env Morphism Symbol RawSymbol () THF THFSl BasicSpecTHF THFFormula () () SignTHF MorphismTHF SymbolTHF () ProofTree Source # 

isUnitType :: Type -> Bool Source #

myGetAppl :: Term -> Maybe (Term, Id, [Term]) Source #

decompose an ApplTerm into an application of an operation and a list of arguments

type IdSet = Set Id Source #

myFmap :: (a -> b) -> Result (a, IdSet) -> Result (b, IdSet) Source #