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
Open
Changes from all commits
Commits
Show all changes
85 commits
Select commit Hold shift + click to select a range
13df9dd
Type Classes via natural extensions in Kotlin
raulraja Oct 2, 2017
7494c84
Adapted code examples to new proposed syntax https://github.com/Kotli…
raulraja Oct 2, 2017
a5f9659
Fixed typo
raulraja Oct 3, 2017
de8032b
Included section on overcoming `inline` `reified` limitations as show…
raulraja Oct 4, 2017
47e1348
Adapt proposal examples to new style using `given`
raulraja Oct 9, 2017
eb4f687
replace `extension class` for `extension object` where possible addre…
raulraja Oct 10, 2017
3777fa6
added imports to code examples
raulraja Oct 10, 2017
374e848
Add language changes and instance resolution rules order
raulraja Oct 12, 2017
2f2f27e
fixed wrong type param reference
raulraja Oct 24, 2017
3b568bf
code review comments on `most` vs `immediately`
raulraja Nov 7, 2017
7d10901
Reverted to use `typeclass` and `instance`
raulraja Nov 7, 2017
f8dce43
Added sentence clarifying the Reified example.
raulraja Nov 12, 2017
323a550
`Monoid.empty` is a value
fvasco Feb 19, 2018
a105496
Use IntMonoind in the example
fvasco Feb 27, 2018
505619c
Specify package in 'with'
fvasco Feb 27, 2018
115a483
Remove extra import in example 4
fvasco Feb 27, 2018
8a7dd15
Merge pull request #4 from fvasco/import4
raulraja Apr 9, 2018
8a74e37
Merge pull request #1 from fvasco/empty-value
raulraja Apr 9, 2018
20976f6
Merge branch 'master' into IntMonoind_empty
raulraja Apr 9, 2018
73b5d33
Merge pull request #2 from fvasco/IntMonoind_empty
raulraja Apr 9, 2018
7027bde
Merge pull request #3 from fvasco/intext_package
raulraja Apr 9, 2018
4a98c86
Using extension keyword
fvasco Apr 10, 2018
0496c73
Fix lambda declaration
fvasco Apr 11, 2018
da913fe
Compile resolution rules #4 clarification
fvasco Apr 11, 2018
6a10e93
Merge pull request #5 from fvasco/extension-interface
raulraja Apr 11, 2018
00d6aca
Update type class KEEP
Jun 25, 2018
d47eeef
Merge pull request #6 from ClaireNeveu/master
raulraja Jun 28, 2018
f495563
Update type-classes.md
raulraja Jun 28, 2018
d70f40c
Remove out-of-date section.
Jun 28, 2018
23b5276
Merge pull request #7 from ClaireNeveu/master
raulraja Jun 28, 2018
4671389
anonymous parameter clarification (#8)
fvasco Jun 29, 2018
84d16ce
Update proposal based on the initial implementation (#10)
truizlop Nov 14, 2018
b632229
Fix misuse of encoding (#9)
pakoito Nov 14, 2018
2a8b95a
Linguistic improvements within type-classes.md (#11)
TAGC Nov 15, 2018
3b74240
Fix typo: The intro… allow -> The intro… allows (#12)
LouisCAD Apr 10, 2019
5f7b61c
Updates contributors list.
JorgeCastilloPrz Apr 11, 2019
ce47c2e
Renames keep file.
JorgeCastilloPrz Apr 11, 2019
2417af2
First pass on Summary and Motivation.
JorgeCastilloPrz Apr 11, 2019
34d89c8
Description first pass.
JorgeCastilloPrz Apr 11, 2019
97f772f
Pass over inline reified section.
JorgeCastilloPrz Apr 11, 2019
c6835ea
Pass over composition and chain evidences section.
JorgeCastilloPrz Apr 11, 2019
9b6c6fd
Pass over Language changes section.
JorgeCastilloPrz Apr 11, 2019
f4ba65a
Polish Language changes a bit.
JorgeCastilloPrz Apr 11, 2019
ae5c0a7
Review resolution order.
JorgeCastilloPrz Apr 11, 2019
8c0737a
Remove type constructors section.
JorgeCastilloPrz Apr 11, 2019
eff56ad
Remove reified and inline generics section.
JorgeCastilloPrz Apr 11, 2019
33f55fc
Improve resolution order and add error reporting.
JorgeCastilloPrz Apr 11, 2019
988c8a9
Adds how to try sections.
JorgeCastilloPrz Apr 11, 2019
94a1a99
Polish how to test sections.
JorgeCastilloPrz Apr 11, 2019
bcbd746
Ploishes Orphan instances description a bit.
JorgeCastilloPrz Apr 11, 2019
dfc0b64
Completes first pass.
JorgeCastilloPrz Apr 11, 2019
a4fd7f4
Adds more details to some sections.
JorgeCastilloPrz Apr 11, 2019
a32eaa5
Adds some details to description.
JorgeCastilloPrz Apr 11, 2019
c811a73
Moar polishments.
JorgeCastilloPrz Apr 11, 2019
e6ba5e6
Fixes a typo.
JorgeCastilloPrz Apr 11, 2019
5485db1
Fixes a typo.
JorgeCastilloPrz Apr 11, 2019
ed8561e
Fixes a typo on a snippet.
JorgeCastilloPrz Apr 11, 2019
535c453
Includes horizontal composition in Summary.
JorgeCastilloPrz Apr 12, 2019
fba1db3
Updates repo to use Map property and adds A.save() extension.
JorgeCastilloPrz Apr 12, 2019
c563312
Update proposals/compile-time-dependency-resolution.md
raulraja Apr 12, 2019
21aeaed
swap How to try approaches.
JorgeCastilloPrz Apr 12, 2019
3dd43f5
Merge branch 'jc-keep-rewording' of github.com:47deg/KEEP into jc-kee…
JorgeCastilloPrz Apr 12, 2019
c8bf869
Fixes a typo in one of the snippets where a monoid was wrongly mentio…
JorgeCastilloPrz Apr 12, 2019
7792dd7
Adds proper package to User definition snippet.
JorgeCastilloPrz Apr 12, 2019
67c8f3e
Polishes wording over resolution order.
JorgeCastilloPrz Apr 12, 2019
6ba2577
Drops implicits from comparison.
JorgeCastilloPrz Apr 12, 2019
87d1c43
Fix wrong typing in loadById call sites.
JorgeCastilloPrz Apr 12, 2019
531711d
Rethink wording about named extensions.
JorgeCastilloPrz Apr 12, 2019
bd1416d
Rethink wording about named extensions.
JorgeCastilloPrz Apr 12, 2019
7bed642
fix conflicts.
JorgeCastilloPrz Apr 12, 2019
87eafe6
Remove FP constructs mentions from Error reporting screenshots.
JorgeCastilloPrz Apr 12, 2019
3753301
Refactor keep to reflect proper wording on first resolution scope.
JorgeCastilloPrz Apr 12, 2019
951ea3d
Reflect how syntax becomes available in methods and functions bodies.
JorgeCastilloPrz Apr 12, 2019
297e65f
Adds fun and val extension providers to the TODO list.
JorgeCastilloPrz Apr 15, 2019
071d6b7
Adds both big still open issues to the KEEP.
JorgeCastilloPrz Apr 15, 2019
6ac0d48
Uploads and links fixed Keep87Sample zip project using proper interna…
JorgeCastilloPrz Apr 15, 2019
e564b61
Adds clarification for internal modifier requirement in some scopes.
JorgeCastilloPrz Apr 15, 2019
21003c6
Switches chained to nested wording.
JorgeCastilloPrz Apr 15, 2019
83a1a94
Adds internal flag to required snippet extensions.
JorgeCastilloPrz Apr 15, 2019
abcd547
small lang changes
MaureenElsberry Apr 16, 2019
46e6a34
Merge pull request #14 from 47deg/jc-keep-rewording
JorgeCastilloPrz Apr 17, 2019
e863b25
Move Group data class to GroupRepository (#15)
bloderxd Apr 18, 2019
d488d79
Update compile-time-dependency-resolution.md
bassjacob May 5, 2019
78f5459
Merge pull request #16 from bassjacob/patch-1
JorgeCastilloPrz May 5, 2019
da6a274
Update proposals/compile-time-dependency-resolution.md
raulraja May 31, 2019
File filter...
Filter file types
Jump to…
Jump to file or symbol
Failed to load files and symbols.

Always

Just for now

ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.