Lamdu commits | Ecosyste.ms: OpenCollective

add quick-check based test for GridView sanity

was in doubt when stubmled upon a bug during development but seems ok

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

More usable Show instance for Vector2

The previous instance produced results that can't be pasted to ghci..

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

Status bar color

github.com/lamdu/lamdu - 1409159f22b9ae76884aaaf263d21ba8218739ec authored almost 7 years ago

add hlint rule

redundant hbox since commit 27d87a6aa7569fa55607176e56127606024987c6

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

Status bar is included in scrolled area.

If you are scrolling you may as well need the space for the code you are reading..

(Also fixes ...

github.com/lamdu/lamdu - 34a878f18cd4bfbb702ce83fe8f1e343f5d21f4b authored almost 7 years ago

Status bar

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

VersionControl event map applies everywhere (to branch selector too)

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

Branch selector uses ExplicitEntry

github.com/lamdu/lamdu - 8dd2dd90b0a3a2b924a389cde576c35cdae86248 authored almost 7 years ago

Choice: Hover when expanded

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

Branch selection on top

github.com/lamdu/lamdu - 7563b2b712fcc3631b8b151f0f31a662cdebeb4d authored almost 7 years ago

Add test to verify no broken deps in freshdb (and fix the broken dep currently in it)

Currently only testing definition deps as noms can't be edited yet.
The test has found only the ...

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

Stdlib: IO functions to query a postgres db

Requires to: npm install pg

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

Test some properties on the color schemes. Tweaked some colors accordingly.

github.com/lamdu/lamdu - 2c6a4b81345a129e3113ad27849c54a19ddce693 authored almost 7 years ago

switching themes doesnt apply pre-events

github.com/lamdu/lamdu - 42e6d6e5828f7b2d6e664239ac209a69ecf625e4 authored almost 7 years ago

rename TestJsonCodecMigration=>Tests towards adding more tests

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

Hover: Generalize instances

github.com/lamdu/lamdu - 733671faaa48c79a8c7625183ea178e042c3c867 authored almost 7 years ago

Hover: Extract emplaceAt

* This is simpler than hover, and can take a temporary widget which already
hovers and set its...

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

Hover: Keep the 'Hover' type-tag when glueing widgets

Now requires 'Hover' type tag when using hoverInPlaceOf.

* This guarantees we don't forget to h...

github.com/lamdu/lamdu - 9331388bad569990f2854ea5a1bf7d75c8d26f88 authored almost 7 years ago

GUI.Choice: More idiomatic

github.com/lamdu/lamdu - 47c9c08858821f690262616df92540fa6a4ec02c authored almost 7 years ago

More idiomatic API for version control GUI

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

Settings module in charge of theme and settings changes event map

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

Extract withMVarProtection to outer layer

github.com/lamdu/lamdu - 033fc8a8a39444fa40f29e60222beade619a5161 authored almost 7 years ago

Remove redundant import

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

Revision.Deltum.Property -> Data.Property

github.com/lamdu/lamdu - 6d04d4f6f81372f741136b116a3c74a6941d4fd5 authored almost 7 years ago

Rename InfoMode -> AnnotationMode consistently

github.com/lamdu/lamdu - 2a5f0f0121585cdd2b45bf2b8f6878da162e0fe3 authored almost 7 years ago

Theme: style

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

Extract GUI.CodeEdit.AnnotationMode

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

generalize type

github.com/lamdu/lamdu - 27961fd78de89d25b50971ae80779fd8c72b6742 authored almost 7 years ago

Sugar.Lens.holeTransformExprs

DRY and also makes sure the name-walks etc work on the single result.

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

unused extensions police

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

Lamdu.cabal: split library and executable so tests can depend on library

fixes warnings given by stack build.

note that switching between "stack build" and "stack test"...

github.com/lamdu/lamdu - 61219c77902d37ef0ba314e73bdbc795edf4e94a authored almost 7 years ago

Add a test to the JSON codec migration.

It has a whole lot of build depends - perhaps it would be better to split Lamdu to a
library and...

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

More specific imports and avoidance of unnecessarily importing graphics-drawingcombinators

It would be nice to have if tests that don't need graphics could be built without them,
though n...

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

Prefer case-sensitive matches

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

Improve edit distance check

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

Revert "Revert "HoleEdit.ResultGroups are fuzzy matched""

This reverts commit aedb882743b35fa04f9724ae2485c8b67336c041.

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

Fuzzy searching: New take

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

Revert "HoleEdit.ResultGroups are fuzzy matched"

This broke completions of variables and made naming inconvinient.

Symptoms:
Type "factorial x =...

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

Memoize fuzzy set creation

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

HoleEdit.ResultGroups are fuzzy matched

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

Generalize Fuzzy to support multiple texts for each item

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

Lamdu.Prelude: Add traceIdVia

github.com/lamdu/lamdu - 9308704d649f02071d813d4b3e123ef36689de5e authored almost 7 years ago

Extract Lamdu.Fuzzy

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

TagEdit: Use the fuzzyset package to fuzzy-match

Fixes #355

github.com/lamdu/lamdu - 8534aaf5388893a53b6fec39720dc3ab13390d3e authored almost 7 years ago

Rename: NameEdit -> NameView

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

Inline NameEdit.makeBareEdit into TagEdit

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

NameEdit.styleNameAtBinder -> Styled.nameAtBinder

github.com/lamdu/lamdu - 633baaf01f6d3580ab4e2bcc66b51e31f9ab8cf1 authored almost 7 years ago

Generalize: NameEdit.withNameColor -> Styled.withColor

github.com/lamdu/lamdu - 59e543eeee7e1b6fe64e8a7beb3f93f97319af25 authored almost 7 years ago

ConfigSampler: Callback upon update causes refresh

Fixes #348

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

Wake up the idle event loop when scheduling a refresh

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

actionables are underlined

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

Theme.underlineWidth=>wideUnderlineWidth

* In preparation for narrowUnderlineWidth

github.com/lamdu/lamdu - 075d448cb72297a1d334408ec2d05a88886aee81 authored almost 7 years ago

Extract Styled.actionable for actionable (button) texts

github.com/lamdu/lamdu - 53f2668b411d9abeb20590af8e56d433d5f658e4 authored almost 7 years ago

Add info color

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

TypeView has its own color

github.com/lamdu/lamdu - 890c11d7ac7336d7f29bb918d690c6a4adca7a37 authored almost 7 years ago

New layout for update type

github.com/lamdu/lamdu - 0532de93d3f8cac874685e53aeafacfe00a10d3a authored almost 7 years ago

Align.toWithTextPos for completeness

github.com/lamdu/lamdu - 2518e5b66fd536246139025e058d7ad7c67c52cb authored almost 7 years ago

Extract Align.fromWithTextPos

github.com/lamdu/lamdu - 90df0c3ccb89bcb54e7798971aa6a3da9c4a2dc7 authored almost 7 years ago

Refactor definitionTypeChangeBox

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

Generalize config: newDefinitionButtonPressKeys -> actionKeys

github.com/lamdu/lamdu - 30e1bc0979cf83b2471195d9c3a8a10ffad45f44 authored almost 7 years ago

Rename: newDefinitionActionColor => actionTextColor

github.com/lamdu/lamdu - 35d8aabca87ac7208f994443a6460478c1d54209 authored almost 7 years ago

'Update to' in frozen deps update uses actionTextColor

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

Only 'Update' in 'Update to' is actionable

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

Use actionTextColor for 'Create new' tag option

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

EvalView: EvalView may temporarily encounter non-byte strings when type changes

github.com/lamdu/lamdu - 6fa81ecee4a2f4cbf7e67bf4c5488a084fae141a authored almost 7 years ago

Only simple LHS tag views have chars choose new tag

Fixes #363

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

New tag -> New name or just 'New'

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

HoleEdit: ExactMatch is both for the search term and its definite part

Fixes #340

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

Rename: Preferred->ExactMatch

github.com/lamdu/lamdu - 6137820a9dc687b64a261022cfb6bcd415a1fb8e authored almost 7 years ago

oops fix previous commit not updating schema version int

(both in migration itself and when loading jsons)

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

Schema version 5: sum -> variant

* All "sum" keys in the JSON codec become "variant"

github.com/lamdu/lamdu - 6058e18fedbdd56578bb806a12c1124d6b497e0c authored almost 7 years ago

Rename: CodeJam -> JSExport

github.com/lamdu/lamdu - 31f945b99b83969f46c257513eb0df2f67e906d0 authored almost 7 years ago

Rename: CaseTag -> VariantTag

github.com/lamdu/lamdu - 255072ad5ac45d377e1c1bc4a1664fff14384126 authored almost 7 years ago

Revert accidental JSON format change (via git-search-replace in 44abb95dd82b6498928e7250e5bd26ec382a1509)

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

Tags holes in LHS show names in bold

Fixes https://trello.com/c/wk1Ko4RH/352

github.com/lamdu/lamdu - 2b1083712e54da704c8154b31a807b0841034ae3 authored almost 7 years ago

Renames: Sum -> Variant, Product -> Record

github.com/lamdu/lamdu - 44abb95dd82b6498928e7250e5bd26ec382a1509 authored almost 7 years ago

Update ghc-prof-options for newer ghc versions (-auto-all and -caf-all were deprecated)

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

hlint police + style

github.com/lamdu/lamdu - 109c200b755be71886ac10949dd2fc297ecf14e8 authored almost 7 years ago

Renames: Product -> Record

github.com/lamdu/lamdu-calculus - 560de341a268b51e51d745007adb3270eb9f5d5d authored almost 7 years ago

Renames: Sum -> Variant

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

add NodeActions.wrapInRecord (in Sugar, not yet exposed in GUI)

towards https://trello.com/c/BbHuvZxI/308

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

Tag hole requires exact match for single letter tags

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

Holes with no results behave better

Fixes #303

github.com/lamdu/lamdu - 230317851d866a4e7845f2247887beb743795026 authored almost 7 years ago

Menu.Search: Rename searchMenuId -> myId

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

Menu.Search: Style

github.com/lamdu/lamdu - 6b67f42021c5f332a58b86f44c94a6032c103258 authored almost 7 years ago

remove superfluous RankNTypes usage

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

DRY in ElseIfContent/IfElse

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

add hlint rule

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

rts.js: use async nodejs operations.

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

JS backend better supports nodejs async model

Mut actions get callbacks to run after them.

github.com/lamdu/lamdu - 9802c96020c4bb8e6a11c46128d2486b6595e636 authored almost 7 years ago

oops - rts.js function returned bad data

broken in 52fdd5d87ebe4fbe5a54862a5e7c5834388e0825

github.com/lamdu/lamdu - 15507480078a36d5edb461d1da01f67e7bce1315 authored almost 7 years ago

Revert "remove some superfluous ids"

This caused update def type button to crash..

This reverts commit e38ed256ab42397650f5f9b21b6da...

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

oops compiler should disambiguate functions with same tag

(broken in prev commit)

github.com/lamdu/lamdu - 06b0590ab90aa2edf42b7fce6651fef70707f404 authored almost 7 years ago

Fix tag names in exported JS.

Broken in tag reform 001a67dba2d0f75f1abdb965a54a56e5b8f9380a

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

add hlint rule

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

rts.js: DRY using mutFunc helper func

github.com/lamdu/lamdu - 52fdd5d87ebe4fbe5a54862a5e7c5834388e0825 authored almost 7 years ago

remove incomplete FFI defs

FFI defs from rts.js not mentioned in freshdb.json removed.

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

js arrow functions dont need parens

github.com/lamdu/lamdu - 13ac74fa492745881507d2f1dd00b16267f8829b authored almost 7 years ago

lint js with jshint

github.com/lamdu/lamdu - 820248dae61470fbefddd625ebd0cfccb3347350 authored almost 7 years ago

Light lambdas only used in multi-param lambdas

Broken since tag reform 001a67dba2d0f75f1abdb965a54a56e5b8f9380a

github.com/lamdu/lamdu - 05dcf732d3f01b4271a8701f68e2ec04861b3d77 authored almost 7 years ago