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

Added tests for Option #27

Merged
merged 1 commit into from Mar 25, 2017
Merged

Added tests for Option #27

merged 1 commit into from Mar 25, 2017

Conversation

aballano
Copy link
Member

Also made Some a data class for the equals implementation.

Made Some a data class for equals impl
Copy link
Member

@raulraja raulraja left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We may consider adding here test for laws until we have something like discipline to test functor, monad... Laws or do it in a separate PR later for all types.

@raulraja raulraja merged commit 0094fd4 into master Mar 25, 2017
@aballano aballano deleted the add-option-tests branch March 25, 2017 14:45
dominv pushed a commit to dominv/arrow that referenced this pull request Jul 9, 2018
Fix text on HTML Builder example
juanpedromoreno pushed a commit that referenced this pull request Sep 17, 2019
* .

* 1 try

* further fix

* further fix
raulraja pushed a commit that referenced this pull request Sep 18, 2019
* first commit

* First sample

* Add resources to README.MD

* Sample check for purity that illustrate the ClassBuilder phase

* Update README.md

* Update README.md

* added intro info's about IR

* removed unness. parts in IR

* removed unness. parts in IR

* added further resources on IR

* walk function subexpressions and check for purity

* fix compiler addition

* WIP

* finding all callable expressions and type checking them against purity

* Add Jetpack Compose to list of plugin examples

* Update README.md

* Add note on Google having forked Kotlin and not having public sources

* evaluating order of compiler phases based and extensions delegation

* Add extensions invocation order

* Meta DSL progress

* Subscribing to newMethod, newField and newAnnotation on class builder generation

* Update README.md

* more progress

* remove .DS_STORE from git

* progress checkpoint

* progress checkpoint

* progress checkpoint

* progress checkpoint

* Mutate the compiler context with main services discovered in earlier analysis phase

* moar progress

* small cleanup before sharing with JB

* clean up

* clean up

* Clean up

* Clean up

* toward automatic type alias generation

* automatic type alias generation

* update kotlin version and more progress attempting to intercept calls and type resolution

* get a sample of gradle and idea plugin compiling

* minor improvements and fixes

* BOOM! implicit kinded conversions work!

* clean up

* clean up

* merge Adrians work

* Finding datatype, type class and instance based on @extension

* progress prototyping type class resolution

* Port of the most interesting parts of KEEP 87 over to the compiler plugin

* enable the ExtensionResolutionCallChecker

* Progress on the callchecker resolution

* reflection utilities to intercept compiler services

* Functions can now resolve `@with` arguments in their lexical scope

* Suppress `NO_VALUE_FOR_PARAMETER` when an extension is properly resolved.

* Ability to suppress any diagnostic given a CallCheckerContext

```kotlin
fun CallCheckerContext.suppressDiagnostic(f: (Diagnostic) -> Boolean): Unit
```

* approach to match and unapply tree based on code snippets

* quasiquote DSL progress

* intercepting class generation with quotes, only matching on name for now

* Initial Draft of the Higher Kind plugin based on quotes

* Added modality in visibility

* remove bogus import

* move trim margins up to processing

* support for kinds of N arity up to 22

* rename type parameters identifier

* class matching DSL cleanup and simplification of the model for codegen

* injection prototype working with type class package instances

* auto insert with scopes

* Support for `fun`, `val`, `object` and `class` providers of type class extensions

* utils clean up

* findExtension cleanup

* IR transformations as meta functions

* IR transformations as meta functions

* Error reporting for ambiguous extensions

* `with` injection supported in class members

* clean up and more todos

* support for internal orphan extensions

* progress with comprehensions rewrites

* progress with comprehensions rewrites

* extracting flatMap calls from bindings presence

* binding comprehensions as tree rewrites, working but lacking type checking

* failing comprehensions rewrite example due to binding variables and order

* failing comprehensions rewrite example due to binding variables and order

* clean up

* clean up

* First steps into Idea support (#21)

* some tries

* gradle is the right one

* revert to regular jar

* init

* init

* autofold plugin with innerSealedSubclass

* stash invest.

* improvements in autofold

* formating cleanUp

* fix gradle plugin

* merged with rr-typeclass

* cleanUp

* working HKplugin & Autofold init

* safe

* Move to kotlin-compiler package

This change updates the compiler plugin to use the unshaded
`kotlin-compiler` package instead of the `kotlin-compiler-embeddable`
package, as to prevent it from clashing in IntelliJ.

* added autofold plugin

* working runIde task

* added report message

* added license and fixed comments

* cleanUp

* Revert "First steps into Idea support (#21)" (#23)

This reverts commit 83ca625.

* clean Up (#26)

* fix type class resolution and plugin publishing, still need to autoinject compiler free args

* gradle plugin jar cleanUp & fix (#27)

* .

* 1 try

* further fix

* further fix

* progress with IDEA discovery shadowing and running the plugin in IDEA. Analysys not yet working

* synth resolution progress

* synth resolution progress on file save

* synthetic methods and names working!

* more synthetic resolver methods

* getSyntheticNestedClassNames

* synthetic package fragment provider

* automatic synth resolution working based on local build output

* progress on type class resolution on the IDE

* IDE body resolution accounting type class injected symbols

* Initialize IDE component registration earlier

* Merge master and some debug output for next iteration

* package organization

* package organization (:compiler-plugin)

* remove core and consumer modules

* idea reorg

* Update README.md

* Moving arrow-meta-prototype into its own subdirectory

* Moves arrow-meta-prototype into the proper subdirectory
@JorgeCastilloPrz JorgeCastilloPrz mentioned this pull request Oct 15, 2019
ambrusadrianz pushed a commit to ambrusadrianz/arrow that referenced this pull request Oct 22, 2019
rachelcarmena added a commit that referenced this pull request Feb 24, 2021
* Remove all tests that do not belong to optics

* Remove Law, GenK and add `arrow-core-test` dependency
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants