Lamdu commits | Ecosyste.ms: OpenCollective

Types DRY: Unify AddNextParam and AddFirstParam

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

Remove partiality in sugar

github.com/lamdu/lamdu - bd611a9561375d7479bc48cc11c33d5cfd80a151 authored about 3 years ago

Move functions used only in AssignmentEdit to it

github.com/lamdu/lamdu - aee7a44f2c461ec0edb1bf7bf9922032a875b18f authored about 3 years ago

Records: Can reorder fields and add fields at various positions

TODO: Seems prepending field (by starting to type when on first tag) doesn't put it first as it ...

github.com/lamdu/lamdu - 073dd6c8cf9c8405a175dab62d22bdd72e9ffa1b authored about 3 years ago

Reduce partiality in AssignPlain type

github.com/lamdu/lamdu - abcd68046a28144a862f2d8604201090a093ffd5 authored about 3 years ago

StatusBar: hlint police

github.com/lamdu/lamdu - caeaa1f22a6707fd75e9b6a34643290bec166e1b authored about 3 years ago

StatusBar: StatusWidget contains action to generate widget rather than the widget

github.com/lamdu/lamdu - a44b1f8e2273b0644febd979d9f78f2b33e6e075 authored about 3 years ago

StatusBar: refactor makeSwitchStatusWidget

github.com/lamdu/lamdu - 0cc4682ed393462e35f4b018dedf9959808b026d authored about 3 years ago

Oops mixed up keys for reordering params

github.com/lamdu/lamdu - be3a3a514e74980ef33d4633cd01365535161f6c authored about 3 years ago

GUI.Settings: Refactor makeStatusWidgets to use sequenceA

github.com/lamdu/lamdu - 9d6d65301285824ac9f80eb73854f7a05cd50f37 authored about 3 years ago

Fixed ordering keys being flipped in right-to-left languages

github.com/lamdu/lamdu - 5664da9cf547e24dd541d3086d133869cd2ad516 authored about 3 years ago

StatusBar.StatusWidgets: Refactor to a traversable

github.com/lamdu/lamdu - d64ed121f3242d15ccc3fa36832913eba043a36a authored about 3 years ago

TaggedList gets keys (for reuse for record/case)

github.com/lamdu/lamdu - f952ecfc49d1dab19a329514820ed402cc5070ea authored about 3 years ago

TaggedList UI gets help category

github.com/lamdu/lamdu - f7bb8688b71ae0ab8fa5a08657ef48af4ce07ca0 authored about 3 years ago

More hierarchal help texts

github.com/lamdu/lamdu - e3ebc3051d7bede9326acd7fd8f3d2d728cb3f98 authored about 3 years ago

addParamId => addItemId, towards reuse of TaggedList GUI

github.com/lamdu/lamdu - f2fc796f8402425c3a97ddf048a82c42edbdb50c authored about 3 years ago

Help texts: Use hierarchy to group actions together and reduce i18n effort

Should also enable more code reuse

github.com/lamdu/lamdu - dc625b20eb3e6c352b4a39d9a129b6929117e5cd authored about 3 years ago

Oops fix wrong help text

github.com/lamdu/lamdu - 656ddce043d48bff5e392d4574d3184fc80e5680 authored about 3 years ago

hlint police

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

DRY from previous commit

github.com/lamdu/lamdu - 4403b8a24257748b7b107f8ca24a6eeaa366617a authored about 3 years ago

Extract Lamdu.Gui.TaggedList towards reuse for records and cases

github.com/lamdu/lamdu - d4288ba2ce1eaabb828eeb587c0811f37e224124 authored about 3 years ago

Remove ParamEdit.Info

github.com/lamdu/lamdu - 991810b6607171919b1f0b9babfb636526385ca5 authored about 3 years ago

ParamEdit.Info becomes internal

github.com/lamdu/lamdu - 0444cfc2d1f4f90ec3e126c2286711924e063a26 authored about 3 years ago

Simplify ParamEdit.Info towards getting rid of it

github.com/lamdu/lamdu - e4965db4fb84fce27c9a840448f94d99c9d20b57 authored about 3 years ago

Remove namedVarParamEditInfo

github.com/lamdu/lamdu - 9ebf259a651912d03c88043b2d62fa6490b65ec5 authored about 3 years ago

Extract ParamEdit.addAddParam towards replacing ParamEdit.Info

github.com/lamdu/lamdu - a82977962d53c4edbbde80c6f399688db72c297a authored about 3 years ago

Extract ParamEdit.paramDelEventMap towards replacing ParamEdit.Info

github.com/lamdu/lamdu - b44c148d550a8b41d6f906fb321ae9411e3cbbaf authored about 3 years ago

Remove nullParamEditInfo

github.com/lamdu/lamdu - d81856967e5c00da36f993bf2053bc20984bc138 authored about 3 years ago

Extract ParamEdit.addAnnotation towards replacing ParamEdit.Info

github.com/lamdu/lamdu - 6c9d74d956ec7ed0b61684d85e5967dd063352c4 authored about 3 years ago

Record params reuses TaggedList

github.com/lamdu/lamdu - b554a8ce290594693a88e8b218da34440d0668c6 authored about 3 years ago

Better navigation destinations when deleting record fields and case alts

github.com/lamdu/lamdu - 61008f4d0b3cd956ff5846febd709411ac724be4 authored about 3 years ago

Fix animation bug when deleting record fields or pattern match alternatives.

The tag's instance-id was generated by the row-extend's rest expression identity.
If a field was...

github.com/lamdu/lamdu - 4cb07194f0edd60e3653ec3da0208943e3c29bc4 authored about 3 years ago

Refactor: group parameters in Convert.Tag to record

github.com/lamdu/lamdu - e5db09f67f402f75034e0b4fcf259161a0ed2e57 authored about 3 years ago

Minor cleanups

github.com/lamdu/lamdu - 6e6629851e1d4414f3b33ff7cd426a06e5328cc4 authored about 3 years ago

TagChoice wrapped with i action, towards animations improvements and cleanups

github.com/lamdu/lamdu - 481b245f65895c11a14e17dd9ffb16df58b9ee6e authored about 3 years ago

Cleanup: Remove duplicated parameter

github.com/lamdu/lamdu - d6b0dad9de3306c57dd90a89ff548c8eacb83d94 authored about 3 years ago

Refactor: simplify Composite.convert

github.com/lamdu/lamdu - 85b72fe7fd603e3c4b01fa24e237621a7bd3fa11 authored about 3 years ago

Add simple test program to demonstrate the animation change of previous commit

github.com/lamdu/lamdu - fe98661a4d56b4b1527064b398d1894e362175fb authored about 3 years ago

Animation improvement for record closer

Now when adding/deleting fields the record closer moves.
Before, the last comma turned into it a...

github.com/lamdu/lamdu - be57b01fed9cdcf1694b33f7a4f58554727a024e authored about 3 years ago

Missing lenses

github.com/lamdu/lamdu - bd82ac55a7599628ee370f99d5a0f10f6c303244 authored about 3 years ago

Test doesn't create weird lambdas with no/single fields in parameter record

github.com/lamdu/lamdu - 0238e1ccc3b639faa95b8fb242a6dd4661d8b23a authored over 3 years ago

Refactor weird postProcessActions logic

Delete actions were created different from other functions..
Note that the test def-with-params ...

github.com/lamdu/lamdu - e37ff8f9798c76e8426db7fc1470d43997df6b22 authored over 3 years ago

inline one-liner instance

github.com/lamdu/lamdu - f453503cd1fbb71fe9fbd8c1e7505b40524d7f39 authored over 3 years ago

taggedListItems traversal actually on TaggedList

github.com/lamdu/lamdu - 05f5cb851b17cd7a7808e71422620cdfcbdcb1a1 authored over 3 years ago

Less partiality: instead of Maybe set to anon-tag, only available where relevant

github.com/lamdu/lamdu - e8a2390fc6baf7a3b651bc029341b60581a390ed authored over 3 years ago

Simplify TagChoice: no need to report ids of newly created expression

GUI can do the same features without requiring this from Sugar AST

github.com/lamdu/lamdu - 9505f0696844d2d27ba51c9f8c95069ac03359cd authored over 3 years ago

Generalize TaggedList, towards reuse in function params

github.com/lamdu/lamdu - c1df7e9b4c94f945e4641c4e952c820f90310b05 authored over 3 years ago

orderByTag less error prone, orders within items too

Also now ordering the items is applicative and doesn't require monad

github.com/lamdu/lamdu - a3a43f2da4d4f2911085b26d8dc5d5430fb44423 authored over 3 years ago

Move TaggedList to Sugar.Types.Parts

The module division was such that only stuff that has to be in Types.Expression,
due to cyclic d...

github.com/lamdu/lamdu - 0232cc8760e50f5afb4e569f2c516d041ba08199 authored over 3 years ago

TaggedList type, supporting reordering for lists of 2 items and more. Ordering not implemented yet.

github.com/lamdu/lamdu - 3f79f7d0ca76390abc968633e2d92a7562191c12 authored over 3 years ago

Dead code police using weeder

github.com/lamdu/lamdu - 1e6719171889afe00417b2d27147bdea392e0bf0 authored over 3 years ago

Update bindinges-freetype-gl dep for easier build on macOS

github.com/lamdu/lamdu - 2e8c21cdbddd84af451b95e291d4c00b15801be1 authored over 3 years ago

Merge pull request #3 from lamdu/curl

Use curl instead of wget (#2)

github.com/lamdu/bindings-freetype-gl - 440ee6a7a5f25ebc24e087d0d3ea9f588da6bb93 authored over 3 years ago

Use curl instead of wget (#2)

github.com/lamdu/bindings-freetype-gl - 144c8d06b589d2323cdd9516b09dbdfff31f24fb authored over 3 years ago

TaggedList: tlAddItem => tlAddFirst

github.com/lamdu/lamdu - afc2d9c9bc4780ae4ce6550f65c2bac7c074fc41 authored over 3 years ago

AssignmentEdit: DRY

github.com/lamdu/lamdu - 8a651b7b412393cc2391e3f4a4bf26a1c715da94 authored over 3 years ago

TagOrder: inline orderParams

github.com/lamdu/lamdu - a25ce20939867c09c1587bdee5722de926d4cebf authored over 3 years ago

Remove binderFuncParamActions

github.com/lamdu/lamdu - bd7d13175acc9dfdafb741411d265926688e7ec4 authored over 3 years ago

Convert.Composite: Inline 'addItem'

github.com/lamdu/lamdu - d2334c4af1f6759dca899fc6883e31e09af0386d authored over 3 years ago

Distinguish VarParam[Info] from RecordParams[Info] for less partiality

github.com/lamdu/lamdu - d19e9628ae289f250308694636555eb0b37658a9 authored over 3 years ago

Towards ordered add items

github.com/lamdu/lamdu - a9a2ecc7621fefb3d3dfd7ecc6cf3b7d00f46314 authored over 3 years ago

Use TaggedList record syntax

github.com/lamdu/lamdu - bac4f3d5d5095e9e8444be9df5f7bbd7dc4a5949 authored over 3 years ago

Fix typo: gsr -f binderAmiguity///binderAmbiguity

github.com/lamdu/lamdu - a0b7d4ac98ff7f342c9922c2099f430f5f4bb413 authored over 3 years ago

Inline FuncParamActions

github.com/lamdu/lamdu - 34e53ae5e60c35ee60e5c025bc6cd33d81d01e33 authored over 3 years ago

FuncParam does not need 'name' type parameter

github.com/lamdu/lamdu - d768b04af3e38014bf7446d494ee9f01b91c072d authored over 3 years ago

Composite embeds list of TaggedItems

github.com/lamdu/lamdu - c6a3d908c18857afb71718099c3fcbfa3c4c70bf authored over 3 years ago

Composite embeds a TaggedList

github.com/lamdu/lamdu - 7da6805fb5ef81e9fec19d5e0d8c9189636521d4 authored over 3 years ago

Extract AnnEval

github.com/lamdu/lamdu - 6ec9cce4637286e77b80fec2171deb383238e341 authored over 3 years ago

CaseEdit: makeAltsWidget decomposes the TaggedList

github.com/lamdu/lamdu - f167c81adaf8f13ad9427d5c37ed0243564d3e63 authored over 3 years ago

Export tags from nominal definitions

github.com/lamdu/lamdu - 695eca267a02d6a94eb722112788894ae0b46649 authored over 3 years ago

Replace tag support for nominal params

github.com/lamdu/lamdu - 81d28efcbc7848c6dc615c9c7d4a2c04f6b8fe29 authored over 3 years ago

Opaque nominal params in codec

github.com/lamdu/lamdu - 9e116bccdb1f46642fd8c614394e3962bae35c17 authored over 3 years ago

Sugar converts nominal params (missing opaque params)

github.com/lamdu/lamdu - 7f632a4fc2d86354168a3804afff5732406024fd authored over 3 years ago

Display nominal type parameters

github.com/lamdu/lamdu - 40bef4b3555d2613498c58bad5c9ba61d99ca171 authored over 3 years ago

Reader.Instances: Semigroup/Monoid instance for ReaderT

github.com/lamdu/lamdu - 502a654f518d52131264dea6ab409a2467a49ed0 authored over 3 years ago

Type view styling

github.com/lamdu/lamdu - 1e59c464c2073f511a2802da54864d52c0868374 authored over 3 years ago

Don't rename type parameters used in types

github.com/lamdu/lamdu - 8c3fd4f94f8a6083dcf0efaa3445b2eefb90fcf2 authored over 3 years ago

remove redundant constraint

Also remove TODO,
It's not difficult to use HasQVarIds in constraints in two places that get the...

github.com/lamdu/lamdu-calculus - 724c0423f5c8737acd1d0637b904c7b3216c980c authored over 3 years ago

hlint police

github.com/lamdu/lamdu-calculus - 12f1ddc9b72cee18b87c7ed19a7661b8610f078c authored over 3 years ago

changes in cabal file (autogen)

(only in git because nix needed this in submodules)

github.com/lamdu/lamdu-calculus - d2a1717ca864e7497b6fe5e5849af8c8a2f94d66 authored over 3 years ago

Lens: Add qVarIds for types, rows, and QVars nominal constraint maps

github.com/lamdu/lamdu-calculus - 4876da8f515670cefc18e58aa00a0839bf08ff9a authored over 3 years ago

Bump min-version for hypertypes in the correct place (package.yaml)

github.com/lamdu/lamdu-calculus - 75d598331cf61a5a7afe420ad402a09664644da7 authored over 3 years ago

Inline convertNominalTypeBody

github.com/lamdu/lamdu - 90c43108e925dcd65c5dbee958ec45cf6acfa0c1 authored over 3 years ago

Codec version 15

github.com/lamdu/lamdu - acc943781c0d4f87053561942eca433b6923e218 authored over 3 years ago

Eval.JS: Don't use HashMap directly

aeson will also transition from it.

github.com/lamdu/lamdu - afd04a5857a6536e2d549e87bf9f9b4c19b9eb24 authored over 3 years ago

Migration: Use Aeson.Object type alias

github.com/lamdu/lamdu - fb26629ff09205ec89510751f130ac6248f34ba1 authored over 3 years ago

Remove unused 'params' param

github.com/lamdu/lamdu - 6a1dd93a441cdbc40ae69c5617294723fe2aee74 authored over 3 years ago

Nominals: Restructure type correctly

github.com/lamdu/lamdu - bca618241a1c3f5f2193ddde8b9a3b534ae2deac authored over 3 years ago

ConvertTag: de-generalize type for clarity

github.com/lamdu/lamdu - 029f0b7b70f5d876fc36be5a8bcd9a99a84ab6de authored over 3 years ago

Bump min-version for hypertypes

github.com/lamdu/lamdu-calculus - 8032285e9f3222f16eef4b922740d53534fb6f78 authored over 3 years ago

Fill holes in type

github.com/lamdu/lamdu - 231d3ff16ed475464f1c50837ecfa5abdb6df9dd authored over 3 years ago

Update lamdu-calculus dep

(for _Var prism)

github.com/lamdu/lamdu - 1cbba8e494d6c7cb68f3732d6b9b7915227897cc authored over 3 years ago

Revert "Add custom hie.yaml file"

It appears now that HLS works without it and may be confused with it.

This reverts commit 36d0b...

github.com/lamdu/lamdu - b4e4024926d1edf5c30d1ae270d780ad4c3bcd47 authored over 3 years ago

Missing Monoid instance for OnceT

github.com/lamdu/lamdu - f0c88707842319550b352fff1d45fc90a43777bb authored over 3 years ago

Add missing optic

github.com/lamdu/lamdu-calculus - 465e72336178a94694b81a03273c2f1044b98148 authored over 3 years ago

Update deps

github.com/lamdu/lamdu-calculus - eb2521587a5b6c01b8fe16de3d8e5535f1edd639 authored over 3 years ago

Add types for nominal type parameters

github.com/lamdu/lamdu - a64a7bde2302a46a02b873bec6c43b4851b14006 authored over 3 years ago

Extract NominalPane module

github.com/lamdu/lamdu - 9ea29b95ea60439f475a4af03bf9873d26fd7aea authored over 3 years ago

JumpToNominal class rather than TId.convert doing unnecessary work

github.com/lamdu/lamdu - ca1d6ab0a64531352b8b658a83864d81e642c34d authored over 3 years ago

hlint police use imap, and haddock parse warnings

github.com/lamdu/lamdu - fa90ab336261f8505b6407a6e73a788265293c74 authored over 3 years ago