Lamdu commits | Ecosyste.ms: OpenCollective

Rename: Data.Store => Revision.Deltum

github.com/lamdu/lamdu - 89f83c5aefbb9cf84e52d4e8fc183f98737cfdbc authored almost 7 years ago

Warnings: Oops: accidentally added -Wincomplete-uni-patterns

github.com/lamdu/lamdu - 771b4f2bffc865e7cedec1047a7bc553adb79064 authored almost 7 years ago

Warnings: Add -Wmissing-home-modules

* This warns about missing other-modules in .cabal file

github.com/lamdu/lamdu - a0bcda4671053f638e9d1612999a8c7cd505e09f authored almost 7 years ago

Warnings: Add -Widentities

github.com/lamdu/lamdu - 4b8f450f545e52de62d7d7f0aa53ab7cf19a838e authored almost 7 years ago

Warnings: Add -Wincomplete-patterns

github.com/lamdu/lamdu - 180c4d90e62eb6eeefac92fb52015d89642f996b authored almost 7 years ago

dot-ghci: Same warnings as in .cabal

github.com/lamdu/lamdu - 984ef55b26530bcca9d2c3a9f9685b761f2b063f authored almost 7 years ago

dot-ghci: Fix path of cabal autogen

github.com/lamdu/lamdu - cc63975f31d41b631d77c3d8f16fe19a529cef52 authored almost 7 years ago

-Wsemigroup

Note that not using -Wcompat which would also include:
* -Wnoncanonical-monoid-instances which w...

github.com/lamdu/lamdu - 3b0ea90cd8014dc590c2e27a246f35afd2f66bb0 authored almost 7 years ago

Use foldMap

Is there something nicer than `maybe (pure mempty)` in similar cases?

github.com/lamdu/lamdu - 569a97d2f7d003bd3d8b6255016e0bef36726f36 authored almost 7 years ago

add hlint rule

github.com/lamdu/lamdu - 67da3519d99dce90f359f5be1bd82429b1dfd8af authored almost 7 years ago

Remove redundant constraints and use -Wredundant-constraints

Have longed for such a flag but wasn't aware it exists until mentioned in
https://lexi-lambda.gi...

github.com/lamdu/lamdu - e85451344a921ddae46c26f3623b26bf2137ead9 authored almost 7 years ago

.cabal: enable a warning

After reading https://lexi-lambda.github.io/blog/2018/02/10/an-opinionated-guide-to-haskell-in-2...

github.com/lamdu/lamdu - 41d73251ac1e169ae5904028bf46a4fc707b2183 authored almost 7 years ago

Fix partiality discovered using -Wincomplete-uni-patterns

However not adding -Wincomplete-uni-patterns because we use many partial matches on purpose.

github.com/lamdu/lamdu - a31aefb94e47f683064b363f43cbb2ffa267e165 authored almost 7 years ago

Update stack dependencies

Used https://github.com/NixOS/nixpkgs/blob/master/pkgs/build-support/fetchgit/nix-prefetch-git
t...

github.com/lamdu/lamdu - 0a2ef60281395051aee2dfeb186d1e828e287970 authored almost 7 years ago

Semigroup-Monoid proposal changes

Also add some additional warning flags

github.com/lamdu/lamdu-calculus - 94f91c37acbc4a98b7a150b94cb645f6d955f865 authored almost 7 years ago

use lts-10.5

github.com/lamdu/lamdu-calculus - 18f818ffd88b8f82bd09240f44ed5f8562096250 authored almost 7 years ago

Use (<>) from Data.Semigroup

github.com/lamdu/lamdu-calculus - 393ad1a67b0273c4717d8dc904b233feb6ffcd79 authored almost 7 years ago

NameInstance => AnnotatedName

github.com/lamdu/lamdu - 14c433f7cd06feac912ff5fe96485d382cd307fd authored almost 7 years ago

Names.CPS: Add runcps

github.com/lamdu/lamdu - 972ad62e99732d03e36ef91c685df0ee0320e727 authored almost 7 years ago

stack.yaml: Upgrade to lts-10.5

github.com/lamdu/lamdu - 4b9e6421340a27f80fa37f323184f67bd06d0fce authored almost 7 years ago

Names.Add: opGetAppliedFuncName -> opGetName param. Inline p1cpsNameConvertor

github.com/lamdu/lamdu - 7ff09a0003c0204db7b1c25bd483d706eaba7d5d authored almost 7 years ago

Use MonadWriter instead of explicit lifting

github.com/lamdu/lamdu - dcbf8728571527700948d3ecc009dd58bdbd015b authored almost 7 years ago

FastWriter: Export MonadWriter instance

github.com/lamdu/lamdu - 1f10602912977163d0ff7157d5e555d8d9759f5e authored almost 7 years ago

More specific types for assocScope and assocPresentationMode

github.com/lamdu/lamdu - 70a1370af2e2ce3642bcbac7c43cd49c6a905c85 authored almost 7 years ago

Name.Clash: Style

* Put the types up in the top - they tell a nice story
* Convert the Maybe to an informative typ...

github.com/lamdu/lamdu - a193275f6dba5bb3535b05c6428bdb401cf74aad authored almost 7 years ago

Holes: Don't block actions on search term when it is empty

Fix bug when writing "factorial (x-1)" when pressing space before "("
since commit ca3a44688162a...

github.com/lamdu/lamdu - c865b309e2f896770c04ce39a55bdef427eec553 authored almost 7 years ago

Style change: return -> pure

* Leaving "return" where we need to use fmap instead

github.com/lamdu/lamdu - 9c1750e2facddb6b0154e1ab2f1e00a1add41373 authored almost 7 years ago

Style fixes

* bind/return -> fmap / (<$)
* guard instead of Pat <- return ..
* avoid superfluous intermediat...

github.com/lamdu/lamdu - 662a4dc988bc22709038071d790a65593a3cfc9c authored almost 7 years ago

oops accidentally commented line in previous commit

github.com/lamdu/lamdu - 467f0622b5de28789d704921e4aaf2378946bb03 authored almost 7 years ago

Sugar.Composite.cAddItemWithTag

Not yet used in GUI. When it will be used can replace cAddItem.

Note there's some repetition go...

github.com/lamdu/lamdu - 181e3ce6528ae1a32248a31f5e0db0babc28336c authored almost 7 years ago

indent

github.com/lamdu/lamdu - 41c692423d98478dab5ff2468dcae2c395381f97 authored almost 7 years ago

TagSelection parameterized with selection result

Will use to parameterize with EntityId on adding new record field

github.com/lamdu/lamdu - 3185707788718eca87f445eee9ac797a8ad21787 authored almost 7 years ago

extract convertTagSelection

github.com/lamdu/lamdu - 929b1ffa158e15177950d7a4d86254a5d8adc992 authored almost 7 years ago

use record syntax

github.com/lamdu/lamdu - accb393a414ace34a3274fac3304996c24bd12ab authored almost 7 years ago

Name.Walk: extract toComposite function towards Sugar.Types changes

github.com/lamdu/lamdu - aac56be72b72dcf9b9f7a11cecba253a6d4dcf29 authored almost 7 years ago

style cleanup

github.com/lamdu/lamdu - 5c888c734e659bcae9a66de5e8908ed94622cd3f authored almost 7 years ago

remove unused field

github.com/lamdu/lamdu - c95b0bc235f78ffd728cf2ac00dca9e577748b53 authored almost 7 years ago

add comment

github.com/lamdu/lamdu - 55072837fd1d8ac218d29e1131f4b2cc75ac01b3 authored almost 7 years ago

add hlint rules

github.com/lamdu/lamdu - 72eea71d27ef42e17ec2192eeb3ecf09f7198bd7 authored almost 7 years ago

Cleaner types with less partiality for tag selection

github.com/lamdu/lamdu - c20fcbf083064e0c6b9a7eec9e0c020e03f04f33 authored almost 7 years ago

TagOption record rather than tuple

github.com/lamdu/lamdu - 91acfc86bf5c83a4e1fc4ba93acd997e98f7fd7f authored almost 7 years ago

reuse var

github.com/lamdu/lamdu - f3643a3f1d29f529ef4211a659d1dbe12d81b6bb authored almost 7 years ago

Smoother animation when picking existing tags.

Sugar.Types.Tag.tsOptions returns the resulting EntityId for each choice,
allowing for smooth an...

github.com/lamdu/lamdu - b5fc26f803e3f649a6c080c84a1417812c4d316c authored almost 7 years ago

rename TagActions => TagSelection

Towards using it in record for actions to add new field etc.

github.com/lamdu/lamdu - a2690bd86186326b53a66ce78409fcf75504eccf authored almost 7 years ago

Oops pick new tag only changed tag name since commit c75d0fc88

github.com/lamdu/lamdu - c90f8f2cff485497cf9f9d052744c2167f1729ce authored almost 7 years ago

Remove Sugar.Types.Tag.taSetTagPublished

Actions now connected to setting name of tag,
that is logic moved from GUI to Sugar.

Quite a lo...

github.com/lamdu/lamdu - 41b5ef28553d4490fe7296b5c18d3fd9fce9d366 authored almost 7 years ago

add hlint rule, police, extract functions

github.com/lamdu/lamdu - 40f1744cad70238ea842a607272e5652c770b104 authored almost 7 years ago

Del on TagEdit enters tag hole without replacing with new tag.

Only replaces tag when making a choice.

github.com/lamdu/lamdu - c75d0fc88ff33b20ea8f358555d9d9dd668ee670 authored almost 7 years ago

extract module Sugar.Types.Tag

github.com/lamdu/lamdu - f23b249dbf6d517df92a8eba7b7f501a4e816e17 authored almost 7 years ago

Merge pull request #85 from razvan-panda/master

Packaging with Nix

github.com/lamdu/lamdu - 0e226772758094800e290c3ad513c390aca456aa authored almost 7 years ago

extract module HoleEdit.AllowedSearchTerm

github.com/lamdu/lamdu - 3eef1974d7f7dbb0c246aaac5988d27020eca4fc authored almost 7 years ago

"\" is not an operator char, wrapping with lambda happens at expected positions.

Fixes https://trello.com/c/p3anA4Q6/343-lambda-wrap-on-record-fails

github.com/lamdu/lamdu - 88ac74c67b1aa398a4bb4fc88a33bd3d7a6123a3 authored about 7 years ago

Db schema version 1 represents the current schema, verified.

Doing verification by exporting all the data to a json value and seeing it worked.

When can't i...

github.com/lamdu/lamdu - 3c23258ab4a42287fb10f4d6c82909b203cf8851 authored about 7 years ago

Packaging with Nix

github.com/lamdu/lamdu - d7a637436889c9e88b9adb642cddef7e66ab6515 authored about 7 years ago

extract Export.JSON.exportAll

github.com/lamdu/lamdu - 8a3eeae0db224c738a5e06d3c725b2f8dc184b2c authored about 7 years ago

fix comment

github.com/lamdu/lamdu - d50803f04095ca6cc3ae6fa4cbcf9d39fe659752 authored about 7 years ago

Db schema version int

github.com/lamdu/lamdu - 72d9c3097bc7f17482c12a743a02892f74c9465f authored about 7 years ago

extract module Lamdu.Data.Db.Migration

towards adding db version int etc

github.com/lamdu/lamdu - 6519a96c7c440f7dbc04201a1ef976fd57464f9a authored about 7 years ago

Extract module Lamdu.Data.Db

github.com/lamdu/lamdu - 085efec09643277b5fca14065118d6a779bc2185 authored about 7 years ago

rename Lamdu.Data.Db{Init,Layout} to Db.Init etc

github.com/lamdu/lamdu - 7859d294796879f31c39a7a8841759ed7a1e3216 authored about 7 years ago

style: avoid bind

github.com/lamdu/lamdu - d24e9a84fbf1a82d734eb86afcc84d136b84ff82 authored about 7 years ago

add hlint rules inspired by previous commit

github.com/lamdu/lamdu - a3bb3452a3406c3895cdcdb883bae8f29adae0ef authored about 7 years ago

ConvertM: Use MonadReader instance

github.com/lamdu/lamdu - 902793e89835c3803f4378acb5d6e2b975f9f0c6 authored about 7 years ago

Sugar.Convert.Load: Symmetric API for expr/def

github.com/lamdu/lamdu - 2ec87f030c1390afc26cb53e2201029d726f8ebb authored about 7 years ago

Names.Walk: Extract toTagActions

github.com/lamdu/lamdu - 91200860ec40fd9ac095f4255558e3f43efff41e authored about 7 years ago

Names.Add: Rename P0Name fields to p0 prefix

github.com/lamdu/lamdu - 2dd92d16c5eca66966b60f9f786b6ed1a1328b00 authored about 7 years ago

add export command-line action

github.com/lamdu/lamdu - e0bc44ba604f6218343e5f5dcac06375ca9bad08 authored about 7 years ago

Add InternalName

github.com/lamdu/lamdu - 3a156e58afa287f7b26197ab982886b82ed7294e authored about 7 years ago

ParamAddResultNewTag: No need for TagInfo, just EntityId

github.com/lamdu/lamdu - a8ffd2e7b312d46b3141ca55d0b4bf8ca5eb1241 authored about 7 years ago

Binder.Params: Use mtl-style for getP/setP

github.com/lamdu/lamdu - 007e6cae639c737bb577c1b40eda35585a24237d authored about 7 years ago

Sugar actions that change tag return the entity id of the new tag, not tag info

github.com/lamdu/lamdu - 2d411ea7566f2c250ea0fb98309bbb55c8fe98c3 authored about 7 years ago

Move BinderMode: Sugar.Types.{Binder => GetVar}

github.com/lamdu/lamdu - 6633afa5153733578bd2d79d2c5368a94b3c2405 authored about 7 years ago

Data.Anchors: Style

github.com/lamdu/lamdu - d9aa4f65b616954a85495eefee9612cd3abfc710 authored about 7 years ago

Shadowing inner tags do not disable outer field param sugaring

github.com/lamdu/lamdu - b8204b0cf90e66500dd4847d5ad3b5d1036d4057 authored about 7 years ago

addChildReplaceParents -> setChildReplaceParentActions

github.com/lamdu/lamdu - c2f927df19021bb20f06e297e523ef9f53baa566 authored about 7 years ago

Fix deletion of let-items

Bug probably introduced when adding NodeActions to binders?

github.com/lamdu/lamdu - 16cced3d3c523350be3d17c6fd434608d97a403f authored about 7 years ago

Fix replace-parent of let items and bodies

Properly remove the let-item instead.
Also:
* Replace parent of body only remove a single let-it...

github.com/lamdu/lamdu - b818d759074fe491c1d9c39dfee2b259da41abf6 authored about 7 years ago

minor style cleanup

github.com/lamdu/lamdu - 55fc77c9df8d667215f923b0043fc6489a94f4e9 authored about 7 years ago

lens style

github.com/lamdu/lamdu - d140e579ec5f5a1fc9880340e3d7069e879790aa authored about 7 years ago

extract addReplaceParents

github.com/lamdu/lamdu - 9dc497285cd2715764c3fd670bc83eb2eb785b33 authored about 7 years ago

Fix extraction of let items failing in some cases - attempt 2.

BinderEdit needs to have actions also when there are no params -
so you can further extract let-...

github.com/lamdu/lamdu - a82d2c696cb9fc27c6d91803726c15ac42da4c26 authored about 7 years ago

Revert "Fix extraction of let items failing in some cases."

This reverts commit 0a00b8cbfdee5830888006fb6dab556eae67f324.

(Too bad I didn't write in that r...

github.com/lamdu/lamdu - 68747ab4aa167622a50b77d69705a2cc9e386480 authored about 7 years ago

Fix extraction of let items failing in some cases.

This occured since 1cefa21beef23daf954e78e8d58dc439b46c9981,
which added NodeActions for Binders...

github.com/lamdu/lamdu - 0a00b8cbfdee5830888006fb6dab556eae67f324 authored about 7 years ago

Use extract from NodeActions instead of float

github.com/lamdu/lamdu - 2201348b38fd44a42eb237486c2e17b9be63d0ce authored about 7 years ago

Merge pull request #2 from razvan-panda/master

Fix build on NixOS

github.com/lamdu/nodejs-exec - 52379f87e955418b109d467d125bd9dc28db4f37 authored about 7 years ago

Fix build on NixOS

github.com/lamdu/nodejs-exec - 2045b123bf0793fc9cde53e18f257102db19d8b3 authored about 7 years ago

hlint police

(with github version of hlint because working on PR for it)

github.com/lamdu/lamdu - fa2411ef1737c92d5cfd308d56ac98aa692a8fb8 authored about 7 years ago

Add hlint rule

Based on commit df8b5090c259f408623967126e68d9fc6581fc61

github.com/lamdu/lamdu - 6c0459c529f799a3eb302e496af6c1d39b8c43c3 authored about 7 years ago

remove redundant event adding

(event already added)

github.com/lamdu/lamdu - 676494c01e60d7ce0433c8977798333b968928ab authored about 7 years ago

fix evaluation results of rec-extends

github.com/lamdu/lamdu - 620246c82b1c41855f79510fc752b43322b0690d authored about 7 years ago

JS: reuse codeGenFromLamStmts

github.com/lamdu/lamdu - 021623ea3f1c1c3c9533beab22af632af7babdc2 authored about 7 years ago

oops duplicated call to rts.logRepl(repl);

github.com/lamdu/lamdu - 11b285d6e15f73313afe6becc2a8c0f5aa288a18 authored about 7 years ago

Fix anim-id clash

When else clause is an IfElse directly (not in a direct computation lambda),
there was an anim-i...

github.com/lamdu/lamdu - b2de78ec44819655233356f9839023c3a0e29141 authored about 7 years ago

oops fix warning

github.com/lamdu/lamdu - 71e6b0a4f914faf894a126a3e3a8e123eb862321 authored about 7 years ago

Add ElseIf node actions.

Adding the UI for these is more complicated,
as there are two ui layout options for IfElse,
and ...

github.com/lamdu/lamdu - f79f1d757032851e7103f9128eba507dfd0f0aa5 authored about 7 years ago

Sugar.Else now contains all ElseIfs within.

Towards adding NodeActions to it.

github.com/lamdu/lamdu - b2b5516baa0a430bef472b904ebbc6fa13f28d96 authored about 7 years ago

Extract common part of IfElse and ElseIf clauses - the IfThen row

github.com/lamdu/lamdu - 0146021060ec209693ec584100efccc061cef92d authored about 7 years ago

cleanup: get less parameters

github.com/lamdu/lamdu - b26633297a79d658796a5818c6e872a5513d7bb4 authored about 7 years ago

rename Guard sugar to IfElse sugar

While "Guards" are familiar to haskellers, if-else is how we present it and much more familiar p...

github.com/lamdu/lamdu - 6ad0d474ecd54986ffd7f6adb9143e605f1664f0 authored about 7 years ago

Fix #325 - tab also jumps to outdated defs

github.com/lamdu/lamdu - 83a70248c9824736cf79d73ba1828e6c66aa03fc authored about 7 years ago