universum
universum copied to clipboard
serokell
:milky_way: Prelude written in @Serokell
`concatMapM` has multiple problems. For one, it has a rather confusing name for a function defined like this: ```haskell concatMapM :: ( Applicative f , Monoid m , Container (l...
Those functions can be polymorphic. Also we can add `fromLazy` and `toLazy` for convenience. Also either deprecate `toLText` or add `toLByteString` or only add `toLByteString` and remove `fromStrict` and `toStrict`...
Currently `whenLeft` has this type: ```haskell whenLeft :: Applicative f => Either l r -> (l -> f ()) -> f () ``` I propose to rename `whenLeft` to `whenLeft_`...
## Description I often witnessed the need in `[(a, b)] -> [(a, [b])]` grouping function, so adding it here since we are working on similar things in-parallel. ## Related issues(s)...
In 1.8.0 we deprecated: * `note` in #259 * microlens types/functions in #262 We should delete these definitions in 1.9.0. We should also be able to remove the `microlens` and...
In #238 I have added `FromList` typeclass with `fromList` that behaves very similar to [`GHC.Exts.IsList.fromList`](https://hackage.haskell.org/package/base-4.14.1.0/docs/GHC-Exts.html#v:fromList). And it is defined for `NonEmpty` too. This means that the following code: ```hs a...
* Use type families and an auxiliary class to make instance resolution for `SuperComposition` more robust and predictable. Fixes #265. * Make the first argument of `...` a function unconditionally,...
In GHCi: ``` ghci> :t ("b"++) ("b"++) :: [Char] -> [Char] ghci> :t ('b':) ('b':) :: [Char] -> [Char] ghci> :t (++"a") ... ("b"++) (++"a") ... ("b"++) :: [Char] ->...
## Description ## Problem Functions from `Universum.Unsafe` don't carry `CallStack`. Sometimes it is hard to debug when you don't have stack trace. ## Solution Attached `CallStack` to all functions from...
For instance, have ``` -- | Extract the first element of a list, which must be non-empty. head :: HasCallStack => [a] -> a head = \case [] -> error...