Skip to content

Add Pointed instances to types from kan-extensions#19

Open
mstksg wants to merge 3 commits intoekmett:masterfrom
mstksg:kan-extensions
Open

Add Pointed instances to types from kan-extensions#19
mstksg wants to merge 3 commits intoekmett:masterfrom
mstksg:kan-extensions

Conversation

@mstksg
Copy link

@mstksg mstksg commented May 4, 2019

Thank you for the great library :)

Just a small patch that adds Pointed instances for all of the types from kan-extensions that I could imagine instances for. For those that are Applicative, I believe pure = pointed.

Let me know if there's anything I can fix in this :)

@mstksg
Copy link
Author

mstksg commented May 4, 2019

I did notice something weird; Co could get a Pointed instance if the lifted comonad was Copointed, I believe, but this is tricky because neither module seems to imports the other, so such an instance is not possible without an asymmetric import.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant