Dmitrii Kovanikov

Add `MonadFail` instance to `Gen` data type

7

Without this instance it's impossible to perform partial pattern-matching inside property-based tests. Maybe this instance can be somehow smart, like, discard all cases that doesn't match the case?

Do something with 'fromStrict' and 'toStrict'

5

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

Use 'dhall' for remove boilerplate from '.hlint.yaml' file

1

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

This issue is a call to discussion. I want to discuss several things and come to agreement on several issues: - [ ] Decide how to avoid type families duplication....

Introduce type class for 'Set/Map'-like things

2

I propose to think of type class for `Map`-like things. This is really convenient to have. For example, if you want to `insert` into `newtype` wrappers around `Map/HashMap`. `mono-traversable` [has...

Add function to express list operations through 'NonEmpty'

3

Add this function: ```haskell safe f = fmap f . nonEmpty ``` We export some functions to work with `NonEmpty`. But sometimes we want functions to work with `[]` and...

Generalize types of 'whenJust' and similar functions to return 'Monoid'

3

Currently `whenJust` has the following type signature: ```haskell whenJust :: Applicative f => Maybe a -> (a -> f ()) -> f () ``` I propose to generalize types of...

Add safe functions to work with 'Enum'

1

Sometimes it's useful to have the following functions: ```haskell every :: (Bounded a, Enum a) => [a] -- all values cycleSucc :: (Bounded a, Enum a) => a -> a...