purescript-transformers
purescript-transformers copied to clipboard
purescript
Monad and comonad transformers
**Description of the change** Resolves #146. --- **Checklist:** - [x] Added the change to the changelog's "Unreleased" section with a reference to this PR (e.g. "- Made a change (#0000)")...
What do we think about adding a dependency on `purescript-st` and giving [`MonadST`](https://pursuit.purescript.org/packages/purescript-st/6.2.0/docs/Control.Monad.ST.Class#t:MonadST) instances to all the transformers?
**Description of the change** Adds `ComonadAsk`, `ComonadEnv`, and `ComonadTraced` instances for `StoreT`, `EnvT`, and `TracedT` Closes #35 --- **Checklist:** - [x] Added the change to the changelog's "Unreleased" section with...
The law for MonadAsk `ask >>= \_ -> ask = ask` only requires Applicative `ask *> ask = ask`. You can't execute effects depending on the environment, but you can...
What kind of effect-sequencing behavior is `ListT` supposed to exhibit? I ask because in haskell, `ListT m a` is a newtype wrapper of `m [a]`, and if purescript's `ListT` is...
`maybeToExceptT` seems like a useful feature. `maybeT2ExceptT :: Functor m => e -> MaybeT m a -> ExceptT e m a ` and `maybe2ExceptT :: e -> Maybe a ->...
`StateT's` `catchError` doesn't take into account that the state can change in the call to is first parameter: ```haskell instance monadErrorStateT :: MonadError e m => MonadError e (StateT s...
