.. title:: Monad

lisa.monad.Monad
================


.. autoclass:: lisa.monad::Monad
   :no-members:
   :no-inherited-members:
   :no-undoc-members:
   :no-private-members:
   :no-special-members:

   
   .. rubric:: Methods
   
   .. list-table::
      :align: left
   
      * - :meth:`~lisa.monad.Monad.__await__`
        -
         
         .. withrefctx::
            :module: lisa.monad
            :class: lisa.monad._MonadBase
      * - :meth:`~lisa.monad.Monad.bind`
        -
         
         .. withrefctx::
            :module: lisa.monad
            :class: lisa.monad._MonadBase
         
         
            Takes a monadic value Monad[A], a function that takes an A and returns Monad[B], and returns a Monad[B].
      * - :meth:`~lisa.monad.Monad.join`
        -
         
         .. withrefctx::
            :module: lisa.monad
            :class: lisa.monad.Monad
         
         
            Takes a monadic value Monad[Monad[A]], and returns a Monad[A].
      * - :meth:`~lisa.monad.Monad.map`
        -
         
         .. withrefctx::
            :module: lisa.monad
            :class: lisa.monad.Monad
         
         
            Takes a monadic value Monad[A], a function that takes an A and returns B, and returns a Monad[B].
      * - :meth:`~lisa.monad.Monad.pure`
        -
         
         .. withrefctx::
            :module: lisa.monad
            :class: lisa.monad._MonadBase
         
         
            Takes a value of type T and turns it into a "monadic value" of type Monad[T].
   


Methods
-------


.. automethod:: lisa.monad::Monad.__await__



.. automethod:: lisa.monad::Monad.bind



.. automethod:: lisa.monad::Monad.join



.. automethod:: lisa.monad::Monad.map



.. automethod:: lisa.monad::Monad.pure