# Changelog

## 0.2.0.0 (2020-03-27)
Fixed broken `MonadChoice` instance for `MonadRandom` types and fixed, expanded, and fine tuned dependency version requirements.

### Additions
- `UniformRandom`
  - Created marker `newtype` `UniformRandom` that provides a `MonadChoice` instance for members of the `MonadRandom` typeclass.
  - Added functions `lift` and `colift` to wrap and unwrap `UniformRandom`, respectively.
  - Added instance for `MonadChoice` using `uniform` from the `MoandRandom` package when the wrapped monad is a member of the `MonadRandom` class.
  - Added various passthrough instances
    - `Functor`
    - `Applicative`
    - `Monad`
    - `MonadRandom`
    - `MonadFix`
    - `MonadFail`
    - `Alternative`
    - `MonadPlus`
    - `MonadIO`
    - `Semigroup`
    - `Monoid`
    - `MonadError`
    - `MonadReader`
    - `MonadState`
    - `Foldable`
    - `Traversable`
    - `Eq1`
    - `Ord1`
    - `MonadZip`
    - `MonadCont`
    - `Eq`
    - `Ord`
    - `MonadRWS`
    - `MonadWriter`
    - `MonadSplit`
    - `PrimMonad`
    - `MonadInterleave`

### Removals
- `MonadChoice`
  - Removed previous instance for members of the `MonadRandom` type class since it overlapped with all other `MonadChoice` instances.
  - Removed passthrough instances for constant space `WriterT` and `RWST` if `transformers` version is less than 0.5.6

## 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`.