| 26 | using Texts = std::vector<std::string>; |
| 27 | |
| 28 | Lazy<Texts> ReadFile(const std::string &filename) { |
| 29 | Texts Result; |
| 30 | std::ifstream infile(filename); |
| 31 | std::string line; |
| 32 | while (std::getline(infile, line)) |
| 33 | Result.push_back(line); |
| 34 | co_return Result; |
| 35 | } |
| 36 | |
| 37 | Lazy<int> CountLineChar(const std::string &line, char c) { |
| 38 | auto ret = std::count(line.begin(), line.end(), c); |