search

garyb / purescript-indexed-monad

MIT License
21 stars 11 forks source link

Data.Functor.Indexed should be Control.Functor.Indexed, because it contains only class #26

Closed srghma closed 4 years ago

srghma commented 4 years ago

https://github.com/garyb/purescript-indexed-monad/blob/master/src/Data/Functor/Indexed.purs

garyb commented 4 years ago

That's not what Control means, it's more to do with whether a class enables new control flow. Note that the non-indexed functor is Data.Functor, it's Data.Functor in Haskell, etc.