Add Extract and Comonad instances

[paf31]

I'm fairly sure FreeAp w is a Comonad whenever w is. One way to see this is to build it out of Day, Identity and Coproduct:

https://gist.github.com/paf31/fbc28d9f89f511cc65ab57731f31b278

[ethul]

Sounds good. I am refactoring FreeAp currently and doing some performance comparisons. I will look into adding a comonad instance with the refactoring.

On Mon, Nov 28, 2016 at 23:21 Phil Freeman [email protected] wrote:

I'm fairly sure FreeAp w is a Comonad whenever w is. One way to see this is to build it out of Day, Identity and Coproduct:

https://gist.github.com/paf31/fbc28d9f89f511cc65ab57731f31b278

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ethul/purescript-freeap/issues/8, or mute the thread https://github.com/notifications/unsubscribe-auth/AAVYy-ZWPJtund0oB5nlKXqHZmpxtw51ks5rC6hCgaJpZM4K-jU9 .