search

Gabriella439 / Haskell-MMorph-Library

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

PolyKinded MFunctor. #30

Closed jkarni closed 7 years ago

jkarni commented 7 years ago

Fixes #29.

My editor removes trailing whitespace, but I can undo that if you'd prefer minimal diffs.

Gabriella439 commented 7 years ago

No problem at all! Whitespace changes are fine

Thank you for the contribution :)

treeowl commented 7 years ago

@Gabriel439 I don't see how this does anything whatsoever. As far as I can tell, nothing here can be poly-kinded. Am I missing something?

fizruk commented 7 years ago

@treeowl compare

class MFunctor (t :: (* -> *) -> * -> *)

vs

class MFunctor (t :: (k -> *) -> k -> *)
treeowl commented 7 years ago

Ah, it's not quite as general as you said (it's actually

class MFunctor (t :: ( -> ) -> k -> *)

But I was definitely wrong.

On May 16, 2017 3:27 AM, "Nickolay Kudasov" notifications@github.com wrote:

@treeowl https://github.com/treeowl compare

class MFunctor (t :: ( -> ) -> -> )

vs

class MFunctor (t :: (k -> ) -> k -> )

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/Gabriel439/Haskell-MMorph-Library/pull/30#issuecomment-301698919, or mute the thread https://github.com/notifications/unsubscribe-auth/ABzi_VjwcYQoHSFJeyrYtLilMRfeaHB1ks5r6U_4gaJpZM4KvAsA .