purescript-control

purescript-control copied to clipboard

Comonad has Monoid function instance to match instance for Semigroups in Control.Extend

spocino

```purescript instance lazyEffect :: Lazy (Effect a) where defer = (u >>= _) where u = pure unit ```

natefaubion

The distributivity law for Alternative rules out effectful instances

28

Alternative has this distributivity law: * `(f g) x == (f x) (g x)` However, this law rules out a few instances, most notably "effectful" ones like Effect or Aff....

hdgarrood

Consider updating misleading Alt documentation

2

The Alt documentation says: > The Alt type class identifies an associative operation on a type constructor. It is similar to Semigroup, except that it applies to types of kind...

hdgarrood

Seems like taking the optional array argument in the map callback is unnecessary (unless there's some performance reason for writing it this way). @i-am-tom for clarification. I think this simplified...

milesfrain

fix function -> add example

2

srghma