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

Compile-time Extension Interfaces #87

Open
wants to merge 85 commits into
base: master
from
Commits on Oct 2, 2017
Commits on Oct 3, 2017
  1. Fixed typo

    raulraja committed Oct 3, 2017
Commits on Oct 4, 2017
Commits on Oct 9, 2017
Commits on Oct 10, 2017
Commits on Oct 12, 2017
Commits on Oct 24, 2017
Commits on Nov 7, 2017
  1. Reverted to use `typeclass` and `instance`

    raulraja committed Nov 7, 2017
    Based on #87 (comment) reverting to be explicit so there is no ambiguity as to what type classes and their instances are
Commits on Nov 12, 2017
Commits on Feb 19, 2018
  1. `Monoid.empty` is a value

    fvasco committed Feb 19, 2018
Commits on Feb 27, 2018
  1. Use IntMonoind in the example

    fvasco committed Feb 27, 2018
  2. Specify package in 'with'

    fvasco committed Feb 27, 2018
Commits on Apr 9, 2018
  1. Merge pull request #4 from fvasco/import4

    raulraja committed Apr 9, 2018
    Remove extra import in example 4
  2. Merge pull request #1 from fvasco/empty-value

    raulraja committed Apr 9, 2018
    `Monoid.empty` is a value
  3. Merge pull request #2 from fvasco/IntMonoind_empty

    raulraja committed Apr 9, 2018
    Use IntMonoind in the example
  4. Merge pull request #3 from fvasco/intext_package

    raulraja committed Apr 9, 2018
    Specify package in 'with'
Commits on Apr 10, 2018
  1. Using extension keyword

    fvasco committed Apr 10, 2018
Commits on Apr 11, 2018
  1. Fix lambda declaration

    fvasco committed Apr 11, 2018
  2. Merge pull request #5 from fvasco/extension-interface

    raulraja committed Apr 11, 2018
    Using extension keyword
Commits on Jun 26, 2018
  1. Update type class KEEP

    Claire Neveu
    Claire Neveu committed Jun 25, 2018
Commits on Jun 28, 2018
  1. Merge pull request #6 from ClaireNeveu/master

    raulraja committed Jun 28, 2018
    Change Type Class Proposal to eliminate Implicit Arguments, make the interfaces coherent
  2. Update type-classes.md

    raulraja committed Jun 28, 2018
  3. Remove out-of-date section.

    Claire Neveu
    Claire Neveu committed Jun 28, 2018
  4. Merge pull request #7 from ClaireNeveu/master

    raulraja committed Jun 28, 2018
    Remove out-of-date section
Commits on Jun 29, 2018
  1. anonymous parameter clarification (#8)

    fvasco authored and raulraja committed Jun 29, 2018
Commits on Nov 14, 2018
  1. Update proposal based on the initial implementation (#10)

    truizlop authored and raulraja committed Nov 14, 2018
    * Update proposal based on the initial implementation
    
    * Add suggested changes from comments
  2. Fix misuse of encoding (#9)

    pakoito authored and raulraja committed Nov 14, 2018
    * Fix misuse of encoding
    
    * Fix typos
Commits on Nov 15, 2018
  1. Linguistic improvements within type-classes.md (#11)

    TAGC authored and raulraja committed Nov 15, 2018
    * Linguistic improvements within type-classes.md
    
    I've tried to improve the use of language within the proposal without making any changes to the proposal itself.
    
    I'd encourage that these changes be carefully reviewed individually, since some are just typographical / grammatical corrections whereas others are minor stylistic changes that you might disagree with.
    
    In particular, different conventions are adopted throughout the document, so I've tried to standardise the conventions used. For example, the headers are a mix of title case ("Type-Side Implementations") and sentence case ("Composition and chain of evidences"), so I've changed them all to sentence case. I've also made all items within lists end with full-stops, except the number list in "Type Class Instance Rules". "Type classes" has occasionally been spelt as "typeclasses", so I've fixed all occurrences to "type classes".
    
    I've rewritten some sentences completely in ways that I find are clearer, but you might not agree.
    
    I've made some minor formatting changes, such as standardising comments within code snippets to have a single space after the `//`.
    
    * Further linguistic and formatting improvements
    
    Improves formatting and the use of language within new additions to the proposal.
    
    Re-applies changes that were originally made but lost following prior PR merges.
Commits on Apr 10, 2019
Commits on Apr 11, 2019
  1. Renames keep file.

    JorgeCastilloPrz committed Apr 11, 2019
  2. Moar polishments.

    JorgeCastilloPrz committed Apr 11, 2019
  3. Fixes a typo.

    JorgeCastilloPrz committed Apr 11, 2019
  4. Fixes a typo.

    JorgeCastilloPrz committed Apr 11, 2019
Commits on Apr 12, 2019
  1. Update proposals/compile-time-dependency-resolution.md

    raulraja and JorgeCastilloPrz committed Apr 12, 2019
    Co-Authored-By: JorgeCastilloPrz <jorge.castillo.prz@gmail.com>
  2. fix conflicts.

    JorgeCastilloPrz committed Apr 12, 2019
Commits on Apr 15, 2019
Commits on Apr 16, 2019
  1. small lang changes

    MaureenElsberry committed Apr 16, 2019
Commits on Apr 17, 2019
  1. Merge pull request #14 from 47deg/jc-keep-rewording

    JorgeCastilloPrz committed Apr 17, 2019
    KEEP rewording
Commits on Apr 18, 2019
  1. Move Group data class to GroupRepository (#15)

    bloderxd authored and raulraja committed Apr 18, 2019
    As proposed on PR #87 I think it makes sense to move `Group` class to the example that it's used, what do you think?
Commits on May 5, 2019
  1. Update compile-time-dependency-resolution.md

    bassjacob committed May 5, 2019
    add an example of how to apply an extension to a function using the bound variable name. 
    
    this is useful for when a function has some members with default values that may not be supplied on invocation, but the user still wants to supply an extension.
  2. Merge pull request #16 from bassjacob/patch-1

    JorgeCastilloPrz committed May 5, 2019
    Update compile-time-dependency-resolution.md
Commits on May 31, 2019
  1. Update proposals/compile-time-dependency-resolution.md

    raulraja and pablisco committed May 31, 2019
    Co-Authored-By: Pablo Gonzalez Alonso <pabs87@gmail.com>
You can’t perform that action at this time.