| Copyright | (c) Till Mossakowski, C.Maeder, Uni Bremen 2006 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable (imports Logic.Comorphism) |
| Safe Haskell | None |
Comorphisms.CoCASL2CoSubCFOL
Description
coding out partiality, lifted to the level of CoCASL
- data CoCASL2CoSubCFOL = CoCASL2CoSubCFOL
- codeCoRecord :: Set SORT -> Record C_FORMULA (FORMULA C_FORMULA) (TERM C_FORMULA)
- codeCoFormula :: Set SORT -> FORMULA C_FORMULA -> FORMULA C_FORMULA
- codeC_FORMULA :: Set SORT -> C_FORMULA -> C_FORMULA
- simC_FORMULA :: C_FORMULA -> C_FORMULA
- botCoSorts :: C_FORMULA -> Set SORT
- botCoFormulaSorts :: FORMULA C_FORMULA -> Set SORT
Documentation
data CoCASL2CoSubCFOL
The identity of the comorphism
Constructors
| CoCASL2CoSubCFOL |
Instances
codeC_FORMULA :: Set SORT -> C_FORMULA -> C_FORMULA
simC_FORMULA :: C_FORMULA -> C_FORMULA
botCoSorts :: C_FORMULA -> Set SORT
botCoFormulaSorts :: FORMULA C_FORMULA -> Set SORT