polysemy-1.9.2.0: Higher-order, low-boilerplate free monads.

Please see the README on GitHub at https://github.com/polysemy-research/polysemy#readme

Modules

polysemy-1.9.2.0

Polysemy Polysemy is a library for writing high-power, low-boilerplate domain specific languages
Submodules
- Polysemy.Async The effect Async, providing an interface to Control.Concurrent.Async
- Polysemy.AtomicState The AtomicState effect
- Polysemy.Bundle The Bundle effect for bundling effects
- Polysemy.Embed Interpreters for the effect Embed
  Submodules
  - Polysemy.Embed.Type Embed effect
- Polysemy.Error The effect Error and its interpreters
- Polysemy.Fail Fail interpreters
  Submodules
  - Polysemy.Fail.Type Fail effect
- Polysemy.Final The effect Final that allows embedding higher-order actions in
- Polysemy.Fixpoint Interpreters for Fixpoint
- Polysemy.IO Compatibility with MonadIO
- Polysemy.Input The Input effect
- Polysemy.Internal The Sem type and the most basic stack manipulation utilities
  Submodules
  - Polysemy.Internal.Bundle Stack manipulation handlers for the Bundle effect
  - Polysemy.Internal.Combinators The basic interpreter-building combinators
  - Polysemy.Internal.CustomErrors type-errors-pretty redefinitions
    Submodules
    Polysemy.Internal.CustomErrors.Redefined
  - Polysemy.Internal.Fixpoint Fixpoint effect
  - Polysemy.Internal.Index Class InsertAtIndex that allows stack extension at a numeric index
  - Polysemy.Internal.Kind Kind aliases Effect and EffectRow
  - Polysemy.Internal.NonDet The NonDet effect
  - Polysemy.Internal.Scoped The meta-effect Scoped
  - Polysemy.Internal.Sing Singleton list
  - Polysemy.Internal.Strategy The auxiliary effect Strategy used for building interpreters
  - TH
    Submodules
    Polysemy.Internal.TH.Common TH utilities for generating effect constructors
    Polysemy.Internal.TH.Effect
  - Polysemy.Internal.Tactics The auxiliary higher-order interpreter effect Tactics
  - Polysemy.Internal.Union Union, Weaving and ElemOf, Polysemy's core types
  - Polysemy.Internal.Writer The Writer effect
- Polysemy.Membership Reexports of membership related functionality
- Polysemy.NonDet Interpreters for NonDet
- Polysemy.Opaque
- Polysemy.Output The Output effect for sending side-effecting messages
- Polysemy.Reader The Reader effect and its interpreters
- Polysemy.Resource The Resource effect, providing bracketing functionality
- Polysemy.Scoped Interpreters for Scoped
- Polysemy.State The State effect
- Polysemy.Tagged The Tagged effect and its interpreters
- Polysemy.Trace The Trace effect and its interpreters
- Polysemy.Writer Interpreters for Writer