implement c++20 module

Author: Arthapz

.gitignore

@@ -1,3 +1,5 @@
+build/
+.xmake
 tests/test_main
 tests/*.o
 *.*~

.stylua.toml

@@ -0,0 +1 @@
+indent_type = "Spaces"

examples/enum_to_string.cpp

@@ -1,5 +1,3 @@
-#include <cstdio> // for std::puts
-
 /* ELF Relocations */
 
 #define ELF_RELOC(name, value) name = value,
@@ -57,12 +55,21 @@ ELF_RELOC(R_386_NUM,            43)
 
 #ifndef SWITCH_VERSION
 
-#ifdef FROZEN_VERSION
-#include "frozen/map.h"
+#ifdef FROZEN_STD_MODULE
+import std;
 #else
+#include <cstdio>
 #include <map>
 #endif
 
+#ifdef FROZEN_VERSION
+#ifdef FROZEN_MODULE
+import frozen;
+#else
+#include "frozen/map.h"
+#endif
+#endif
+
 #ifdef FROZEN_VERSION
 constexpr
 frozen::map<RELOC_i386, const char*, 41>

examples/enum_to_string_hash.cpp

@@ -1,5 +1,3 @@
-#include <cstdio> // for std::puts
-
 /* ELF Relocations */
 
 #define ELF_RELOC(name, value) name = value,
@@ -55,14 +53,26 @@ ELF_RELOC(R_386_IRELATIVE,      42)
 ELF_RELOC(R_386_NUM,            43)
 };
 
+#ifdef FROZEN_STD_MODULE
+import std;
+#else
+#include <cstdio>
+#include <unordered_map>
+#endif
+
 #ifdef FROZEN_VERSION
-#include "frozen/unordered_map.h"
+#include <frozen/bits/elsa.h> // this is not exported by the module
+
+#ifdef FROZEN_MODULE
+import frozen;
+#else 
+#include <frozen/unordered_map.h>
+#endif
+
 namespace frozen {
     template <> struct elsa<RELOC_i386> : elsa<int> {
     };
 }
-#else
-#include <unordered_map>
 #endif
 
 #ifdef FROZEN_VERSION

examples/html_entities_map.cpp

@@ -1,12 +1,21 @@
+#ifdef FROZEN_STD_MODULE
+import std;
+#else
+#include <cstdint>
+#include <utility>
+#endif
 
-#include <cinttypes>
+#ifdef FROZEN_MODULE
+import frozen;
+#else 
 #include <frozen/unordered_map.h>
 #include <frozen/string.h>
+#endif
 
 struct codes_t
 {
-	uint32_t iCodepoint1;
-	uint32_t iCodepoint2{0};
+  std::uint32_t iCodepoint1;
+  std::uint32_t iCodepoint2{0};
 };
 
 static constexpr std::pair<frozen::string, codes_t> s_Entities[]

examples/pixel_art.cpp

@@ -3,9 +3,18 @@ g++ $0 -std=c++14 -Iinclude && ./a.out && rm -f a.out && qiv panda.ppm 1up.ppm
 exit
 #else
 
+#ifdef FROZEN_STD_MODULE
+import std;
+#else
 #include <array>
-#include <frozen/map.h>
 #include <fstream>
+#endif
+
+#ifdef FROZEN_MODULE
+import frozen;
+#else 
+#include <frozen/map.h>
+#endif
 
 constexpr frozen::map<char, std::array<char, 3>, 5> Tans{
     {'R', {(char)0xFF, (char)0x00, (char)0x00}},

examples/static_assert.cpp

@@ -1,4 +1,8 @@
+#ifdef FROZEN_MODULE
+import frozen;
+#else 
 #include <frozen/set.h>
+#endif
 
 static constexpr frozen::set<unsigned, 3> supported_sizes = {
   1, 2, 4

examples/value_modification.cpp

@@ -1,7 +1,16 @@
+#ifdef FROZEN_STD_MODULE
+import std;
+#else
+#include <iostream>
+#endif
+
+#ifdef FROZEN_MODULE
+import frozen;
+#else 
 #include <frozen/set.h>
 #include <frozen/string.h>
 #include <frozen/unordered_map.h>
-#include <iostream>
+#endif
 
 /// MAYBE_CONSTINIT expands to `constinit` if available.
 #if __cpp_constinit
@@ -34,4 +43,4 @@ int main() {
   auto range = fruits.equal_range("n_apples");
   range.first->second = 1337;
   std::cout << "n_apples: " << fruits.at("n_apples") << std::endl;
-}
+}

include/frozen/algorithm.h

@@ -167,7 +167,7 @@ template <std::size_t size> class boyer_moore_searcher {
     if (size == 0)
       return { first, first };
 
-    if (size > size_t(last - first))
+    if (size > std::size_t(last - first))
       return { last, last };
 
     RandomAccessIterator iter = first + size - 1;

include/frozen/bits/algorithms.h

@@ -25,8 +25,10 @@
 
 #include "frozen/bits/basic_types.h"
 
+#ifndef FROZEN_STD_MODULE
 #include <limits>
 #include <tuple>
+#endif
 
 namespace frozen {