Lamdu commits | Ecosyste.ms: OpenCollective

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

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

HoleEdit: No need to filter disallowedInHole

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

TagEdit: Also filter search terms, not chars

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

Rename label->newTagLabel

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

Fix doc typo

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

get field results (".field") only offered in arg holes

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

Add doc/HoleSearchTerms.md

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

unwrap keys also work on hole of wrapper

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

Comment about why we want to jump to search term

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

can type getfield again

Broken in d23f2b665, 2017.12.07 "HoleEdit: Disallowed text edit events are based on result text"

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

minor refinements for VideoPlan doc

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

Rename: KeepWideAnnotation => KeepWideTypeAnnotation

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

Rename ExpressionGui.Types => ExpresesionGui

github.com/lamdu/lamdu - 13e6fb2c67049d0e7428b47802e83e6a4c04474e authored about 7 years ago

Rename ExpressionGui=>ExpressionGui.Wrap

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

ExpressionGui: Does not export ExpressionGui type

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

Inline ExpressionGui.render

github.com/lamdu/lamdu - 04e4ec4e8a55135e686765cb96175baa171f0aa7 authored about 7 years ago

toLiteralTextEventMap: Generalize type

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

hlint police

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

del on closed green hole unwraps

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

Fix ApplyEdit bug causing shift-right not to work and more

Also if was outdated def its update def dialog appeared.
The outdated def bug is since commit ...

github.com/lamdu/lamdu - 92a7c4dcb5afcb648789518c421789965427f3c3 authored about 7 years ago

FocusDelegator: add assertion that was failing prior to previous commit

github.com/lamdu/lamdu - 592df8759d02408f0e1d6e7291e77095fab8ecf6 authored about 7 years ago

Fix creation of records

Broken in d23f2b665, 2017.12.07 "HoleEdit: Disallowed text edit events are based on result text"

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

do shrink hole arg annotations for values (not types)

see https://trello.com/c/7LTTAGqI/174-squash-of-type-annotation-in-a-red-frame-makes-it-difficul...

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

extract ExpressionGui.Annotation module

github.com/lamdu/lamdu - 17a2011c0178122ad593ef982be71b2470d7017c authored about 7 years ago

can create literal text from open hole

Fixes https://trello.com/c/Q6WhueH4/296-quote-key-does-not-open-a-literal-string-on-the-search-t...

github.com/lamdu/lamdu - 86e6231fa5a7b5332dc26b45148e208bdbed50c1 authored about 7 years ago

make{Open=>SearchTermEdit}EventMap

github.com/lamdu/lamdu - 7312ddeb7a216f170f183c5d30702055b3c4f9ad authored about 7 years ago

Search-string-remainder mechanism

Currently "." can remain from search string for results such as "42.".
The previous mechanism fo...

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

Char group documentation auto-generation option.

Automatic mode just shows the characters themselves.
This allows for finer more accurate documen...

github.com/lamdu/lamdu - 635eebdfe7e46a3f6eaf4a4fe5e791ece7171bd5 authored about 7 years ago

DevSetup tip

github.com/lamdu/lamdu - 961308dc5fa17630f1dd5b3e4e0bc4336c3d50b1 authored about 7 years ago

undo/redo keep pre/post GUIState, not cursor

* This revision requires a deleteDB

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

Replace HasWidgetState with HasState that implies and auto-derives HasCursor

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

Rename GUIState.{guiStateUpdate=>update}

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

HoleEdit: Disallowed text edit events are based on result text

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

EventMap: Generalize filter

* Cannot generalize mapMaybe because HasEventMap cannot change the 'a'
type param as mapMaybe ...

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

EventMap: Add mapMaybe/filter

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

EventMap: Use Map instead of Set and function

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

EventMap: Remove redunant charGroupChars

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

Extract module HolePicker

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

Remove stale comment from 2012..

See c2d51d89868448f094a5a47d312521892a138d4a for context

github.com/lamdu/lamdu - 812afb023788caf1814554616556993d2bb42084 authored about 7 years ago

remove newtype wrapper ExpressionGui.Output

c6b0d4f49d1d5deb06675c35417e73b18b7f0744 removed its second field
which was a list of used varia...

github.com/lamdu/lamdu - 82291af304f94789d91576cbbff3f3c5b85c42fa authored about 7 years ago

remove unused extension

github.com/lamdu/lamdu - 017169248f6c36e361f50a9544bef5d8668ad361 authored about 7 years ago

Localization: Update doc

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

uuidOfIdentifier -> toUUID

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

Dont show types for params in concise mode

https://trello.com/c/raowl7cc/291-concise-mode-should-not-show-param-types

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

"of" a search term for case

github.com/lamdu/lamdu - 3852cd9ee7e1d6f413a0660db153850e5707624a authored about 7 years ago

GetField has tag holes.

Unlike inject which gets wrapped in hole, the record expr of get field
gets wrapped in one when ...

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

tag holes in inject

can replace tag in existing inject. may need to think of gui for creating injects?

github.com/lamdu/lamdu - 844bf7217b0c11b2e7c8e7589595fc129c0731ef authored about 7 years ago

colon no longer relevant search term for case

as we changed syntax to Haskell-like "case x of"

github.com/lamdu/lamdu - 87094d1a2ee67553015a256f689a7f87b0b9e1c7 authored about 7 years ago

Revert "Oops: Score list was ignored"

This reverts commit e85afb8d6f924115d5a8d01cb7f550192a2d42bf.

Sorting by group's score overwrot...

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

get rid of anim id mappings

This would had affected adding/removing second parameter to function,
but apparently the animati...

github.com/lamdu/lamdu - 57c7a2029ce27f4e62bfdca1f580edbf3adddbf1 authored about 7 years ago

use Lamdu.Prelude

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

Lamdu.Expr.IRef.addProperties fix for hole pickers

Commit 1a42eb10523a5c4282db8fc092c40458eb457e5b made picking hole results
not write in-place in ...

github.com/lamdu/lamdu - 3709c19a413906b5aa652328c834179e1f0a64a1 authored about 7 years ago

Hole search term is temporary state. No more leaving hole with confusing search term in it.

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

Hole results no longer need to have modified anim-ids

Note that undos for picking results look good

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

generate expr ids in ways they wont clash hopefully

github.com/lamdu/lamdu - 915c372be74b7b88859be64f1b31d2ea7cc91456 authored about 7 years ago

Hole results work fine again

(Fix breakage from previous commit)

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

ghcid: remove -ferror-spans flag

Looks like sometimes it doesn't recognize the errors with it?

github.com/lamdu/lamdu - 89881437fa52901b481c54da2704bf3dabfc1e12 authored about 7 years ago

BROKEN: No consistent ids for hole results

Hole results flicker when browsing between them.
Towards different mechanism. See doc/AnimIdMapp...

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

fix confusing indentation

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

fix stack build problem

Has this error:

Building executable 'lamdu' for Lamdu-0.1..
<command line>: cannot sati...

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

add anim-id-mappings document

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

add localization / translations document

github.com/lamdu/lamdu - 014e7afa759cc9643ccec1ca9b886049043472e0 authored about 7 years ago

Lens style

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

Prelude: add traceM

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

stack.yaml: update git hash for lamdu-calculus

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

Add -Wnocanonical-monad-instances to warning list

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

Identifier: Pretty instance prints printable characters only

github.com/lamdu/lamdu-calculus - 753fb81d50abf622da907420f1956ec12542cfa9 authored about 7 years ago

Remove redundant newline

github.com/lamdu/lamdu - 2920775fcb58afa4aed002132e1e6a179c7ada77 authored about 7 years ago

Momentu.State: Re-use Widget.Id.subId

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

HoleEdit.Open: Use mempty override

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

Transaction: Comment why we need the 'base'

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

HoleEdit: Rename Wrapper to argument as it is not the whole wrapper hole

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

cleanup: remove unnecessary lift

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

fix weird indent

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

maintain ghcid setup / dev instructions for vs code

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

weeder police

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

dead code removal with weeder

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

Remove unused dependency

github.com/lamdu/lamdu-calculus - e5b27ed2be0ec4d8fbb5107fe0114a5e70ae9f7e authored about 7 years ago

hlint police

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

use language-ecmascript from hackage. it includes our changes

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

use GHC 8.2.2 (latest stackage nightly)

stackage now has bindings-GLFW

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

Transient widget state mechanism

(replacing error-prone CursorState)

github.com/lamdu/lamdu - 947448336c31fa63b7da4a4a472c927cadef7ab8 authored over 7 years ago

Widget.Focused has fMEnterPoint rather than fMEnter.

Less partiality all around.
Added unionMaybeWith to Data.Maybe.Utils like that in
https://www.st...

github.com/lamdu/lamdu - e357e6cb57da04fec15b7e0210ea0e88a30b8b34 authored over 7 years ago

remove redundant lens

github.com/lamdu/lamdu - 54476da68bf9fe9554f1a456da5f374b2adb12a9 authored over 7 years ago

move comment

github.com/lamdu/lamdu - d1b9929aef4311af0f015b4077db52d6db55c294 authored over 7 years ago

move HasCursor from Gui.Momentu.{Widget=>State}

github.com/lamdu/lamdu - 36a60fd810034d9ac5cca1c588e19df08d49c245 authored over 7 years ago

rename EventResult => State.Update

github.com/lamdu/lamdu - 4f483ea990b73ccab631dc88111317f43fd22b33 authored over 7 years ago

Widget.Id moved back to its own module

github.com/lamdu/lamdu - 0477ac5fb692a6d3ffa6423bb57aa29eb4317bb0 authored over 7 years ago

Extract types from GUI.Momentu.Widget.Types

EventResult, VirtualCursor, and Id moved to new module GUI.Momentu.State
EventResult should also...

github.com/lamdu/lamdu - 29da1b2b724f1d676e1b2f847425adcb441f3dc8 authored over 7 years ago

split Widget.Types and Widget.Instances out of Widget

The definition of Widget what cluttered with many typeclass instances code.

Note that some help...

github.com/lamdu/lamdu - 241756b19154bc6849db859a786cfea4968da434 authored over 7 years ago

extract Widgets.Cursor out of Widget

not sure it fits in Widgets category,
but certainly this used-once function shouldn't be in the ...

github.com/lamdu/lamdu - aa35149d1dffcebf8c9f524aabe84b8fce59166b authored over 7 years ago

TextEdit: cleanup anim id deps from when prefixes mattered

(Recently changes to animation engine removed prefix grouping)

github.com/lamdu/lamdu - 62389fc79c0770cfc376bacfb16dd068be4fca87 authored over 7 years ago

add Generic to Lamdu.Prelude

github.com/lamdu/lamdu - 8c83c8709df634492a8cc879a674355b756091ed authored over 7 years ago

use Lamdu.Prelude / NoImplicitPrelude

github.com/lamdu/lamdu - 1761fc08d4ea8a0276e5c992e4da58c9cd9853c7 authored over 7 years ago

can add case alt from anywhere in the case

allows to add case alt directly from a hole result which is a case

github.com/lamdu/lamdu - dd468c8c181e5ec318a47d506eb4d88a899fec5c authored over 7 years ago

Sugar.Convert.Apply: Oops: Recursive defs should be labeled applies

github.com/lamdu/lamdu - d17b95f66445f828dd3f11c073321357ab2d5a27 authored over 7 years ago

remove State from stdlib

until we have type-classes this causes name clashes with Mut actions.
also am not sure if State ...

github.com/lamdu/lamdu - 1187a6008197ae0f0e4eee76a0e3ee6c013647c5 authored over 7 years ago

fix cursor dest on float to let. https://trello.com/c/ySx0ABCe/304

github.com/lamdu/lamdu - 5b50371b3c3a579ddd7a93d4bd4983e3e2ff4d22 authored over 7 years ago

hlint police

github.com/lamdu/lamdu - 0c2ed123d941031dc893bba32611c82cd90ae814 authored over 7 years ago

Extract PresentationModeEdit

github.com/lamdu/lamdu - 1949acf5dcef39b0a21756d3399aba7128f86a9c authored over 7 years ago