Basics
======

..
    .. autosummary::
       :toctree: autosummary

        FuPy.basics

.. automodule:: FuPy.basics

..
       :members:
       :undoc-members:
       :show-inheritance:
       :no-index:

.. currentmodule:: FuPy.basics

.. autoclass:: Empty
.. autoclass:: Unit
.. data:: unit
   :type: Unit

   The single value in `Unit`.

.. data:: Either[A, B]

   The (disjoint) sum type `A + B`.

.. autofunction:: left
.. autofunction:: right
.. autofunction:: guard

.. data:: Both[A, B]

   The (Cartesian) product type `A ⨯ B`.

.. autofunction:: first
.. autofunction:: second

.. autoclass:: Func

.. autofunction:: func

.. autofunction:: la

.. autofunction:: undefined
.. autofunction:: id_
.. autofunction:: const

.. autoclass:: OperatorSection

.. autofunction:: curry
.. autofunction:: uncurry
.. autofunction:: flip

.. autofunction:: ap

.. autofunction:: compose
.. autofunction:: split
.. autofunction:: case_
.. autofunction:: ftimes
.. autofunction:: fplus
.. autofunction:: fpower
.. autofunction:: fpower_left