universum
universum copied to clipboard
serokell
:milky_way: Prelude written in @Serokell
At the moment, we're defining [`hoistMaybe`](https://github.com/serokell/universum/blob/66fa8ed15a3b95c3fa0563f605839558ebd09abd/src/Universum/Monad/Trans.hs#L73-L76) in `Universum.Monad.Trans`. However, `transformers` also introduced a `hoistMaybe` function [in 0.6.0.0](https://hackage.haskell.org/package/transformers-0.6.0.0/docs/Control-Monad-Trans-Maybe.html#v:hoistMaybe). We should just re-export it. We shouldn't do this now though. Even recent...
## Description Add an easy way to implicitly import `Universum` in other projects. I'm yet about to test it. Unfortunately, the maintainer of base-noprelude is away for some time already,...
This issue was first noticed in https://github.com/serokell/universum/pull/243. Consider the following code: ``` super :: [()] -> Bool super = null ... asFun (: []) asFun :: (a -> b) ->...
## Description Problem: `length` function in `Container` has `Int` return type, but it is more semantic to return `Natural` instead. Solution: changed signature and `length` realizations (default and in instances)....
The `length` function from `Universum.Container.Class` module returns `Int`, and we can return `Natural` there and make it type-safe because it is obvious that the size of the container is always...
Often I'd like to have `Prelude` module re-exporting `Universum` module, and use it with `base-noprelude`. This way there will be no need to write `import Universum` each time explicitly. There...
In one Haskell course, it was taught that you should never use `modifyTVar` because it leaks memory, always use `modifyTVar'` instead. This way, we have only the latter provided by...
I think the absence of `MonadError` and the reexport of `ExceptT` is a confusing choice. As rightfully mentioned in #13 Universum already includes `MonadThrow` and `MonadCatch`, however these interact with...
Currently there're a lot of boilerplatish content in `.hlint.yaml` file (like suggestions to use functions from `universum`, not other libraries). Specifying all such suggestions manually is not really convenient. What...
I propose to add next instance `MonadFail` for `Either`: ```haskell instance IsString str => MonadFail (Either str) where fail = Left . fromString ``` Proposed earlier: https://github.com/aelve/haskell-issues/issues/53