Changeset 0a414494 in mainline

Timestamp:

2018-07-05T21:41:22Z (6 years ago)

Author:

Dzejrou <dzejrou@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

72f5379e

Parents:

ca32d45

git-author:

Dzejrou <dzejrou@…> (2018-05-03 21:45:11)

git-committer:

Dzejrou <dzejrou@…> (2018-07-05 21:41:22)

Message:

cpp: added negators

File:

• uspace/lib/cpp/include/impl/functional.hpp (modified) (1 diff)

uspace/lib/cpp/include/impl/functional.hpp

@@ -707 +707 @@
 
     template<class Predicate>
-    class unary_negate;
+    class unary_negate
+    {
+        public:
+            using result_type   = bool;
+            using argument_type = typename Predicate::argument_type;
+
+            constexpr explicit unary_negate(const Predicate& pred)
+                : pred_{pred}
+            { /* DUMMY BODY */ }
+
+            constexpr result_type operator()(const argument_type& arg)
+            {
+                return !pred_(arg);
+            }
+
+        private:
+            Predicate pred_;
+    };
 
     template<class Predicate>
-    constexpr unary_negate<Predicate> not1(const Predicate& pred);
+    constexpr unary_negate<Predicate> not1(const Predicate& pred)
+    {
+        return unary_negate<Predicate>{pred};
+    }
 
     template<class Predicate>
-    class binary_negate;
+    class binary_negate
+    {
+        public:
+            using result_type          = bool;
+            using first_argument_type  = typename Predicate::first_argument_type;
+            using second_argument_type = typename Predicate::second_argument_type;
+
+            constexpr explicit binary_negate(const Predicate& pred)
+                : pred_{pred}
+            { /* DUMMY BODY */ }
+
+            constexpr result_type operator()(const first_argument_type& arg1,
+                                             const second_argument_type& arg2)
+            {
+                return !pred_(arg1, arg2);
+            }
+
+        private:
+            Predicate pred_;
+    };
 
     template<class Predicate>