Module radn::func::instances

Implementation of some basic instances (in Haskell’s meaning of a instances).

To get an understanding of what instances are about, see option.

For MonadFail<E> examples, see result¹.

For the simplest form of Monad, see solo².

For async support, see future²¹ and tryfuture²¹.

For “creative” execution models, see lazy¹ and stackless¹.

For combining monads, see composition¹.

For adding extra metadata to values, see effect¹.

For extending existing instances, see overload¹.

---

1. instances used for research purposes to enhance the abstract interfaces. ↩

2. instances expected to be used in production. ↩

Modules

• composition
  Functors derived on compositions of other Functors.
• effect
  Monad for passing and combining metadata related to the evaluation of values.
• future
  Async Monad based on Pin<Box<dyn Future>> (see: Pin, Box::pin, Future). This generally allows just using .await on wrapped instances.
• lazy
  Helper Monads to defer execution until necessary. Wrapped value is just a box pointing to the constructor function.
• option
  Implementation of Monad for Option<A>.
• overload
  Add extra behaviour on top of an existing instance.
• result
  Implementation of MonadFail<E> for Result<A, E>.
• solo
  Simplest sync Monad.
• stackless
  Helper Monads to move deep execution chains off the stack onto the heap. Stackless<A> represents a wrapped value.
• tryfuture
  Fallible version of future.