1 files changed, 57 insertions, 0 deletions
diff --git a/find.hpp b/find.hpp
new file mode 100644
index 0000000..edba06d
--- /dev/null
+++ b/find.hpp
@@ -0,0 +1,57 @@
+#ifndef MBUOY_FIND_HPP
+#define MBUOY_FIND_HPP
+
+#include <optional>
+#include <type_traits>
+
+namespace mbuoy {
+
+template<typename T, typename U>
+concept can_static_cast = requires(U u) {
+    static_cast<T>(u);
+};
+
+template<typename T>
+consteval std::optional<T> find(T val)
+{
+    return val;
+}
+
+template<typename T, typename U>
+    requires (!std::is_same_v<T, U> && can_static_cast<T, U>)
+consteval std::optional<U> find(U val)
+{
+    return val;
+}
+
+template<typename T, typename U>
+    requires (!std::is_same_v<T, U> && !can_static_cast<T, U>)
+consteval std::optional<T> find(U val)
+{
+    return {};
+}
+
+template<typename T>
+consteval std::optional<T> find(T val, auto... vals)
+{
+    return val;
+}
+
+template<typename T, typename U>
+    requires (!std::is_same_v<T, U> && can_static_cast<T, U>)
+consteval std::optional<U> find(U val, auto... vals)
+{
+    return val;
+}
+
+template<typename T, typename U>
+    requires (!std::is_same_v<T, U> && !can_static_cast<T, U>)
+consteval auto find(U val, auto... vals)
+{
+    return find<T>(vals...);
+}
+
+} // namespace mbuoy
+
+#endif // MBUOY_FIND_HPP
+