@hackage deriving-trans0.5.1.0

Derive instances for monad transformer stacks

  • Installation

  • Dependencies (8)

  • Dependents (0)

    • Package Flags

      exceptions
       (on by default)

      Implement instances for Control.Monad.Catch.MonadThrow and Control.Monad.Catch.MonadCatch.

      mtl
       (on by default)

      Implement instances for mtl's type classes.

      unliftio
       (on by default)

      Implement instances for Control.Monad.IO.Unlift.MonadUnliftIO.

Implementing instances for monad transformer stacks can be tedious. mtl defines each instance for each transfomer, but this can be avoided.

Elevator let's you access instances of the underlying monad of a transformer. Composing transformers with ComposeT brings instances into scope during the initialization of a transformer stack.

Elevator can be used with DerivingVia to select a specific transformer to derive instances for a transformer stack. ComposeT composes transformers and accumulates instances in a transformer stack.