1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#ifndef EMPATHY_BUILTINS_TEMPLATE_BUILD_H
#define EMPATHY_BUILTINS_TEMPLATE_BUILD_H
namespace empathy::builtins
{
extern optional< TDecl > BuildTDecl( const Context& c, const Term& typeTExpr, const StringId& name );
extern TFuncType BuildTFuncType( const Term& domain, const Value& returnType, const Value& params );
extern optional< Term > BuildTFuncSignature( const Context& c, const TFuncType& tft );
extern optional< Value > BuildTFunc( const Context& c, const Term& identity, const Term& domain, const Value& returnType, const Value& params, pvec&& body );
extern optional< Term > BuildArgPatternFromTFuncType( const Context& c, const Value& tfuncType );
}
#endif
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#ifndef EMPATHY_BUILTINS_TEMPLATE_BUILD_H
#define EMPATHY_BUILTINS_TEMPLATE_BUILD_H
namespace empathy::builtins
{
extern optional< TDecl > BuildTDecl( const Context& c, const Term& typeTExpr, const StringId& name );
extern TFuncType BuildTFuncType( const Term& domain, const Value& returnType, const Value& params );
extern optional< Term > BuildTFuncSignature( const Context& c, const TFuncType& tft );
extern optional< Value > BuildTFunc( const Context& c, const TFuncType& tft, const Term& identity, const Value& params, pvec&& body );
extern optional< Term > BuildArgPatternFromTFuncType( const Context& c, const Value& tfuncType );
}
#endif
|