First draft of result data type

Author: Voltra

CMakeLists.txt

@@ -4,7 +4,7 @@ project(StandardClassLibrary)
 set(CMAKE_CXX_STANDARD 11)
 
 add_compile_definitions(SCL_USE_IOSTREAM_EXTEND)
-add_executable(StandardClassLibrary main.cpp include/scl/scl.hpp include/scl/tools/tools.hpp include/scl/tools/make/make.hpp include/scl/tools/make/from.h include/scl/tools/make/ptr.h include/scl/tools/make/unique.h include/scl/tools/make/shared.h include/scl/tools/iostream/iostream.hpp include/scl/tools/iostream/nl.h include/scl/tools/iostream/log/log.hpp include/scl/tools/iostream/log/basic.h include/scl/tools/iostream/log/prefixed.h include/scl/macros.h include/scl/tools/iostream/log/surrounded.h include/scl/tools/iostream/extend.h include/scl/tools/meta/meta.hpp include/scl/tools/meta/void_t.h include/scl/tools/meta/enable_if.h include/scl/tools/meta/is_convertible.h include/scl/tools/meta/can_call.h include/scl/tools/meta/is_same.h include/scl/tools/meta/fn_cast.h include/scl/tools/meta/fn_type.h include/scl/tools/meta/type_check.h include/scl/tools/meta/is_base_of.h include/scl/tools/meta/type_mod.h include/scl/tools/meta/type_query.h include/scl/tools/meta/conditional.h include/scl/tools/make/atomic.h include/scl/tools/make/promise.h include/scl/concepts/concepts.hpp include/scl/concepts/is_concept.h include/scl/concepts/require.h include/scl/concepts/Same.h include/scl/concepts/DerivedFrom.h include/scl/concepts/ConvertibleTo.h include/scl/concepts/Integral.h include/scl/concepts/Signed.h include/scl/concepts/Unsigned.h include/scl/concepts/SignedIntegral.h include/scl/concepts/UnsignedIntegral.h include/scl/concepts/Swappable.h include/scl/concepts/SwappableWith.h include/scl/concepts/Destructible.h include/scl/concepts/Constructible.h include/scl/concepts/DefaultConstructible.h include/scl/concepts/MoveConstructible.h include/scl/concepts/CopyConstructible.h include/scl/concepts/MoveAssignable.h include/scl/concepts/CopyAssignable.h include/scl/concepts/Movable.h include/scl/concepts/Copyable.h include/scl/concepts/EqualityComparable.h include/scl/concepts/EqualityComparableWith.h include/scl/concepts/LessThanComparable.h include/scl/concepts/LessThanComparableWith.h include/scl/concepts/SemiRegular.h include/scl/concepts/Regular.h include/scl/concepts/Invocable.h include/scl/concepts/RegularInvocable.h include/scl/concepts/Boolean.h include/scl/concepts/InequalityComparable.h include/scl/concepts/InequalityComparableWith.h include/scl/concepts/Predicate.h include/scl/concepts/Relation.h include/scl/exceptions/exceptions.hpp include/scl/exceptions/Throwable.h include/scl/exceptions/Exception.h include/scl/exceptions/RuntimeException.h include/scl/utils/utils.hpp include/scl/utils/toString.h include/scl/tools/meta/exists.h include/scl/tools/iostream/toString.h include/scl/tools/meta/defines_scl_to_string.h include/scl/tools/meta/defines_std_to_string.h include/scl/tools/meta/defines_ostream_operator.h main.h include/scl/utils/Any.h include/scl/exceptions/InvalidArgument.h include/scl/exceptions/OutOfBound.h include/scl/exceptions/InvalidCast.h include/scl/exceptions/InvalidAnyCast.h include/scl/concepts/NonMovable.h include/scl/concepts/NonCopyable.h include/scl/utils/Optional.h include/scl/exceptions/EmptyOptionalAccess.h include/scl/tools/make/optional.h include/scl/tools/make/any.h include/scl/tools/meta/constexpr_assert.h include/scl/utils/Either.h include/scl/exceptions/InvalidEitherAccess.h include/scl/concepts/Iterator.h include/scl/tools/meta/swap.h include/scl/concepts/ValueSwappable.h include/scl/concepts/NullablePointer.h include/scl/concepts/AssignableWith.h include/scl/concepts/FunctionObject.h include/scl/concepts/Hash.h include/scl/concepts/CharTraits.h include/scl/concepts/BinaryPredicate.h include/scl/tools/meta/is_instance.h include/scl/tools/meta/real_const.h tests/libs/include/testutils/AdvancedTypes.h include/scl/utils/Placeholder.h include/scl/stream/operators/filter.h include/scl/stream/operators/uniqueBy.h include/scl/stream/details/iterator/StlAdapter.h include/scl/stream/operators/unique.h include/scl/async/async.hpp include/scl/async/with_traits.h include/scl/async/with.h include/scl/exceptions/InvalidResource.h include/scl/async/Mutexed.h include/scl/tools/make/mutexed.h include/scl/http/http.hpp include/scl/http/StatusCode.h include/scl/http/Version.h include/scl/exceptions/UninitializedMemoryAccess.h include/scl/stream/creators/istream.h include/scl/async/AsyncQueue.h include/scl/async/Channel.h include/scl/exceptions/NonNullViolation.h include/scl/detect/detect.hpp include/scl/detect/platform/platform.hpp include/scl/detect/platform/windows.h include/scl/detect/platform/unix.h include/scl/detect/platform/linux.h include/scl/detect/platform/platform.clean_macros.h include/scl/detect/platform/posix.h include/scl/detect/platform/apple.h include/scl/detect/platform/android.h include/scl/detect/platform/unified/unified.hpp include/scl/detect/platform/unified/windows.h include/scl/detect/platform/unified/unified.clean_macros.h include/scl/detect/platform/unified/posix.h include/scl/prelude/prelude.hpp include/scl/alias/alias.hpp include/scl/stream/details/deprecation.h)
+add_executable(StandardClassLibrary main.cpp include/scl/scl.hpp include/scl/tools/tools.hpp include/scl/tools/make/make.hpp include/scl/tools/make/from.h include/scl/tools/make/ptr.h include/scl/tools/make/unique.h include/scl/tools/make/shared.h include/scl/tools/iostream/iostream.hpp include/scl/tools/iostream/nl.h include/scl/tools/iostream/log/log.hpp include/scl/tools/iostream/log/basic.h include/scl/tools/iostream/log/prefixed.h include/scl/macros.h include/scl/tools/iostream/log/surrounded.h include/scl/tools/iostream/extend.h include/scl/tools/meta/meta.hpp include/scl/tools/meta/void_t.h include/scl/tools/meta/enable_if.h include/scl/tools/meta/is_convertible.h include/scl/tools/meta/can_call.h include/scl/tools/meta/is_same.h include/scl/tools/meta/fn_cast.h include/scl/tools/meta/fn_type.h include/scl/tools/meta/type_check.h include/scl/tools/meta/is_base_of.h include/scl/tools/meta/type_mod.h include/scl/tools/meta/type_query.h include/scl/tools/meta/conditional.h include/scl/tools/make/atomic.h include/scl/tools/make/promise.h include/scl/concepts/concepts.hpp include/scl/concepts/is_concept.h include/scl/concepts/require.h include/scl/concepts/Same.h include/scl/concepts/DerivedFrom.h include/scl/concepts/ConvertibleTo.h include/scl/concepts/Integral.h include/scl/concepts/Signed.h include/scl/concepts/Unsigned.h include/scl/concepts/SignedIntegral.h include/scl/concepts/UnsignedIntegral.h include/scl/concepts/Swappable.h include/scl/concepts/SwappableWith.h include/scl/concepts/Destructible.h include/scl/concepts/Constructible.h include/scl/concepts/DefaultConstructible.h include/scl/concepts/MoveConstructible.h include/scl/concepts/CopyConstructible.h include/scl/concepts/MoveAssignable.h include/scl/concepts/CopyAssignable.h include/scl/concepts/Movable.h include/scl/concepts/Copyable.h include/scl/concepts/EqualityComparable.h include/scl/concepts/EqualityComparableWith.h include/scl/concepts/LessThanComparable.h include/scl/concepts/LessThanComparableWith.h include/scl/concepts/SemiRegular.h include/scl/concepts/Regular.h include/scl/concepts/Invocable.h include/scl/concepts/RegularInvocable.h include/scl/concepts/Boolean.h include/scl/concepts/InequalityComparable.h include/scl/concepts/InequalityComparableWith.h include/scl/concepts/Predicate.h include/scl/concepts/Relation.h include/scl/exceptions/exceptions.hpp include/scl/exceptions/Throwable.h include/scl/exceptions/Exception.h include/scl/exceptions/RuntimeException.h include/scl/utils/utils.hpp include/scl/utils/toString.h include/scl/tools/meta/exists.h include/scl/tools/iostream/toString.h include/scl/tools/meta/defines_scl_to_string.h include/scl/tools/meta/defines_std_to_string.h include/scl/tools/meta/defines_ostream_operator.h main.h include/scl/utils/Any.h include/scl/exceptions/InvalidArgument.h include/scl/exceptions/OutOfBound.h include/scl/exceptions/InvalidCast.h include/scl/exceptions/InvalidAnyCast.h include/scl/concepts/NonMovable.h include/scl/concepts/NonCopyable.h include/scl/utils/Optional.h include/scl/exceptions/EmptyOptionalAccess.h include/scl/tools/make/optional.h include/scl/tools/make/any.h include/scl/tools/meta/constexpr_assert.h include/scl/utils/Either.h include/scl/exceptions/InvalidEitherAccess.h include/scl/concepts/Iterator.h include/scl/tools/meta/swap.h include/scl/concepts/ValueSwappable.h include/scl/concepts/NullablePointer.h include/scl/concepts/AssignableWith.h include/scl/concepts/FunctionObject.h include/scl/concepts/Hash.h include/scl/concepts/CharTraits.h include/scl/concepts/BinaryPredicate.h include/scl/tools/meta/is_instance.h include/scl/tools/meta/real_const.h tests/libs/include/testutils/AdvancedTypes.h include/scl/utils/Placeholder.h include/scl/stream/operators/filter.h include/scl/stream/operators/uniqueBy.h include/scl/stream/details/iterator/StlAdapter.h include/scl/stream/operators/unique.h include/scl/async/async.hpp include/scl/async/with_traits.h include/scl/async/with.h include/scl/exceptions/InvalidResource.h include/scl/async/Mutexed.h include/scl/tools/make/mutexed.h include/scl/http/http.hpp include/scl/http/StatusCode.h include/scl/http/Version.h include/scl/exceptions/UninitializedMemoryAccess.h include/scl/stream/creators/istream.h include/scl/async/AsyncQueue.h include/scl/async/Channel.h include/scl/exceptions/NonNullViolation.h include/scl/detect/detect.hpp include/scl/detect/platform/platform.hpp include/scl/detect/platform/windows.h include/scl/detect/platform/unix.h include/scl/detect/platform/linux.h include/scl/detect/platform/platform.clean_macros.h include/scl/detect/platform/posix.h include/scl/detect/platform/apple.h include/scl/detect/platform/android.h include/scl/detect/platform/unified/unified.hpp include/scl/detect/platform/unified/windows.h include/scl/detect/platform/unified/unified.clean_macros.h include/scl/detect/platform/unified/posix.h include/scl/prelude/prelude.hpp include/scl/alias/alias.hpp include/scl/stream/details/deprecation.h include/scl/concepts/deprecation.h include/scl/utils/Result.h include/scl/exceptions/InvalidResultAccess.h include/scl/tools/make/result.h)
 target_include_directories(StandardClassLibrary PRIVATE ${CMAKE_SOURCE_DIR}/include)
 
 add_subdirectory(tests)

include/scl/exceptions/InvalidEitherAccess.h

@@ -1,35 +1,34 @@
-#pragma once
-
-#include <scl/exceptions/Exception.h>
-#include <scl/macros.h>
-
-namespace scl{
-	namespace exceptions{
-		/**
-		 * Exception class used when attempting to access the wrong type stored in an scl::utils::Either
-		 */
-		class InvalidEitherAccess : public Exception{
-			public:
-				using Exception::Exception;
-				realConst(char*) type() const noexcept override{
-					return "scl::exceptions::InvalidEitherAccess";
-				}
-
-				/**
-				 * Helper function that creates an InvaidEitherAccess when trying to access Lhs when Rhs is active
-				 * @return the exception
-				 */
-				static InvalidEitherAccess leftWhenRight(){
-					return InvalidEitherAccess{"Tried to access Lhs member of Either<Lhs, Rhs> when Rhs was set"};
-				}
-
-				/**
-				 * Helper function that creates an InvaidEitherAccess when trying to access Rhs when Lhs is active
-				 * @return the exception
-				 */
-				static InvalidEitherAccess rightWhenLeft(){
-					return InvalidEitherAccess{"Tried to access Rhs member of Either<Lhs, Rhs> when Lhs was set"};
-				}
-		};
-	}
+#pragma once
+#include <scl/exceptions/Exception.h>
+#include <scl/macros.h>
+
+namespace scl{
+	namespace exceptions{
+		/**
+		 * Exception class used when attempting to access the wrong type stored in an scl::utils::Either
+		 */
+		class InvalidEitherAccess : public Exception{
+			public:
+				using Exception::Exception;
+				realConst(char*) type() const noexcept override{
+					return "scl::exceptions::InvalidEitherAccess";
+				}
+
+				/**
+				 * Helper function that creates an InvaidEitherAccess when trying to access Lhs when Rhs is active
+				 * @return the exception
+				 */
+				static InvalidEitherAccess leftWhenRight(){
+					return InvalidEitherAccess{"Tried to access Lhs member of Either<Lhs, Rhs> when Rhs was set"};
+				}
+
+				/**
+				 * Helper function that creates an InvaidEitherAccess when trying to access Rhs when Lhs is active
+				 * @return the exception
+				 */
+				static InvalidEitherAccess rightWhenLeft(){
+					return InvalidEitherAccess{"Tried to access Rhs member of Either<Lhs, Rhs> when Lhs was set"};
+				}
+		};
+	}
 }

include/scl/exceptions/exceptions.hpp

@@ -1,23 +1,24 @@
-#pragma once
-
-namespace scl{
-	/**
-	 * @namespace scl::exceptions
-	 * The namespace englobing all exception types
-	 */
-	namespace exceptions{}
-}
-
-#include <scl/exceptions/Throwable.h>
-#include <scl/exceptions/Exception.h>
-#include <scl/exceptions/RuntimeException.h>
-
-#include <scl/exceptions/InvalidArgument.h>
-#include <scl/exceptions/OutOfBound.h>
-#include <scl/exceptions/InvalidCast.h>
-#include <scl/exceptions/InvalidAnyCast.h>
-#include <scl/exceptions/EmptyOptionalAccess.h>
-#include <scl/exceptions/InvalidEitherAccess.h>
-#include <scl/exceptions/InvalidResource.h>
-#include <scl/exceptions/UninitializedMemoryAccess.h>
+#pragma once
+
+namespace scl{
+	/**
+	 * @namespace scl::exceptions
+	 * The namespace englobing all exception types
+	 */
+	namespace exceptions{}
+}
+
+#include <scl/exceptions/Throwable.h>
+#include <scl/exceptions/Exception.h>
+#include <scl/exceptions/RuntimeException.h>
+
+#include <scl/exceptions/InvalidArgument.h>
+#include <scl/exceptions/OutOfBound.h>
+#include <scl/exceptions/InvalidCast.h>
+#include <scl/exceptions/InvalidAnyCast.h>
+#include <scl/exceptions/EmptyOptionalAccess.h>
+#include <scl/exceptions/InvalidEitherAccess.h>
+#include <scl/exceptions/InvalidResultAccess.h>
+#include <scl/exceptions/InvalidResource.h>
+#include <scl/exceptions/UninitializedMemoryAccess.h>
 #include <scl/exceptions/NonNullViolation.h>

include/scl/tools/make/make.hpp

@@ -1,21 +1,22 @@
-#pragma once
-
-namespace scl{
-	namespace tools{
-		/**
-		 * @namespace scl::tools::make
-		 * Group of factory functions
-		 */
-		namespace make{}
-	}
-}
-
-#include <scl/tools/make/from.h>
-#include <scl/tools/make/ptr.h>
-#include <scl/tools/make/unique.h>
-#include <scl/tools/make/shared.h>
-#include <scl/tools/make/atomic.h>
-#include <scl/tools/make/promise.h>
-#include <scl/tools/make/optional.h>
-#include <scl/tools/make/any.h>
+#pragma once
+
+namespace scl{
+	namespace tools{
+		/**
+		 * @namespace scl::tools::make
+		 * Group of factory functions
+		 */
+		namespace make{}
+	}
+}
+
+#include <scl/tools/make/from.h>
+#include <scl/tools/make/ptr.h>
+#include <scl/tools/make/unique.h>
+#include <scl/tools/make/shared.h>
+#include <scl/tools/make/atomic.h>
+#include <scl/tools/make/promise.h>
+#include <scl/tools/make/optional.h>
+#include <scl/tools/make/result.h>
+#include <scl/tools/make/any.h>
 #include <scl/tools/make/mutexed.h>

include/scl/utils/utils.hpp

@@ -1,22 +1,23 @@
-#pragma once
-
-namespace scl{
-	/**
-	 * @namespace scl::utils
-	 * Utility classes (and rare functions)
-	 */
-	namespace utils{
-		/**
-		 * @namespace scl::utils::details
-		 * Implementation details for the utility classes
-		 */
-		namespace details{}
-	}
-}
-
-#include <scl/utils/toString.h>
-#include <scl/utils/Any.h>
-#include <scl/utils/RawStorage.h>
-#include <scl/utils/Optional.h>
-#include <scl/utils/Either.h>
+#pragma once
+
+namespace scl{
+	/**
+	 * @namespace scl::utils
+	 * Utility classes (and rare functions)
+	 */
+	namespace utils{
+		/**
+		 * @namespace scl::utils::details
+		 * Implementation details for the utility classes
+		 */
+		namespace details{}
+	}
+}
+
+#include <scl/utils/toString.h>
+#include <scl/utils/Any.h>
+#include <scl/utils/RawStorage.h>
+#include <scl/utils/Optional.h>
+#include <scl/utils/Either.h>
+#include <scl/utils/Result.h>
 #include <scl/utils/Placeholder.h>