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

Synopsis

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

cpoMap :: ClassMap Source #

builtin class map

bList :: [(Id, TypeScheme)] Source #

builtin functions

bTypes :: TypeMap Source #

builtin data type map

bOps :: Assumps Source #

builtin function map

preEnv :: Env Source #

environment with predefined names

addBuiltins :: GlobalAnnos -> GlobalAnnos Source #

add builtin identifiers

aTypeArg :: TypeArg Source #

bTypeArg :: TypeArg Source #

cTypeArg :: TypeArg Source #

aType :: Type Source #

bType :: Type Source #

cType :: Type Source #

botId :: Id Source #

whenElse :: Id Source #

ifThenElse :: Id Source #

defId :: Id Source #

eqId :: Id Source #

the infix equality identifier

exEq :: Id Source #

falseId :: Id Source #

trueId :: Id Source #

notId :: Id Source #

negId :: Id Source #

andId :: Id Source #

orId :: Id Source #

logId :: Id Source #

predTypeId :: Id Source #

implId :: Id Source #

infixIf :: Id Source #

eqvId :: Id Source #

resId :: Id Source #

resType :: TypeScheme Source #

botType :: TypeScheme Source #

whenType :: TypeScheme Source #

defType :: TypeScheme Source #

eqType :: TypeScheme Source #

notType :: TypeScheme Source #

logType :: TypeScheme Source #

mkQualOp :: Id -> TypeScheme -> [Type] -> Range -> Term Source #

mkEqTerm :: Id -> Type -> Range -> Term -> Term -> Term Source #

mkLogTerm :: Id -> Range -> Term -> Term -> Term Source #

toBinJunctor :: Id -> [Term] -> Range -> Term Source #

mkTerm :: Id -> TypeScheme -> [Type] -> Range -> Term -> Term Source #

mkTermInst :: InstKind -> Id -> TypeScheme -> [Type] -> Range -> Term -> Term Source #

unitTerm :: Id -> Range -> Term Source #

unitTypeScheme :: TypeScheme Source #