Description
A Haskell library that provides an updatable analogue of Distributive functors. It supports advanced abstractions for data structures that can distribute or update values across a context.
Developers use it in generic functional code where update behavior needs to be expressed through types. It is specialist library infrastructure, most useful to authors of higher-level abstractions.