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
- Polysemy Polysemy is a library for writing high-power, low-boilerplate domain specific languages
- 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
- Polysemy.Embed.Type
Embed
effect
- Polysemy.Embed.Type
- Polysemy.Error The effect
Error
and its interpreters - Polysemy.Fail
Fail
interpreters- Polysemy.Fail.Type
Fail
effect
- Polysemy.Fail.Type
- 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- 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
- Polysemy.Internal.Fixpoint
Fixpoint
effect - Polysemy.Internal.Index Class
InsertAtIndex
that allows stack extension at a numeric index - Polysemy.Internal.Kind Kind aliases
Effect
andEffectRow
- 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
- 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
andElemOf
, Polysemy's core types - Polysemy.Internal.Writer The
Writer
effect
- Polysemy.Internal.Bundle Stack manipulation handlers for the
- 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
- Polysemy.Async The effect