Control.Selective.Trans.Except

This is a library for selective applicative functors, or just selective functors for short, an abstraction between applicative functors and monads, introduced in this paper: https://dl.acm.org/doi/10.1145/3341694.

This module defines a newtype around ExceptT from transformers with less restrictive Applicative, Selective, and Alternative implementations. It supplies an instance Selective f => Selective (ExceptT e f), which makes ExceptT a bona-fide Selective transformer.

The API follows the API from the transformers package, so it can be used as a drop-in replacement. The documentation can be found in the transformers package.