Permalink
Browse files

Add zipper predicates for deleting before or after elements

  • Loading branch information...
pmoura committed Jan 11, 2019
1 parent c34def0 commit 1190bc5dfba56b2e2db79aef709491b5624057ad
@@ -17,4 +17,4 @@ Indices and tables
* :ref:`genindex`
* :ref:`search`

Generated on Fri Jan 11 15:27:16 WET 2019
Generated on Fri Jan 11 15:44:38 WET 2019
@@ -1249,6 +1249,46 @@ Predicate index
* :ref:`dictionaryp <dictionaryp/0::delete/4>`
* :ref:`heapp <heapp/0::delete/4>`

``delete_all_after/2``
----------------------

.. toctree::
:maxdepth: 1



* :ref:`zipperp <zipperp/0::delete_all_after/2>`

``delete_all_after_and_unzip/2``
--------------------------------

.. toctree::
:maxdepth: 1



* :ref:`zipperp <zipperp/0::delete_all_after_and_unzip/2>`

``delete_all_before/2``
-----------------------

.. toctree::
:maxdepth: 1



* :ref:`zipperp <zipperp/0::delete_all_before/2>`

``delete_all_before_and_unzip/2``
---------------------------------

.. toctree::
:maxdepth: 1



* :ref:`zipperp <zipperp/0::delete_all_before_and_unzip/2>`

``delete_and_next/2``
---------------------

@@ -318,6 +318,90 @@ Deletes the current element and removes the zipper returning the resulting seque
| ``delete_and_unzip(+zipper,--sequence)`` - ``one``


.. raw:: html

<div id="delete_all_before/2"> </div>

.. index:: delete_all_before/2
.. _zipperp/0::delete_all_before/2:

``delete_all_before/2``
^^^^^^^^^^^^^^^^^^^^^^^

Deletes all elements before the current element.

| **Compilation flags:**
| ``static``

| **Template:**
| ``delete_all_before(Zipper,NewZipper)``
| **Mode and number of proofs:**
| ``delete_all_before(+zipper,--zipper)`` - ``one``


.. raw:: html

<div id="delete_all_before_and_unzip/2"> </div>

.. index:: delete_all_before_and_unzip/2
.. _zipperp/0::delete_all_before_and_unzip/2:

``delete_all_before_and_unzip/2``
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Deletes all elements before the current element and removes the zipper returning the resulting sequence.

| **Compilation flags:**
| ``static``

| **Template:**
| ``delete_all_before_and_unzip(Zipper,NewZipper)``
| **Mode and number of proofs:**
| ``delete_all_before_and_unzip(+zipper,--sequence)`` - ``one``


.. raw:: html

<div id="delete_all_after/2"> </div>

.. index:: delete_all_after/2
.. _zipperp/0::delete_all_after/2:

``delete_all_after/2``
^^^^^^^^^^^^^^^^^^^^^^

Deletes all elements after the current element.

| **Compilation flags:**
| ``static``

| **Template:**
| ``delete_all_after(Zipper,NewZipper)``
| **Mode and number of proofs:**
| ``delete_all_after(+zipper,--zipper)`` - ``one``


.. raw:: html

<div id="delete_all_after_and_unzip/2"> </div>

.. index:: delete_all_after_and_unzip/2
.. _zipperp/0::delete_all_after_and_unzip/2:

``delete_all_after_and_unzip/2``
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Deletes all elements after the current element and removes the zipper returning the resulting sequence.

| **Compilation flags:**
| ``static``

| **Template:**
| ``delete_all_after_and_unzip(Zipper,NewZipper)``
| **Mode and number of proofs:**
| ``delete_all_after_and_unzip(+zipper,--sequence)`` - ``one``


Protected interface
-------------------

@@ -671,15 +671,23 @@ <h2 id="D">D</h2>
<li><a href="listp_0.html#index-3">delete/3</a>, <a href="setp_0.html#index-3">[1]</a>, <a href="varlistp_0.html#index-2">[2]</a>
</li>
<li><a href="dictionaryp_0.html#index-6">delete/4</a>, <a href="heapp_0.html#index-3">[1]</a>
</li>
<li><a href="zipperp_0.html#index-17">delete_all_after/2</a>
</li>
<li><a href="zipperp_0.html#index-18">delete_all_after_and_unzip/2</a>
</li>
<li><a href="zipperp_0.html#index-15">delete_all_before/2</a>
</li>
<li><a href="zipperp_0.html#index-16">delete_all_before_and_unzip/2</a>
</li>
<li><a href="zipperp_0.html#index-13">delete_and_next/2</a>
</li>
</ul></td>
<td style="width: 33%; vertical-align: top;"><ul>
<li><a href="zipperp_0.html#index-12">delete_and_previous/2</a>
</li>
<li><a href="zipperp_0.html#index-14">delete_and_unzip/2</a>
</li>
</ul></td>
<td style="width: 33%; vertical-align: top;"><ul>
<li><a href="osp_0.html#index-9">delete_directory/1</a>
</li>
<li><a href="osp_0.html#index-20">delete_file/1</a>
@@ -1248,6 +1248,18 @@ <h1>Logtalk APIs<a class="headerlink" href="#logtalk-apis" title="Permalink to t
<li class="toctree-l2"><a class="reference internal" href="predicate_index.html#delete-4"><code class="docutils literal notranslate"><span class="pre">delete/4</span></code></a><ul class="simple">
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="predicate_index.html#delete-all-after-2"><code class="docutils literal notranslate"><span class="pre">delete_all_after/2</span></code></a><ul class="simple">
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="predicate_index.html#delete-all-after-and-unzip-2"><code class="docutils literal notranslate"><span class="pre">delete_all_after_and_unzip/2</span></code></a><ul class="simple">
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="predicate_index.html#delete-all-before-2"><code class="docutils literal notranslate"><span class="pre">delete_all_before/2</span></code></a><ul class="simple">
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="predicate_index.html#delete-all-before-and-unzip-2"><code class="docutils literal notranslate"><span class="pre">delete_all_before_and_unzip/2</span></code></a><ul class="simple">
</ul>
</li>
<li class="toctree-l2"><a class="reference internal" href="predicate_index.html#delete-and-next-2"><code class="docutils literal notranslate"><span class="pre">delete_and_next/2</span></code></a><ul class="simple">
</ul>
</li>
@@ -2750,7 +2762,7 @@ <h1>Indices and tables<a class="headerlink" href="#indices-and-tables" title="Pe
<li><a class="reference internal" href="genindex.html"><span class="std std-ref">Index</span></a></li>
<li><a class="reference internal" href="search.html"><span class="std std-ref">Search Page</span></a></li>
</ul>
<p>Generated on Fri Jan 11 15:27:16 WET 2019</p>
<p>Generated on Fri Jan 11 15:44:38 WET 2019</p>
</div>


Oops, something went wrong.

0 comments on commit 1190bc5

Please sign in to comment.