From 2b0d10784470442e734b9d1ed9ccabde3741b7bb Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@gmail.com>
Date: Sat, 18 Jan 2020 20:25:08 +0200
Subject: [PATCH] Document mp_rotate_*

---
 doc/mp11/algorithm.adoc | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)

diff --git a/doc/mp11/algorithm.adoc b/doc/mp11/algorithm.adoc
index 1437f2e..39669d8 100644
--- a/doc/mp11/algorithm.adoc
+++ b/doc/mp11/algorithm.adoc
@@ -472,6 +472,32 @@ Replaces the element of `L` at zero-based index `I` with `W` and returns the res
 
 Same as `mp_replace_at_c`, but with a type argument `I`. `I::value` must be a nonnegative number.
 
+## mp_rotate_left_c<L, N>
+
+    template<class L, std::size_t N> using mp_rotate_left_c = /*...*/;
+
+Moves the `N % M` initial elements of the list `L` to the back, where `M` is the size of `L`. Empty
+lists are unchanged.
+
+## mp_rotate_left<L, N>
+
+    template<class L, class N> using mp_rotate_left = /*...*/;
+
+Same as `mp_rotate_left_c`, but with a type argument `N`. `N::value` must be a nonnegative number.
+
+## mp_rotate_right_c<L, N>
+
+    template<class L, std::size_t N> using mp_rotate_right_c = /*...*/;
+
+Moves the `N % M` trailing elements of the list `L` to the front, where `M` is the size of `L`. Empty
+lists are unchanged.
+
+## mp_rotate_right<L, N>
+
+    template<class L, class N> using mp_rotate_right = /*...*/;
+
+Same as `mp_rotate_right_c`, but with a type argument `N`. `N::value` must be a nonnegative number.
+
 ## mp_copy_if<L, P>
 
     template<class L, template<class...> class P> using mp_copy_if = /*...*/;