-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathcopy.hpp
More file actions
46 lines (34 loc) · 1.18 KB
/
copy.hpp
File metadata and controls
46 lines (34 loc) · 1.18 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
#pragma once
#include "nodes.hpp"
namespace lambda {
inline std::unique_ptr<LambdaBase> copy(std::unique_ptr<LambdaBase>& node);
namespace _copy {
inline std::unique_ptr<LambdaBase> copyVariable(
std::unique_ptr<LambdaBase>& node) {
return std::make_unique<Variable>(*(std::unique_ptr<Variable>&)node);
}
inline std::unique_ptr<LambdaBase> copyFunction(
std::unique_ptr<LambdaBase>& node) {
return std::make_unique<Function>(((std::unique_ptr<Function>&)node)->bound,
copy(((std::unique_ptr<Function>&)node)->body));
}
inline std::unique_ptr<LambdaBase> copyApplication(
std::unique_ptr<LambdaBase>& node) {
return std::make_unique<Application>(
copy(((std::unique_ptr<Application>&)node)->left),
copy(((std::unique_ptr<Application>&)node)->right));
}
} // namespace _copy
inline std::unique_ptr<LambdaBase> copy(std::unique_ptr<LambdaBase>& node) {
if (!node) return nullptr;
switch (node->getType()) {
case LambdaType::VARIABLE:
return _copy::copyVariable(node);
case LambdaType::FUNCTION:
return _copy::copyFunction(node);
case LambdaType::APPLICATION:
return _copy::copyApplication(node);
}
return nullptr;
}
} // namespace lambda