| Copyright | (c) Christian Maeder and Uni Bremen 2003 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
HasCASL.Builtin
Description
HasCASL's builtin types and functions
- cpoMap :: ClassMap
- bList :: [(Id, TypeScheme)]
- bTypes :: TypeMap
- bOps :: Assumps
- preEnv :: Env
- addBuiltins :: GlobalAnnos -> GlobalAnnos
- aTypeArg :: TypeArg
- bTypeArg :: TypeArg
- cTypeArg :: TypeArg
- aType :: Type
- bType :: Type
- cType :: Type
- botId :: Id
- whenElse :: Id
- ifThenElse :: Id
- defId :: Id
- eqId :: Id
- exEq :: Id
- falseId :: Id
- trueId :: Id
- notId :: Id
- negId :: Id
- andId :: Id
- orId :: Id
- logId :: Id
- predTypeId :: Id
- implId :: Id
- infixIf :: Id
- eqvId :: Id
- resId :: Id
- resType :: TypeScheme
- botType :: TypeScheme
- whenType :: TypeScheme
- defType :: TypeScheme
- eqType :: TypeScheme
- notType :: TypeScheme
- logType :: TypeScheme
- mkQualOp :: Id -> TypeScheme -> [Type] -> Range -> Term
- mkEqTerm :: Id -> Type -> Range -> Term -> Term -> Term
- mkLogTerm :: Id -> Range -> Term -> Term -> Term
- toBinJunctor :: Id -> [Term] -> Range -> Term
- mkTerm :: Id -> TypeScheme -> [Type] -> Range -> Term -> Term
- mkTermInst :: InstKind -> Id -> TypeScheme -> [Type] -> Range -> Term -> Term
- unitTerm :: Id -> Range -> Term
- unitTypeScheme :: TypeScheme
Documentation
bList :: [(Id, TypeScheme)]
builtin functions
addBuiltins :: GlobalAnnos -> GlobalAnnos
add builtin identifiers
ifThenElse :: Id
predTypeId :: Id
eqType :: TypeScheme
toBinJunctor :: Id -> [Term] -> Range -> Term
mkTermInst :: InstKind -> Id -> TypeScheme -> [Type] -> Range -> Term -> Term