search

garyb / purescript-indexed-monad

MIT License
21 stars 11 forks source link

Add type alias for indexed natural transformation #24

Closed JordanMartinez closed 3 years ago

JordanMartinez commented 4 years ago

Fixes #22

JordanMartinez commented 3 years ago

@garyb Do you want to include this, too? Maybe the alias should be something different (e.g. :~>)?

JordanMartinez commented 3 years ago

@garyb Any thoughts on this PR? It's been open for a while.

garyb commented 3 years ago

I don't really see much use for it, to be honest. Maybe I'm wrong? I've become less enamoured with the normal ~> too though, since I often find I end up needing to change f ~> g to forall a. f a -> g (Maybe a) to and things like that which means it gets in the way :smile:.

JordanMartinez commented 3 years ago

Nah, I agree. ~> does get in the way at various times.