.. index:: expected
.. _expected/0:
.. rst-class:: right
**object**
``expected``
============
Constructors for expected terms. An expected term contains either a value or an error. Expected terms should be regarded as opaque terms and always used with the ``expected/1`` object by passing the expected term as a parameter.
| **Author:** Paulo Moura
| **Version:** 2:1:0
| **Date:** 2021-01-03
| **Compilation flags:**
| ``static, context_switching_calls``
| **Provides:**
| :ref:`type::type/1 `
| :ref:`type::check/2 `
| **Remarks:**
- Type-checking support: This object also defines a type ``expected`` for use with the ``type`` library object.
| **Inherited public predicates:**
| (none)
.. contents::
:local:
:backlinks: top
Public predicates
-----------------
.. index:: of_unexpected/2
.. _expected/0::of_unexpected/2:
``of_unexpected/2``
^^^^^^^^^^^^^^^^^^^
Constructs an expected term from an error that represent that the expected value is missing.
| **Compilation flags:**
| ``static``
| **Template:**
| ``of_unexpected(Error,Expected)``
| **Mode and number of proofs:**
| ``of_unexpected(@term,--nonvar)`` - ``one``
------------
.. index:: of_expected/2
.. _expected/0::of_expected/2:
``of_expected/2``
^^^^^^^^^^^^^^^^^
Constructs an expected term from an expected value.
| **Compilation flags:**
| ``static``
| **Template:**
| ``of_expected(Value,Expected)``
| **Mode and number of proofs:**
| ``of_expected(@term,--nonvar)`` - ``one``
------------
.. index:: from_goal/4
.. _expected/0::from_goal/4:
``from_goal/4``
^^^^^^^^^^^^^^^
Constructs an expected term holding a value bound by calling the given goal. Otherwise returns an expected term with the unexpected goal error or failure represented by the ``Error`` argument.
| **Compilation flags:**
| ``static``
| **Template:**
| ``from_goal(Goal,Value,Error,Expected)``
| **Meta-predicate template:**
| ``from_goal(0,*,*,*)``
| **Mode and number of proofs:**
| ``from_goal(+callable,--term,@term,--nonvar)`` - ``one``
------------
.. index:: from_goal/3
.. _expected/0::from_goal/3:
``from_goal/3``
^^^^^^^^^^^^^^^
Constructs an expected term holding a value bound by calling the given goal. Otherwise returns an expected term with the unexpected goal error or the atom ``fail`` representing the unexpected failure.
| **Compilation flags:**
| ``static``
| **Template:**
| ``from_goal(Goal,Value,Expected)``
| **Meta-predicate template:**
| ``from_goal(0,*,*)``
| **Mode and number of proofs:**
| ``from_goal(+callable,--term,--nonvar)`` - ``one``
------------
.. index:: from_goal/2
.. _expected/0::from_goal/2:
``from_goal/2``
^^^^^^^^^^^^^^^
Constructs an expected term holding a value bound by calling the given closure. Otherwise returns an expected term holding the unexpected closure error or the atom ``fail`` representing the unexpected failure.
| **Compilation flags:**
| ``static``
| **Template:**
| ``from_goal(Closure,Expected)``
| **Meta-predicate template:**
| ``from_goal(1,*)``
| **Mode and number of proofs:**
| ``from_goal(+callable,--nonvar)`` - ``one``
------------
.. index:: from_generator/4
.. _expected/0::from_generator/4:
``from_generator/4``
^^^^^^^^^^^^^^^^^^^^
Constructs expected terms with the values generated by calling the given goal. On goal error or failure, returns an expected term with the unexpected goal error or failure represented by the ``Error`` argument.
| **Compilation flags:**
| ``static``
| **Template:**
| ``from_generator(Goal,Value,Error,Expected)``
| **Meta-predicate template:**
| ``from_generator(0,*,*,*)``
| **Mode and number of proofs:**
| ``from_generator(+callable,--term,@term,--nonvar)`` - ``one_or_more``
------------
.. index:: from_generator/3
.. _expected/0::from_generator/3:
``from_generator/3``
^^^^^^^^^^^^^^^^^^^^
Constructs expected terms with the values generated by calling the given goal. On goal error or failure, returns an expected term with, respectively, the unexpected goal error or the atom ``fail`` representing the unexpected goal failure.
| **Compilation flags:**
| ``static``
| **Template:**
| ``from_generator(Goal,Value,Expected)``
| **Meta-predicate template:**
| ``from_generator(0,*,*)``
| **Mode and number of proofs:**
| ``from_generator(+callable,--term,--nonvar)`` - ``one_or_more``
------------
.. index:: from_generator/2
.. _expected/0::from_generator/2:
``from_generator/2``
^^^^^^^^^^^^^^^^^^^^
Constructs expected terms with the values generated by calling the given closure. On closure error or failure, returns an expected term with, respectively, the unexpected closure error or the atom ``fail`` representing the unexpected closure failure.
| **Compilation flags:**
| ``static``
| **Template:**
| ``from_generator(Closure,Expected)``
| **Meta-predicate template:**
| ``from_generator(1,*)``
| **Mode and number of proofs:**
| ``from_generator(+callable,--nonvar)`` - ``one_or_more``
------------
Protected predicates
--------------------
(no local declarations; see entity ancestors if any)
Private predicates
------------------
(no local declarations; see entity ancestors if any)
Operators
---------
(none)
.. seealso::
:ref:`expected(Expected) `, :ref:`type `