Lamdu commits | Ecosyste.ms: OpenCollective

holeOptionLiteral creates a single result

github.com/lamdu/lamdu - 1ecdf26101e28180e58560ad962c565ce795bcc7 authored about 7 years ago

remove partiality

makeLeafActions should get maybe-argument..

github.com/lamdu/lamdu - 0264c16d4cb9b8765f1af57c68d4f62cc8b48224 authored about 7 years ago

remove redundant arguments

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

use _2

changed to use "second" in c0b9b2eb79a8 for GHC compatibility reasons?

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

Sugar.Types: Remove HoleActions wrapper which no longer added anything to hole options

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

Convert.Hole: mkOptions doesn't take sugarContext explcitly

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

Convert.Hole: Move addSuggestedOptions into mkOptions

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

Hole: Remove unused Hole UUID

github.com/lamdu/lamdu - 9161b60ab17b979884995e6664f83e2fc7e420cf authored about 7 years ago

HoleEdit.EventMap: Remove old superfluous event map code

github.com/lamdu/lamdu - 75b4487f8dfea39a5ddb9c9feb6ba49700dd364b authored about 7 years ago

HoleEdit.EventMap: More specific imports

github.com/lamdu/lamdu - 47a1ce0f71cd24ca407dbebb45aed8babab5ddd1 authored about 7 years ago

HoleEdit.Open: Move typeView creation near its use

github.com/lamdu/lamdu - 14eb8f6deb83b02a0da758405de7a7ff1f1aad0b authored about 7 years ago

New cleaner pre-events mechanism.

Instead of using MonadWriter the pre-events are stored in the widget,
and are added to events ad...

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

HoleEdit.Open.assign{HoleEdit=>}Cursor

github.com/lamdu/lamdu - 75ab6e9c1a943876fd98d5bf06830267d99a5814 authored about 7 years ago

minor cleanup

github.com/lamdu/lamdu - 793125c1e386a973bd90509532bcc073c6ae135c authored about 7 years ago

Use and export eventMapMaker

github.com/lamdu/lamdu - 35dc98015029c117febd16e86f63dabb05485b22 authored about 7 years ago

TagEdit: Remove superfluous strongerEvents

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

Lamdu.GUI.Main: Cleanup

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

HoleEdit.Result: Minor cleanup of pick event maps

github.com/lamdu/lamdu - 68b07b24588e6f9eff349dd1eaff70602b7cf30f authored about 7 years ago

ResultWidget: Minor cleanup

github.com/lamdu/lamdu - 146e9aa7385d4f154e4dc6a4d45543f43e0063c1 authored about 7 years ago

PreEvent -> PreEvents Monoid

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

PreEvent: cleanups

github.com/lamdu/lamdu - 70baf045a9470ecec6340c288547e8d308b03769 authored about 7 years ago

more precise type

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

rename virtualCursor lens

github.com/lamdu/lamdu - 913d4869fb74819b946531b2b96962d8b37664e6 authored about 7 years ago

Widget.EventContext newtype

Towards adding pre-event text remainders to context.

github.com/lamdu/lamdu - 03e2150095f0e70214687b3498b916157a96fe6d authored about 7 years ago

simplify PreEvent api

github.com/lamdu/lamdu - 4ca999f61f761e301f24c136382c447f92d7ff69 authored about 7 years ago

cleanup

github.com/lamdu/lamdu - 31f62084d2a0939b86414383f349b3b855b1abd0 authored about 7 years ago

variable rename leftovers

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

Menu.Picker => PreEvent

A more general and better documented concept.
Still with the same API but different names.

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

Got rid of HasSearchStringRemainder class

Can make it be included in HasPickers

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

generalize types

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

HasPickers class

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

rename ExpressionGui.HolePicker => Menu.Picker

This concept is not specific to expression holes..

github.com/lamdu/lamdu - 8995c68839cddf7408c5555bf797daa935a3f414 authored about 7 years ago

HolePicker generalized

Has nothing to do with Transactions

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

comments

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

hlint police

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

inline one-liner

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

rename Db=>DB

was old TODO in code since c6b0d4f49d1d5deb06675c35417e73b18b7f0744

github.com/lamdu/lamdu - 4b42a3fc2ddeae674bfb9c5e34403ec7c3cc4256 authored about 7 years ago

Jump-to-rhs applies hole picker

Towards fixing https://trello.com/c/IeGq9I5O/316

github.com/lamdu/lamdu - 1ebe6b534babc89871e56a66412921c6fec24e34 authored about 7 years ago

Apply operator on hole doesnt wrap it

Instead it just enters the operator as hole search string

github.com/lamdu/lamdu - 81c80d6354b3b08bdc08dfe70b0bb0520e2f0a2a authored about 7 years ago

Revert "Apply operator on closed hole doesnt wrap it"

This reverts commit 6a2f9701172e01c896794fb6860b9968e82ac555.

Will solve it differently. This c...

github.com/lamdu/lamdu - 5ba031212b659211611325706599ed28499f712b authored about 7 years ago

Don't pass both hole payload and widget ids

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

Consistently use qualified name of HoleWidgetIds

github.com/lamdu/lamdu - 201dab2d8c9105e4012d3c6087eac4a5c6a121a1 authored about 7 years ago

fix outdated comments

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

Extract makeInferredTypeAnnotation

github.com/lamdu/lamdu - 5357253db79199b07aff4f70bd12f34cc0a46aaa authored about 7 years ago

emptyPickEventMap near pickEventMap

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

Remove afterPick, it's identical to updateCursor

github.com/lamdu/lamdu - 05f6c6bfcff4c72871ade35613c498b9e2ec9800 authored about 7 years ago

Reorder to more bottom-up ordering

github.com/lamdu/lamdu - 5c0c86b38d1b0f2aa02cfc91a9f40ee327773db3 authored about 7 years ago

Extract setFocalAreaToFullSize

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

Extract getSearchStringRemainder

github.com/lamdu/lamdu - 9554a3ef9aa82005818b7cfdc6ed095183ea2651 authored about 7 years ago

Rename makeHoleResultWidget->make

github.com/lamdu/lamdu - 44e4e127491e8074f35ee61a69c3954c5dde6bd9 authored about 7 years ago

HoleEdit: cleanups

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

TagHole reuses Menu hover mechanism

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

Extract Menu.makeHovered

github.com/lamdu/lamdu - 35608cd2af26ce468e9eeaca618a5f4b9ab0cfa9 authored about 7 years ago

Add search term edit event map to options individually

github.com/lamdu/lamdu - 78c70f6a19a3b4a8095a0412e384bdb1331c9d7d authored about 7 years ago

Menu: Export lenses/prisms

github.com/lamdu/lamdu - 1b030b9650150570579bf506281207ea42c3662b authored about 7 years ago

Open: Inline makeResultsWidget

github.com/lamdu/lamdu - 597dc0d175a119f9ae2967ff6c7529c5bf9ca39e authored about 7 years ago

hlint police

github.com/lamdu/lamdu - 32d3b6dbc380820213bd1b311ab7ae739ebb8245 authored about 7 years ago

move HoleEdit.Open.resultsHoverOptions to Menu.hoverOptions

github.com/lamdu/lamdu - 41dd897730e132f36c032eec532154c5062e61a3 authored about 7 years ago

move Reader.local to more appropriate place

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

HoleEdit.Open.resultsHoverOptions: simplied type

github.com/lamdu/lamdu - 68ba40cb2c413cfcadf32f24721b70d9b27d8f1a authored about 7 years ago

Add Menu.hoverBesideAxis

github.com/lamdu/lamdu - 38637146ebcf3d63f1e21476f3bf791f61c4b3ce authored about 7 years ago

Extract Menu.hoverMenu => Hover.hoverBesideAxis

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

Rename: Menu.{layout=>make}

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

closed search term is always fdWrapped

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

Editing search term of closed hole always opens it

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

Revert "Remove apparently unneeded searchTermEditEventMap cursor fix"

This reverts commit b43d650377f9d8111c71f1635179f2a542485658.

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

Rename: setResultPicker => tellResultPicker

github.com/lamdu/lamdu - 96b2f7a08fdce836ab974fdd309302d0eae6f213 authored about 7 years ago

Rename extraChars => searchStringRemainder

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

Remove funny makeSearchTermEditEventMap wrapper

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

Use EventMap unqualified

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

Widget does not export EventMap facilities

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

Remove apparently unneeded searchTermEditEventMap cursor fix

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

use Monoid

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

ExprGuiM Monoid

github.com/lamdu/lamdu - 618c8af1bc0e3f5677b733907c2fa861512c0780 authored about 7 years ago

Apply operator on closed hole doesnt wrap it

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

delete superfluous event filtering

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

extract applyOperatorSearchTerm

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

Remove dependency on 'either' package

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

Rename Either.Utils -> Except.Utils

github.com/lamdu/lamdu - 324abbaccfa3bea4a732f03771ba7ba7e4f4077a authored about 7 years ago

cleanup

github.com/lamdu/lamdu - 726f6275bafbc7f8554d7443c5b62481cb33d5a9 authored about 7 years ago

Unquote the primary adjectives in README

github.com/lamdu/lamdu - 913478f7e15c2835f11c22f5d75a5cc501c47742 authored about 7 years ago

README: Update with instructions about upgrading to stack 1.6.1

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

extract module HoleEdit.ResultWidget

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

remove unused extensions

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

cleanup

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

rename SearchArea.make{StdWrapped=>}

as adding the actions is now done outside the name was misleading

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

ExpressionGui.Wrap: extract addActions from stdWrap

github.com/lamdu/lamdu - 70001698004a17cc81949e27be500b1d5073b804 authored about 7 years ago

simplify/fix hole-operators behavior

before, typing "filter 1.." would lose one dot.
now, that's fixed.
how operator worked was quite...

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

Replace uses of deprecated EitherT with ExceptT

github.com/lamdu/lamdu - 8589158064e2eefc657fd4da9f4cd3dbc98c372b authored about 7 years ago

stack.yaml: Update to lts-10.0

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

DRY

github.com/lamdu/lamdu - 36c1db3f76820d86296fce31401a6ae5bbac7d62 authored about 7 years ago

remove unused pragmas

github.com/lamdu/lamdu - 5fb73d5f20fe3aa9bffe8a68610713192559da63 authored about 7 years ago

small cleanups in HoleEdit.SearchArea

github.com/lamdu/lamdu - 0255ddb87085e095748fba4a31efc757c2760299 authored about 7 years ago

cleanup in HoleEdit.SearchArea

the "(True, False)" case used fdWrap which was either id or wrap depending on
something constant...

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

oops remove unnecessary import

github.com/lamdu/lamdu - 78756a59cbb8acc97320e11e0c393a83f8c59159 authored about 7 years ago

remove unnecessary hlint pragmas

github.com/lamdu/lamdu - 993368ffa74945140d494165b49a4c28a5031e70 authored about 7 years ago

Tag hole tells hole pickers

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

HolePickers: Need not carry gui state

github.com/lamdu/lamdu - 241ac09a2f197b449d97e2377e0d2aa270ad344d authored about 7 years ago

Hole: Remove open record completions (tag hole obsoletes it)

github.com/lamdu/lamdu - 4c59744ca1a822c6e3de9006a25d16175d9b73de authored about 7 years ago

Rename label->newTagLabel

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