Module

# Control.Selective

- Package
- purescript-selective
- Repository
- anttih/purescript-selective

### #Selective Source

`class (Applicative f) <= Selective f where`

`Selective`

is a typeclass somewhere between `Applicative`

and `Monad`

.
It adds the ability to have conditionals on top of `Applicative`

s yet
still allows static analyzis of the program.

We can leverage the default Monad implementation for many of the instances since they are Monads anyway. We still get the benefits though.

#### Members

#### Instances

### #fromMaybeS Source

`fromMaybeS :: forall a f. Selective f => f a -> f (Maybe a) -> f a`