selective

selective copied to clipboard

Do you want a SelectiveDo proposal?

26

It seems to me that `Selective` functors could in principle desugar more do notations than `Applicative`s. For example: ```haskell main = do number Maybe Int) getLine case number of Just...

turion

Intuition for rigidity

5

I'm aware of the technical definition of what it means for a `Selective` to be rigid. What I'm missing is the significance of being (or indeed, not being) rigid: in...

kozross

See https://github.com/snowleopard/selective/issues/54. I went for the instance isomorphic to the one of `ExceptT`. * [ ] Add some unit tests to see whether the laws hold

turion

Should Validation be a Selective transformer?

2

`Either` naturally generalises as a monad transformer, `ExceptT`, and we've recently established that this is a bona fide `Selective` transformer, meaning that there is a natural instance `Selective f =>...

turion

Dev maybe t

13

See https://github.com/snowleopard/selective/pull/39#issuecomment-1164093318 and https://github.com/snowleopard/selective/issues/37#issuecomment-1162756271

turion

Instances of transformers not needing the Monad constraint?

19

Is there for example an instance: ```haskell instance Selective f => Selective (ReaderT r f a) ```

turion

Composition w/ Selective

16

I was wondering if it mightn't be instructive to somewhere discuss what happens when you try to compose with Selective functors. It seemed to me that you can only ever...

m00ngoose

Which of the predefined Selective instances are rigid?

3

It would be really useful to know this. While it can be inferred from the implementations, having this information in the documentation for the instances would be great.

kozross

snowleopard

Correctness of `bindS`

5

I've been thinking about the correctness of `bindS` and if there was any way to prove that if for a data type `a`, `(Bounded a, Enum a)` are well defined...

bolt12