Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.Builtin

Description

HasCASL's builtin types and functions

Synopsis

Documentation

cpoMap :: ClassMap

builtin class map

bList :: [(Id, TypeScheme)]

builtin functions

bTypes :: TypeMap

builtin data type map

bOps :: Assumps

builtin function map

preEnv :: Env

environment with predefined names

addBuiltins :: GlobalAnnos -> GlobalAnnos

add builtin identifiers

eqId :: Id

the infix equality identifier

exEq :: Id

orId :: Id

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