| Copyright | (c) Uni and DFKI Bremen 2005-2007 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
CASL_DL.PredefinedCASLAxioms
Description
- predefSign :: CASLSign
- predefinedSign :: e -> Sign f e
- thing :: SORT
- nothing :: SORT
- conceptPred :: PredType
- dataPred :: PredType
- dataS :: SORT
- predefinedAxioms :: [Named (FORMULA ())]
- mkNName :: Int -> Token
- mkDigit :: Int -> TERM ()
- joinDigits :: TERM () -> TERM () -> TERM ()
- negateInt :: TERM () -> TERM ()
- integer :: SORT
- float :: SORT
- negateFloat :: TERM () -> TERM ()
- posInt :: SORT
- nonPosInt :: SORT
- decimal :: SORT
- double :: SORT
- upcast :: TERM () -> SORT -> TERM ()
- mkDecimal :: TERM () -> TERM () -> TERM ()
- mkFloat :: TERM () -> TERM () -> TERM ()
- consChar :: Char -> TERM () -> TERM ()
- emptyStringTerm :: TERM ()
- trueT :: TERM ()
- falseT :: TERM ()
- nonNegInt :: SORT
- negIntS :: SORT
- stringS :: Id
Documentation
predefinedSign :: e -> Sign f e
predefinedAxioms :: [Named (FORMULA ())]
joinDigits :: TERM () -> TERM () -> TERM ()
join two terms of type nonNegativeInteger
negateFloat :: TERM () -> TERM ()
negate a term of type float
mkDecimal :: TERM () -> TERM () -> TERM ()
create the float given by two non-negative integers separated by the decimal point
mkFloat :: TERM () -> TERM () -> TERM ()
construct the E float, where the second argument is of type integer
emptyStringTerm :: TERM ()