release 1.5.0.0/0.3.0.0

This commit is contained in:
Torsten Schmits 2021-03-30 19:51:37 +02:00
parent 6cafe928d8
commit 04642d090b
9 changed files with 18 additions and 9 deletions

View File

@ -1,7 +1,11 @@
# Changelog for polysemy
## 1.5.0.0 (2021-03-30)
## Unreleased changes
### Breaking Changes
* Dropped support for GHC 8.4
### Other Changes
- Added `InterpretersFor` as a shorthand for interpreters consuming multiple effects
- Added `runTSimple` and `bindTSimple`, which are simplified variants of `runT` and `bindT`

View File

@ -1,5 +1,5 @@
name: polysemy
version: 1.4.0.0
version: 1.5.0.0
github: "polysemy-research/polysemy"
license: BSD3
author: "Sandy Maguire"

View File

@ -1,5 +1,10 @@
# Changelog for polysemy-plugin
## 0.3.0.0 (2021-03-30)
### Breaking Changes
* Dropped support for GHC 8.4
## 0.2.5.2 (2020-11-01)
- Fixed crashes stemming from unused optimization passes

View File

@ -1,5 +1,5 @@
name: polysemy-plugin
version: 0.2.5.2
version: 0.3.0.0
github: "polysemy-research/polysemy"
license: BSD3
author: "Sandy Maguire"

View File

@ -5,7 +5,7 @@ cabal-version: 2.0
-- see: https://github.com/sol/hpack
name: polysemy-plugin
version: 0.2.5.2
version: 0.3.0.0
synopsis: Disambiguate obvious uses of effects.
description: Please see the README on GitHub at <https://github.com/isovector/polysemy/tree/master/polysemy-plugin#readme>
category: Polysemy

View File

@ -5,7 +5,7 @@ cabal-version: 2.0
-- see: https://github.com/sol/hpack
name: polysemy
version: 1.4.0.0
version: 1.5.0.0
synopsis: Higher-order, low-boilerplate free monads.
description: Please see the README on GitHub at <https://github.com/isovector/polysemy#readme>
category: Language

View File

@ -601,7 +601,7 @@ type InterpreterFor e r = ∀ a. Sem (e ': r) a -> Sem r a
------------------------------------------------------------------------------
-- | Variant of 'InterpreterFor' that takes a list of effects.
-- @since (TODO)
-- @since 1.5.0.0
type InterpretersFor es r = a. Sem (Append es r) a -> Sem r a

View File

@ -159,7 +159,7 @@ runT na = do
-- Instead of returning a 'Sem' action corresponding to the provided action,
-- 'runTSimple' runs the action immediately.
--
-- @since TODO
-- @since 1.5.0.0
runTSimple :: m a
-- ^ The monadic action to lift. This is usually a parameter in your
-- effect.
@ -196,7 +196,7 @@ bindT f = send $ HoistInterpretation f
-- Instead of returning a 'Sem' kleisli action corresponding to the
-- provided kleisli action, 'bindTSimple' runs the kleisli action immediately.
--
-- @since TODO
-- @since 1.5.0.0
bindTSimple
:: forall m f r e a b
. (a -> m b)

View File

@ -55,7 +55,7 @@ makeSem ''Resource
--
-- cf. 'Control.Exception.bracket' and 'Control.Exception.bracket_'
--
-- @since TODO
-- @since 1.5.0.0
bracket_
:: Member Resource r
=> Sem r a -- ^ computation to run first