Skip to content

Add Pointed instances to types from kan-extensions - #19

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

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

Conversation

@mstksg

@mstksg mstksg commented May 4, 2019

Copy link
Copy Markdown

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

mstksg commented May 4, 2019

Copy link
Copy Markdown
Author

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