Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI Bremen 2013
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

Comorphisms.THFP_P2HasCASL

Description

The embedding comorphism from THFP to HasCASL.

Documentation

data THFP_P2HasCASL

Constructors

THFP_P2HasCASL 

Instances

reqSubLogicForTHFP :: Sublogic

transTheory :: (SignTHF, [Named THFFormula]) -> Result (Env, [Named Sentence])

transNamedFormula :: SignTHF -> Named THFFormula -> Result (Named Sentence)

transFormula :: SignTHF -> THFFormula -> Result Term

transBinaryFormula :: SignTHF -> THFBinaryFormula -> Result Term

transUnitaryFormula :: SignTHF -> THFUnitaryFormula -> Result Term

variable2Term :: THFVariable -> Result Term

variable2VarDecl :: THFVariable -> GenVarDecl

transSymbol :: SymbolTHF -> Result (Set Symbol)

tailType :: Type -> (Type, Maybe Type)

toHCType :: Type -> Type