Lamdu commits | Ecosyste.ms: OpenCollective

Update test to reflect if-edit improvement

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

Rudimentary literal bytes editor

Fixes https://trello.com/c/USxtq6Un/457-oops-removed-way-to-enter-literal-bytes

github.com/lamdu/lamdu - 212a038b60cfc2c015464e4143b774331da571fe authored over 3 years ago

SearchMenu: strongerEvents on menu, not on search term

github.com/lamdu/momentu - 290882bd56897d19275de2088664f660ea465f99 authored over 3 years ago

Default Setup: Cmd+Q quits

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

textedit: Opt out of partial-type-signatures warning inside .hs file

github.com/lamdu/momentu - 88b7f49f5c2ffd01eecdf0231b33e8d2a7c8405f authored over 3 years ago

.ghci, .cabal: Disallow partial type sigs

github.com/lamdu/momentu - a777faba801401200e3687cf3b46d0c29e3de113 authored over 3 years ago

Momentu.Setup: Oops: Help style used wrong font size

github.com/lamdu/momentu - b0986285072ac8e9425f6ca88e05253ce8e3ef26 authored over 3 years ago

DRY: makeLiteralCommon

github.com/lamdu/lamdu - 09569a0f19d7b9424492fd5b4216fc2b6764e474 authored over 3 years ago

If-else WYTIWYS fix - typing colon in condition goes to then-clause

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

hypertypes change

github.com/lamdu/lamdu - 5e1ea652a32212d52c193803d90876893dfef81b authored over 3 years ago

Add instance

github.com/lamdu/hypertypes - b3382e1d233c3aaa74c7845247d1bd533301a58a authored over 3 years ago

Generalize recursiveContexts (#5)

github.com/lamdu/hypertypes - cb7bf3513728bb38718b42b4df52541d53ac0744 authored over 3 years ago

Remove redundant language pragmas

(for extensions already enabled globally)

github.com/lamdu/hypertypes - 66c4de6f8ac9785b382bbb78fa019244d2532c3a authored over 3 years ago

hiso helper for defining Iso on HFunctors

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

Add decompose, todo: better name?

github.com/lamdu/hypertypes - b3b8ea9f5cbb6fa41c50078e1e14b5826ea60453 authored over 3 years ago

Holes results: Avoid suggesting open records for definition parameters

Fixes https://trello.com/c/CDseN2kF/337-apply-forms-for-open-types

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

Fragment option to wrap expr in record

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

Fix nominal and lambda fragment options not being enterable

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

Inject actions are WYTIWIS

Deleting an injected value turns it to nullary inject,
and parens on nullary inject turn it into...

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

Lambdas syntax: always with lambda symbol

* More similar to light lambda syntax
* More WYTIWYS - it now makes sense to write "\" for lambdas

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

Holes/fragments rewrite!

Much cleaner UI for fragments, and also much cleaner code for fragments and holes.

Notable addi...

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

Changes in generated .cabal

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

Reapply "SearchMenu: editing search term stronger than option events"

This reverts commit f3b2140103f7a3651ad145eb90a9300b7b27c52a.

github.com/lamdu/momentu - 3a48fade8a2389386145eaf5d905b7fae0aa7811 authored over 3 years ago

Remove hole and fragments completions functionality temporarily

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

Update hypertypes, simplify imports

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

Hyper.Unify exports UVar

Would simplify imports in user code (Lamdu)

github.com/lamdu/hypertypes - de21cb3bb17018b929e71be863a48b640524888d authored over 3 years ago

HApplicative is a constraint synonym rather than a class

github.com/lamdu/hypertypes - b368b56bf2bdf945e4baece12b92b56bf3126b42 authored over 3 years ago

Remove superfluous README

github.com/lamdu/momentu - 520afd0a3bb3bf9d70b848e211f652310c30c6f2 authored over 3 years ago

Momentu: Extract Momentu.Setup, Momentu.Window

github.com/lamdu/momentu - 715c5b406394c62066ee6e4c41dbc204481c4091 authored over 3 years ago

Cleanup: reuse stdWrapParentExpr

For a reason I don't understand in 7ff52128ab02e I changed the code
to not use it. I can't under...

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

Fix WYTIWYS breakage when adding second parameter since a666cc164d4658

github.com/lamdu/lamdu - 8116e15f6383dfb90a0221f1a31d19be14ff5483 authored over 3 years ago

Remove redundant import

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

Add hlint rules

github.com/lamdu/lamdu - 456691ed7201d075f48ce0b8739a05d0c03860dc authored over 3 years ago

hlint police

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

generated cabal file changes (upgraded stack)

github.com/lamdu/hypertypes - e9f971cab81bf34350108e45a8ae8ea7323955e4 authored over 3 years ago

hlint police

github.com/lamdu/hypertypes - ac717ce054b7621757193d7e1bd4d6e936b6d36a authored over 3 years ago

Use Lens.locally / hlint police

github.com/lamdu/momentu - 4df85092df9ef63d7a8e8550b4b82b8c444a8372 authored over 3 years ago

Export local from Lamdu.Prelude

github.com/lamdu/lamdu - 7383f98ce4e83a7f928c1b301405fed278cce742 authored over 3 years ago

hlint police

github.com/lamdu/momentu - f1a35907aec1f18f55512ead5e9afaf1e09604fc authored over 3 years ago

Update momentu: empty TextEdit selectable by clicking anywhere within it

* This makes mouse move to "Goto" widget much easier

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

TextEdit: EnterResult rect is the whole TextEdit

* Rather than the specific cursor

* This allows clicking anywhere on the "empty" text to select...

github.com/lamdu/momentu - 136f28f027be13b657ca0c12ba74522590297aa8 authored over 3 years ago

Upgrade momentu (Fixes #502)

https://trello.com/c/QZMSc0hQ/502-wrong-mouse-click-position

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

Update package.yaml

github.com/lamdu/momentu - 3567d4b296f7eb10113dc35276178d26268f265b authored over 3 years ago

examples/textedit: Remove mtl dependency

github.com/lamdu/momentu - ae15866ea5ca399ba6f99749b259af4f7f3c3328 authored over 3 years ago

Remote redundant imports

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

TextEdit: Fix cursor positioning

* Cursor positioning (geometric/point-based enter) is done via
textPositions which takes kerni...

github.com/lamdu/momentu - d4d49e00bb5cf9e9e29133a5daec44d55ddc17f1 authored over 3 years ago

Font: Add textPositions for correct positioning of all offsets in rendered text

* This also avoids unnecessary drawing for pure computation

github.com/lamdu/momentu - 47dd590bc9f6022dfffcab340b7d56b554fc321c authored over 3 years ago

.gitignore: Add stack.yaml.lock

github.com/lamdu/FreetypeGL - 18ca298d8fd48ad18f75264553b57714bf070c77 authored over 3 years ago

Upgrade stack.yaml

github.com/lamdu/FreetypeGL - 080985f23d942b467b490ba6b6e5ac6d2b4268e1 authored over 3 years ago

Expose TextBuffer.addChar

github.com/lamdu/FreetypeGL - f3b3e206411d021f6b87d1989a9d8c52cba251af authored over 3 years ago

Expose TextureGlyph, glyphAdvanceX, glyphAdvanceY, glyphKerning

github.com/lamdu/FreetypeGL - fcdf66fc47dc11c1985c22a2b448c0e82d9622eb authored over 3 years ago

Add .dir-locals.el

github.com/lamdu/FreetypeGL - 73577f27ecfa6ba31bd2c437adee1dc4c92ea1ea authored over 3 years ago

examples/textedit: Right-aligned glueing of the text edits

github.com/lamdu/momentu - b63e072c932b4b62846f2ccab1252c56a173026a authored almost 4 years ago

TextEdit: Comprehensive Deps, size maxed against both empty text sizes

github.com/lamdu/momentu - d359c952a261f209814376b5eb80b51027fde521 authored almost 4 years ago

TextView: Export HasStyle

github.com/lamdu/momentu - 63166a80b7d12a7a621b595042281efd6de69b0b authored almost 4 years ago

use lens

github.com/lamdu/hypertypes - ed65faa95d4089753c1df8ab587c4c3d185c42b7 authored almost 4 years ago

Use lens / hlint police

github.com/lamdu/lamdu - ad441542ade3ba90d93efcebac62e0c92d65640b authored almost 4 years ago

Add examples/textedit

github.com/lamdu/momentu - 97d6df0f59da72cbfb79c3d173f21b69e8be9f6a authored almost 4 years ago

Add a richer default env type

github.com/lamdu/momentu - 95c8a640c00ff696b241dd37e56a193e85791e77 authored almost 4 years ago

TextEdit should export HasStyle

github.com/lamdu/momentu - a27b72c73bc2bc128265f454c5faa32516b5d613 authored almost 4 years ago

Update Momentu

github.com/lamdu/lamdu - f373c9665f0f8fdfcf7d9a09a730cea1da7d1a7c authored almost 4 years ago

Make clicking on actionables possible (Fixes #504)

https://trello.com/c/rB3FNqP8/504-new-not-clickable

github.com/lamdu/lamdu - 5d70842462656ad97e84ab2fbe9a2f44d8fc15fa authored almost 4 years ago

fix nix

github.com/lamdu/lamdu - 1bffd59d058162de7fa5df4d4369587123051471 authored almost 4 years ago

Tests: Add HasCallStack contexts

github.com/lamdu/lamdu - 94f51ce1da7acfd4b2e53bf8bd383ac4e9965b56 authored almost 4 years ago

Revert "SearchMenu: editing search term stronger than option events"

This reverts commit cd7bfab136d6d82647c25bfbcee7214a0aedd4b5.

github.com/lamdu/momentu - f3b2140103f7a3651ad145eb90a9300b7b27c52a authored almost 4 years ago

Add GUI.Momentu.Widgets.Clickable

github.com/lamdu/momentu - 3e5e38b556eb10d7195be0956f86576987d1b62e authored almost 4 years ago

Add .ghci

github.com/lamdu/momentu - 6ee5d5e48b80ddc3bb507c21a965f9b8d8a19aa9 authored almost 4 years ago

Update .gitignore

github.com/lamdu/momentu - 1507e815fc5dfd0fcc2972815495ac198b21fcad authored almost 4 years ago

Revert "Create empty record without choosing them as completions, like typing numbers or literal text"

This reverts commit 9de9516bb1c7844ffb935be7a5bb75e62dd24f1f.

When suggested value in hole is a...

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

HoleEdit: holeMatches actually filters results

github.com/lamdu/lamdu - ac70bc6b226d14717a07d3aa5c1f533d95122d5b authored almost 4 years ago

SearchMenu: when navigating geometrically to menu don't place cursor on actual text edit

github.com/lamdu/momentu - 3ea42205ca1b2df615f871b739a328d4a23e5bc1 authored almost 4 years ago

SearchMenu: editing search term stronger than option events

github.com/lamdu/momentu - cd7bfab136d6d82647c25bfbcee7214a0aedd4b5 authored almost 4 years ago

cabal file specifies one file instead of data-dir

github.com/lamdu/momentu - 9fe6c6c00a16699ac3fec142ffce5db88159d5eb authored almost 4 years ago

add weeder conf

github.com/lamdu/momentu - 1702430cfbc83876d5a71b586a3695415064c250 authored almost 4 years ago

hlint police

github.com/lamdu/momentu - cfff9260313364bc97f3a636ea740a30d82bb6c2 authored almost 4 years ago

Use lens

github.com/lamdu/lamdu - a9cea2b338451a880747b405e3b4defebd2003f2 authored almost 4 years ago

hlint police

github.com/lamdu/hypertypes - e24b581056cd423fd900f85a0ee32355a200ce97 authored almost 4 years ago

Simplify/generalise sum-type

The various reasons why we don't offer fragments don't matter at the moment,
so the separation f...

github.com/lamdu/lamdu - f18c15306321c4fb8b906c45c783da348c37b429 authored almost 4 years ago

hlint police

github.com/lamdu/lamdu - de2605717ec0470d64de971c6c7f511358aa5a38 authored almost 4 years ago

Oops: wrap inside and outside of apply if needed to make apply work

* Also remove handling of type check error that is no longer possible

github.com/lamdu/lamdu - 29b5d6ef22c91f48c5c632b5ab4b7b67c3b1939e authored almost 4 years ago

ExprEventMap: Avoid incorrect fresh literal num during editing literal num

github.com/lamdu/lamdu - 8f31dae5196fd75811bb0ad4f83ceaa35cf90ebf authored almost 4 years ago

When trying to apply, minimize fragmentation

github.com/lamdu/lamdu - b1e122d7d2f4e8e36c185f4b3718b86de710f2f3 authored almost 4 years ago

Injects can be applied

github.com/lamdu/lamdu - 51f1edb98c576f7637e2d5a3299a9eb74770f6ef authored almost 4 years ago

Convert.Expression.Actions: Clarify that mApply is always there

github.com/lamdu/lamdu - e3ac59aabd4ed85811ed7f3aead18bd94fc6c8a8 authored almost 4 years ago

Cleanup: Sugar.Payload has more things instead of a parameterized payload

The previous parameterization which is needed for expressing sugaring passes in types,
move to p...

github.com/lamdu/lamdu - d00023efd7f3ba98228fe8e68e1aa8bceae14054 authored almost 4 years ago

InjectEdit expr actions on non-nullary inject work

github.com/lamdu/lamdu - 26bdc40917c8826fb288f5b1e12b3467ee774cf6 authored almost 4 years ago

InjectEdit: focus handled correctly

github.com/lamdu/lamdu - 70348d19695be306abb77eaef926c93aae5709ce authored almost 4 years ago

InjectEdit: can leave subexpr nullary record

github.com/lamdu/lamdu - 048ad5d397bac8a1634853e66bf998d1766b86d5 authored almost 4 years ago

InjectEdit: refactor

github.com/lamdu/lamdu - 90e49b7198947005b892e1aaf2d351e93d86f11e authored almost 4 years ago

Fix WYTIWYS breakage when picking tags in a666cc164d4658

github.com/lamdu/lamdu - 9ba8f55209e99770d7bad010fad16ca6eb1375c1 authored almost 4 years ago

remove unused export

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

Update hypertypes for TH improvements

github.com/lamdu/lamdu - d5e5ed212b591c7c244e33ee9eb7ff47c13dfaa6 authored almost 4 years ago

Fixed constraints of TH generated instances

Order no longer matters and no redundant constraints generated

github.com/lamdu/hypertypes - 52beb9a91cebdaf18a3e7031a860e960cb086642 authored almost 4 years ago

make TH instance generation fail rather than get stuck with infinite structures

TODO: make it work rather than fail

github.com/lamdu/hypertypes - e71309843f55b0046e379616baa7f954655fc7db authored almost 4 years ago

Update hypertypes

Has instance derivation fixes

github.com/lamdu/lamdu - d8b7cdcbc6aa2038b95f724aaf00acd1e9b5f0e5 authored almost 4 years ago

update docs

github.com/lamdu/hypertypes - ac5c350d2add51094561d524ccae3e05a2cba80a authored almost 4 years ago

TH generated instances support correctly inheriting dependencies in more cases

github.com/lamdu/hypertypes - 48ed89bea6fc3e1d1c47792d7c3b4747eff3976c authored almost 4 years ago

Fix bug in TH derivations, test module compiles

* simplifyContext used the inverse substitution than it needed to generate simpler contexts
whic...

github.com/lamdu/hypertypes - cef6cdba04facc479a282e6223c6784922a83b9a authored almost 4 years ago

Add failing instance derivation

github.com/lamdu/hypertypes - c2c8e945a783739f0ba1567c49fadf644551fda1 authored almost 4 years ago

Add example module for https://github.com/lamdu/hypertypes/issues/7

github.com/lamdu/hypertypes - 05ad1ba5b918c3a17ea1f922538cec36153996e0 authored almost 4 years ago