View concepts
=============

.. contents:: Table of Contents
    :local:


.. _concept-View:

View
----

Let `Vw` be a type that models :ref:`View (details) <concept-details-View>`.

Then `Vw` also models :ref:`Image <concept-Image>`.

.. _concept-View-types:
.. rubric:: Types

Let `Vw` inherit all types defined for :ref:`Image <concept-Image-types>`.

.. _concept-View-expressions:
.. rubric:: Expressions

Let `Vw` inherit all valid expressions defined for :ref:`Image <concept-Image-expressions>`.


.. _concept-WritableView:

WritableView
------------

Let `WVw` be a type that models :ref:`WritableView (details) <concept-details-WritableView>`.

Then `WVw` also models :ref:`View <concept-View>` and :ref:`WritableImage <concept-WritableImage>`.

.. _concept-WritableView-types:
.. rubric:: Types

Let `WVw` inherit all types defined for :ref:`View <concept-View-types>`.

Let `WVw` inherit all types defined for :ref:`WritableImage <concept-WritableImage-types>`.

.. _concept-WritableView-expressions:
.. rubric:: Expressions

Let `WVw` inherit all valid expressions defined for :ref:`View <concept-View-expressions>`.

Let `WVw` inherit all valid expressions defined for :ref:`WritableImage <concept-WritableImage-expressions>`.


.. _concept-FilterView:

FilterView
----------

Let `(FVw, Pred)` be a couple of types that models :ref:`FilterView (details) <concept-details-FilterView>`.

Then `FVw` also models :ref:`View <concept-View>`.

Then `Pred` also models :ref:`Predicate (fundamentals) <concept-fundamentals-callable-Predicate>`.

.. _concept-FilterView-types:
.. rubric:: Types

Let `FVw` inherit all types defined for :ref:`View <concept-View-types>`.

.. _concept-FilterView-expressions:
.. rubric:: Expressions

Let `FVw` inherit all valid expressions defined for :ref:`View <concept-View-expressions>`.

Let : 
    - ``pred`` be an instance of `Pred`.
    - ``cpix`` be an instance of `FVw::const_pixel_type`.

Then we have the following valid expressions :

+----------------+-------------+---------------+----------------+----------------------------+
|   Expression   | Return type | Pre-condition | Post-condition |        Description         |
+================+=============+===============+================+============================+
| ``pred(cpix)`` | `bool`      | none          | none           | Apply ``pred`` on ``cpix`` |
+----------------+-------------+---------------+----------------+----------------------------+


.. _concept-WritableFilterView:

WritableFilterView
------------------

Let `(WFVw, Pred)` be a couple of types that models :ref:`WritableFilterView (details) <concept-details-WritableFilterView>`.

Then `WFVw` also models :ref:`FilterView <concept-FilterView>` and :ref:`WritableView <concept-WritableView>`.

Then `Pred` also models :ref:`Predicate (fundamentals) <concept-fundamentals-callable-Predicate>`.

.. _concept-WritableFilterView-types:
.. rubric:: Types

Let `WFVw` inherit all types defined for :ref:`FilterView <concept-FilterView-types>`.

Let `WFVw` inherit all types defined for :ref:`WritableView <concept-WritableView-types>`.

.. _concept-WritableFilterView-expressions:
.. rubric:: Expressions

Let `WFVw` inherit all valid expressions defined for :ref:`FilterView <concept-FilterView-expressions>`.

Let `WFVw` inherit all valid expressions defined for :ref:`WritableView <concept-WritableView-expressions>`.

Let : 
    - ``pred`` be an instance of `Pred`.
    - ``pix`` be an instance of `WFVw::pixel_type`.

Then we have the following valid expressions :

+---------------+-------------+---------------+----------------+---------------------------+
|  Expression   | Return type | Pre-condition | Post-condition |        Description        |
+===============+=============+===============+================+===========================+
| ``pred(pix)`` | `bool`      | none          | none           | Apply ``pred`` on ``pix`` |
+---------------+-------------+---------------+----------------+---------------------------+


.. _concept-TransformView:

TransformView
-------------

Let `(TVw, Func)` be a couple of types that models :ref:`TransformView (details) <concept-details-TransformView>`.

Then `TVw` also models :ref:`View <concept-View>`.

Then `Func` also models :ref:`Invocable (fundamentals) <concept-fundamentals-callable-Invocable>`.

.. _concept-TransformView-types:
.. rubric:: Types

Let `TVw` inherit all types defined for :ref:`View <concept-View-types>`.

.. _concept-TransformView-expressions:
.. rubric:: Expressions

Let `TVw` inherit all valid expressions defined for :ref:`View <concept-View-expressions>`.

Let : 
    - ``func`` be an instance of `Func`.
    - ``cpix`` be an instance of `TVw::const_pixel_type`.

Then we have the following valid expressions :

+----------------+--------------------------------+---------------+----------------+-----------------------------------------------------------------------+
|   Expression   |          Return type           | Pre-condition | Post-condition |                              Description                              |
+================+================================+===============+================+=======================================================================+
| ``func(cpix)`` | `/* Implementation defined */` | none          | none           | Return type models :ref:`TransformedPixel <concept-TransformedPixel>` |
+----------------+--------------------------------+---------------+----------------+-----------------------------------------------------------------------+


.. _concept-WritableTransformView:

WritableTransformView
---------------------

Let `(WTVw, Func, FuncInverse)` be a triplet of types that models :ref:`WritableTransformView (details) <concept-details-WritableTransformView>`.

Then `(WTVw, Func)` also models :ref:`TransformView <concept-TransformView>`.

Then `WTVw` also models :ref:`WritableView <concept-WritableView>`.

Then `FuncInverse` also models :ref:`Invocable (fundamentals) <concept-fundamentals-callable-Invocable>`.

.. _concept-WritableTransformView-types:
.. rubric:: Types

Let `(WTVw, Func)` inherit all types defined for :ref:`TransformView <concept-TransformView-types>`.

Let `WTVw` inherit all types defined for :ref:`WritableView <concept-WritableView-types>`.

.. _concept-WritableTransformView-expressions:
.. rubric:: Expressions

Let `(WTVw, Func)` inherit all valid expressions defined for :ref:`TransformView <concept-TransformView-expressions>`.

Let `WTVw` inherit all valid expressions defined for :ref:`WritableView <concept-WritableView-expressions>`.

Let : 
    - ``func`` be an instance of `Func`.
    - ``func_inverse`` be an instance of `FuncInverse`.
    - ``pix`` be an instance of `WTVw::pixel_type`.

Then we have the following valid expressions :

+-----------------------------+--------------------------------+---------------+----------------+-----------------------------------------------------------------------+
|         Expression          |          Return type           | Pre-condition | Post-condition |                              Description                              |
+=============================+================================+===============+================+=======================================================================+
| ``func(pix)``               | `/* Implementation defined */` | none          | none           | Return type models :ref:`TransformedPixel <concept-TransformedPixel>` |
+-----------------------------+--------------------------------+---------------+----------------+-----------------------------------------------------------------------+
| ``func_inverse(func(pix))`` | `WTVw::pixel_type`             | none          | none           | Return type models :ref:`Pixel <concept-Pixel>`                       |
+-----------------------------+--------------------------------+---------------+----------------+-----------------------------------------------------------------------+


.. _concept-ProjectorView:

ProjectorView
-------------

Let `(PVw, Proj)` be a couple of types that models :ref:`ProjectorView (details) <concept-details-ProjectorView>`.

Then `PVw` also models :ref:`View <concept-View>`.

Then `Proj` also models :ref:`Invocable (fundamentals) <concept-fundamentals-callable-Invocable>`.

.. _concept-ProjectorView-types:
.. rubric:: Types

Let `PVw` inherit all types defined for :ref:`View <concept-View-types>`.

.. _concept-ProjectorView-expressions:
.. rubric:: Expressions

Let `PVw` inherit all valid expressions defined for :ref:`View <concept-View-expressions>`.

Let : 
    - ``proj`` be an instance of `Proj`.
    - ``cpix`` be an instance of `PVw::const_pixel_type`.

Then we have the following valid expressions :

+----------------+--------------------------------+---------------+----------------+-------------------------------------------------------------------+
|   Expression   |          Return type           | Pre-condition | Post-condition |                            Description                            |
+================+================================+===============+================+===================================================================+
| ``proj(cpix)`` | `/* Implementation defined */` | none          | none           | Return type models :ref:`ProjectedPixel <concept-ProjectedPixel>` |
+----------------+--------------------------------+---------------+----------------+-------------------------------------------------------------------+


.. _concept-WritableProjectorView:

WritableProjectorView
---------------------

Let `(WPVw, Proj)` be a triplet of types that models :ref:`WritableProjectorView (details) <concept-details-WritableProjectorView>`.

Then `(WPVw, Proj)` also models :ref:`ProjectorView <concept-ProjectorView>`.

Then `WPVw` also models :ref:`WritableView <concept-WritableView>`.

.. _concept-WritableProjectorView-types:
.. rubric:: Types

Let `(WPVw, Proj)` inherit all types defined for :ref:`ProjectorView <concept-ProjectorView-types>`.

Let `WPVw` inherit all types defined for :ref:`WritableView <concept-WritableView-types>`.

.. _concept-WritableProjectorView-expressions:
.. rubric:: Expressions

Let `(WPVw, Proj)` inherit all valid expressions defined for :ref:`ProjectorView <concept-ProjectorView-expressions>`.

Let `WPVw` inherit all valid expressions defined for :ref:`WritableView <concept-WritableView-expressions>`.

Let : 
    - ``proj`` be an instance of `Proj`.
    - ``pix`` be an instance of `WPVw::pixel_type`.

Then we have the following valid expressions :

+---------------+-------------------------------+---------------+----------------+-------------------------------------------------------------------+
|  Expression   |          Return type          | Pre-condition | Post-condition |                            Description                            |
+===============+===============================+===============+================+===================================================================+
| ``proj(pix)`` | `/* implementaion defined */` | none          | none           | Return type models :ref:`ProjectedPixel <concept-ProjectedPixel>` |
+---------------+-------------------------------+---------------+----------------+-------------------------------------------------------------------+


.. _concept-ZipView:

ZipView
-------

Let `(ZVw, FromVws...)` be a couple of types that models :ref:`ProjectorView (details) <concept-details-ProjectorView>`.

Then `ZVw` also models :ref:`View <concept-View>`.

Then `FromVws...` also model :ref:`View <concept-View>`.

.. _concept-ZipView-types:
.. rubric:: Types

Let `ZVw` inherit all types defined for :ref:`View <concept-View-types>`.

Then we can define : 

+-------------------------+-----------------+--------------------------------------------------------+
|       Definition        |   Description   |                      Requirement                       |
+=========================+=================+========================================================+
| `ZVw::const_pixel_type` | type of a pixel | models :ref:`ZippedPixel <concept-ZippedPixel>` concept |
+-------------------------+-----------------+--------------------------------------------------------+

.. _concept-ZipView-expressions:
.. rubric:: Expressions

Let `ZVw` inherit all valid expressions defined for :ref:`View <concept-View-expressions>`.


.. _concept-WritableZipView:

WritableZipView
---------------

Let `(WZVw, FromVws...)` be a triplet of types that models :ref:`WritableZipView (details) <concept-details-WritableZipView>`.

Then `(WZVw, FromVws...)` also models :ref:`ZipView <concept-ZipView>`.

Then `WZVw` also models :ref:`WritableView <concept-WritableView>`.

.. _concept-WritableZipView-types:
.. rubric:: Types

Let `(WZVw, FromVws...)` inherit all types defined for :ref:`ZipView <concept-ZipView-types>`.

Let `WZVw` inherit all types defined for :ref:`WritableView <concept-WritableView-types>`.

Then we can define :

+--------------------+-----------------+--------------------------------------------------------+
|     Definition     |   Description   |                      Requirement                       |
+====================+=================+========================================================+
| `WZVw::pixel_type` | type of a pixel | models :ref:`ZippedPixel <concept-ZippedPixel>` concept |
+--------------------+-----------------+--------------------------------------------------------+

.. _concept-WritableZipView-expressions:
.. rubric:: Expressions

Let `(WZVw, FromVws...)` inherit all valid expressions defined for :ref:`ZipView <concept-ZipView-expressions>`.

Let `WZVw` inherit all valid expressions defined for :ref:`WritableView <concept-WritableView-expressions>`.