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.

Sign up for GitHub

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

Jump to bottom

Generalize ApplyBuilder to Monoidal structures #555

Merged
merged 11 commits into from Dec 11, 2015
Merged

Generalize ApplyBuilder to Monoidal structures #555

merged 11 commits into from Dec 11, 2015

Commits on Oct 15, 2015

  1. Generalize ApplyBuilder to Monoidal.

    @julienrf
    julienrf committed Oct 15, 2015
    Configuration menu
    Copy the full SHA
    00e5ab4 View commit details
    Browse the repository at this point in the history

  2. wip laws

    @julienrf
    julienrf committed Oct 15, 2015
    Configuration menu
    Copy the full SHA
    1073bbe View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2015

  1. Add Monoidal laws: left identity, right identity and associativity.

    @julienrf
    julienrf committed Nov 18, 2015
    Configuration menu
    Copy the full SHA
    f195da0 View commit details
    Browse the repository at this point in the history

Commits on Nov 19, 2015

  1. Merge remote-tracking branch 'origin/master' into monoidal-functors

    @julienrf
    julienrf committed Nov 19, 2015
    Configuration menu
    Copy the full SHA
    a85c8ea View commit details
    Browse the repository at this point in the history

  2. add Const monoidal contravariant tests

    @julienrf
    julienrf committed Nov 19, 2015
    Configuration menu
    Copy the full SHA
    0139389 View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2015

  1. remove identity laws

    @julienrf
    julienrf committed Nov 21, 2015
    Configuration menu
    Copy the full SHA
    7ddb6a7 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into monoidal-functors

    @julienrf
    julienrf committed Nov 21, 2015
    Configuration menu
    Copy the full SHA
    4e5de08 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2015

  1. fix tests

    @julienrf
    julienrf committed Nov 22, 2015
    Configuration menu
    Copy the full SHA
    ecd307e View commit details
    Browse the repository at this point in the history

Commits on Dec 8, 2015

  1. Merge branch 'master' of https://github.com/non/cats into monoidal-fu… 

    …nctors
    @julienrf
    julienrf committed Dec 8, 2015
    Configuration menu
    Copy the full SHA
    58b4319 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2015

  1. Merge branch 'master' of https://github.com/non/cats into monoidal-fu… 

    …nctors
    @julienrf
    julienrf committed Dec 9, 2015
    Configuration menu
    Copy the full SHA
    4b7d967 View commit details
    Browse the repository at this point in the history

Commits on Dec 10, 2015

  1. Merge branch 'master' of https://github.com/non/cats into monoidal-fu… 

    …nctors
    @julienrf
    julienrf committed Dec 10, 2015
    Configuration menu
    Copy the full SHA
    9e84c04 View commit details
    Browse the repository at this point in the history