Changelog of @hackage/monad-choice 0.1.0.0

Changelog

0.1.0.0 (2020-02-29)

Inital version

Additions

MonadChoice
- Created MonadChoice typeclass to represent that allow choices to be made by some arbitrary entity.
- Added function chooseM.
- Added instances for the ChoiceT both covariant and invariant.
- Added instance for MonadRandom instances by using the uniform function.
- Added various passthrough instances
  - MaybeT
  - ExceptT
  - IdentityT
  - StateT either lazy or strict
  - ReaderT
  - WriterT either constant space, lazy, or strict
  - AccumT
  - ContT
  - RWST either constant space, lazy, strict
  - SelectT
ChoiceT
- Added two different versions of ChoiceT, one a covariant functor, the other an invariant functor on the category of monads.
- Shared additions:
  - Function runChoiceT
  - Instances for Functor, Applicative, Monad, MonadTrans, and MonadChoice
  - Various passthrough instances
    - MonadReader
    - MonadState
    - MonadWriter
    - MonadRWS
    - MonadIO
- Covariant.ChoiceT
  - Added functions mapChoiceT and runBacktrackableChoiceT.
- Invariant.ChoiceT
  - Exposed constructor ChoiceT.
  - Added function invmapChoiceT.
  - Added various passthrough instances.
    - Contravariant
    - Invariant
    - Alternative
    - MonadPlus
    - MonadError
Choice
- Added two different versions of Choice which of type aliases for each ChoiceT over the Identity monad.
- Added function runChoice for each version.
- For Covariant.Choice added functions runChoiceM and runBacktrackableChoiceT.