search

Gabriella439 / Haskell-MMorph-Library

Monad morphisms
BSD 3-Clause "New" or "Revised" License
47 stars 26 forks source link

Add a type for natural transformations #27

Closed np closed 8 years ago

np commented 8 years ago

The servant-server package is defining a data type to hold a natural transformation (https://hackage.haskell.org/package/servant-server-0.4.4.6/docs/Servant-Server-Internal-Enter.html).

I claim that such a type needs a more appropriate home.

I was wondering if mmorph could be a good place.

fizruk commented 8 years ago

@np have you seen natural-transformation?

Gabriella439 commented 8 years ago

Yeah, I think natural-transformation is a natural home for this and I believe the (:~>) type from that package does what you want