Lamdu commits | Ecosyste.ms: OpenCollective

hlint police

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

Upgrade momentu

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

Extract StdKeys.DirKeys to its own Has instead of duplicating it in Grid/TextEdit Keys

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

Config Generic instances

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

Remove MetaKey type. MetaKey becomes a parse/format and 'cmd' combinator

* No JSON instance for ModKey

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

Grid: Pass Keys in the env

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

Left-over renames from choice to dropdownlist

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

Remove examples/.gitignore

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

Main: Quit keys come from env, not hard-coded

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

TextEdit: Do not export HasTexts, HasStyle

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

DirKeys: Lensify

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

TextEdit: Take explicit Keys record

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

SearchMenu: del-search-term keys aren't hard-coded

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

DefaultEnv has Spacer env

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

Animation spiral option.

Useful to show how things switch places:
https://twitter.com/yairchu/status/1410199396214611968

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

Config is parsed from JSON to string key first

github.com/lamdu/lamdu - 73ef783d76d936fa7c1f30e07dc500e8a747f7d8 authored over 3 years ago

Config is parameterized on key type

github.com/lamdu/lamdu - 058e299c0641ff1f768f6d9c4116c99b10a813d9 authored over 3 years ago

Animation config: lensify

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

Main.Options: Lensify

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

Extract ListBox from DropDownList (not a fully features widget yet)

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

Rename Choice=>DropDownList

It seems to be the more common name for this element:
https://en.wikipedia.org/wiki/Drop-down_list

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

Choice accepts any Foldable

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

box works for any foldable

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

Remove hie.yaml

It appears that it isn't necessary anymore for HLS, and just requires maintainence

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

hypertypes changes

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

hypertypes changes

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

Re-export module Hyper.Syntax for easier imports

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

Module hierarchy rename Hyper.{Type.AST=>Syntax}

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

hlint police

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

Fixes to build with GHC 9.0.1

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

Bump version post hackage upload

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

Bump version for hackage release

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

GHC 9 TH fixes. Was using GadtC a bit wrong but it works on GHC 8.

Now works with stackage nightly-2021-06-21 (GHC 9.0.1)

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

Another change for GHC 9

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

whitespace

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

Changes for GHC 9 compatibility

(there seem to be more workarounds required, currently in ghc-9 branch)

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

Compatibility with GHC 9 TH changes

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

Fix ordering of add-param-after

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

Space opens a hole too

github.com/lamdu/lamdu - 364fda1cfd475bb0fae50e2b5f191ac4e17bfa20 authored over 3 years ago

SearchMenu has config keys to open/close

github.com/lamdu/lamdu - 537bf27a025ecc67b68f6fc008a2d6cdfa46caff authored over 3 years ago

Menu: Remove Config record of keys,style. Take both independently and rename keys to Config

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

stdlib: changed zip to operator

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

Fix param order broken when changing param name

github.com/lamdu/lamdu - 0124b6c0a5a2f1c0a0217b438d1e803d5e6be491 authored over 3 years ago

SearchMenu: Configurable open/close keys

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

Fix missing parens for operators with extra args

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

Add failing test for missing paren

github.com/lamdu/lamdu - 961cf9a26db5ca938965879ba6ab71d9b990c652 authored over 3 years ago

Formatting: rename searchTerm=>str

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

Pane up/down via Alt, not Cmd

github.com/lamdu/lamdu - 712088512957ef47a6a62aeaeefa0f5bcb3a5282 authored over 3 years ago

TagPane: Add tag order editing

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

Sugar: Supports setting tag order

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

Fix changing parameter orders

github.com/lamdu/lamdu - 700b6cc6975af1ac8d96e083fcde488a6ab0bc85 authored over 3 years ago

Add failing tests

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

Add debug config option to print all events

* Upgrade momentu to support post processing events

github.com/lamdu/lamdu - 0225b36784d9df2f8a9287735a6a86127dc702d7 authored over 3 years ago

Use snoc from lens

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

Use length from Prelude

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

Use folds monoid instance

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

Fix WYTIWYS test: Close paren exits lambda and completions also by abbreviations

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

Add failing WYTIWYS test

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

Prefer locals over syntax options

Specifically let-expressions always fit the types,
but when typing "l" and there is a local star...

github.com/lamdu/lamdu - 73198e44950e5acf3aef4f25f3a397ae26a7d37f authored over 3 years ago

stdlib: sort in an operator

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

Fixed typing unnamed for unnamed defs in holes

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

stdlib: split is an operator

github.com/lamdu/lamdu - 770864b5efb97ea84dd5901c6368979a895399ac authored over 3 years ago

Fix #123

github.com/lamdu/lamdu - 855a4b2c388b68dbe56d1bd5117cfc85381e7456 authored over 3 years ago

Add failing test for #123

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

Oops "," should add field on case when the whole expr is selected

Seems like it was broken in de3e83f26ecdb24f76

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

Fragment: can type new pattern matches

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

DRY and fix auto-name bug in hole results

github.com/lamdu/lamdu - 0d3095d8caa4c0f09c1efe0eb905f2257eb950ff authored over 3 years ago

Add failing test for wrong auto-names in results

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

Fix ability to type suggested empty records and pattern matches

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

Add failing test for inability to type empty records when suggested

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

Main: Add postProcessEvent debug option

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

Setup: Correctly generate quitEventMap

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

HoleEdit: With empty search-term, keys on results apply on them rather than create the search-term

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

Avoid suggesting unit variables

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

Improved auto-names for unit and void types

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

Hole/fragment options when opened with no search term.

This currently has two issues:
* We now more easily see that in "| _" we get access to the lambd...

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

Remove remains of hole close/open functionality (now in momentu)

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

Upgrade Momentu (for search-menu's option of being closed)

github.com/lamdu/lamdu - 13c54c05361e1aebe6392ed63d42fd7b60da9fde authored over 3 years ago

nix: Fix missing graphics-drawingcombinators dependency on vector

github.com/lamdu/lamdu - 7181a1947711aca65b7e33e2b9db2328191e968f authored over 3 years ago

Set window icon

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

Move {tools/=>}data/Lamdu.png

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

Oops: Search Menu close/open should not run preevents

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

SearchMenu: open/close of the menu results

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

SearchMenu: Re-export Placement, OptionList which are part of the API

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

ModKey: trailing whitespace

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

SearchMenu: import MomentuTexts just once

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

SearchMenu: More specific types for search term editing operations

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

examples: Add searchmenu

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

SearchMenu: Delete search term is not esc but ctrl-backspace

* esc will be available for hiding the results

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

SearchMenu: Rename 'myId' to 'menuId' in API params to clarify what needs to be passed there

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

SearchMenu: Disallow newlines in search term

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

SearchMenu: Assert prefix match means menu is focused

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

SearchMenu: Remove 'hole' occurences

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

SearchMenu: Do not compute/show results if cursor not on menu

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

DefaultEnv: Add menu/searchmenu styles

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

Menu: Simplify API

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

Remove PreEvents/BlockEvents

* This commit reverts fd0a0f2ce3eebc722cd2a13f87fb820e63cd298a (From lamdu repo)

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

SearchMenu: Do not use BlockEvents

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

Invalid cursor state is a noticeable red

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

EventMap: style: newline

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