Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Adding WriterT Monoid #1014

Merged
merged 6 commits into from
May 13, 2016
Merged

Adding WriterT Monoid #1014

merged 6 commits into from
May 13, 2016

Commits on May 2, 2016

  1. Adding WriterT Monoid

    yilinwei committed May 2, 2016
    Configuration menu
    Copy the full SHA
    542b971 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    cfc2ccb View commit details
    Browse the repository at this point in the history

Commits on May 3, 2016

  1. Add monoid law for WriterT

    yilinwei committed May 3, 2016
    Configuration menu
    Copy the full SHA
    5eaaa35 View commit details
    Browse the repository at this point in the history
  2. Remove redundant cats.

    yilinwei committed May 3, 2016
    Configuration menu
    Copy the full SHA
    d48c051 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2016

  1. Use instance hierarchy for WriterT group instances

    In particular, this helps implicit resolution when `F` is `Id`.
    ceedubs committed May 5, 2016
    Configuration menu
    Copy the full SHA
    b8aaf1f View commit details
    Browse the repository at this point in the history

Commits on May 6, 2016

  1. Merge pull request #1 from ceedubs/writert-group-instances

    Use instance hierarchy for WriterT group instances
    yilinwei committed May 6, 2016
    Configuration menu
    Copy the full SHA
    30cf9df View commit details
    Browse the repository at this point in the history