github.com/lamdu/lamdu commits | Ecosyste.ms: OpenCollective

hlint police

c537c0e34175bf9abbce99e9d5e137bbcc9b8c97 authored over 7 years ago

Rename CompositeExtending=>OpenComposte

cb87b4966b40fc98a5c5409c4924b1ada832066a authored over 7 years ago

<return> extracts on REPL button itself only

Fixes https://trello.com/c/DLKWmyoX/280

55bed5c5fc4b2e2f6348815a715db00b5af33206 authored over 7 years ago

Extract Lamdu.GUI.ReplEdit

779b33543c84b6e7c133cfacb064db89f05238f0 authored over 7 years ago

Extract Lamdu.GUI.IOTrans

8d3506c0c64d39633e7f532d709f005bae84531b authored over 7 years ago

Rename: CodeEdit.{M => IOTrans}

d4a4abdb93682c43d264ac0b40d4c76d5b652166 authored over 7 years ago

Fix bad cursor when wrapping with lambda creates a binder param

2a685f315e839e5f460629ec49daebd1d2073fe3 authored over 7 years ago

Convert.Hole: Remove redundant indent

34c48dfaab3a91afd69752171dd19b7afe5163e9 authored over 7 years ago

Remove uses of RecordWildCards

23250e7a6e400bf4ca1c999546cc86a86546baa6 authored over 7 years ago

Names.Add: Remove dead code

8ac1ad1bf395f39d42c128df4477058a35cd1ede authored over 7 years ago

Names.Add: locals/globals filter didn't filter keys with no names in them

6c36c8018f7d76734444214c05a2e38d0f453fc9 authored over 7 years ago

Oops: local clash check was wrong

f346c1c2a164d7c34b3b3f4b8ff4f350669c4c6f authored over 7 years ago

Better comment about UnknownCollision

68778003d3b17bc7fbf3b257cea894015a0fa601 authored over 7 years ago

isLocal/isGlobal always considers FieldParamName to be local

6bbf84c3f88c71928d0ddf11ae2adb92bacc7bcd authored over 7 years ago

Sugar actions for field params

e1e7596b0574367ff049629c8631e757f5a8fcdc authored over 7 years ago

TagEdit: Disallows chars not fit for hole

a2bcaec3086b29af3fc353801aa7995fab732d72 authored over 7 years ago

CharClassification: Imported qualified

18cad2f8578cd5eb0be8218330499bc533f85d4c authored over 7 years ago

Momentu.EventMap: Generalize types

c546aeb537f3b77db9cabe4da548b7023ec1f2eb authored over 7 years ago

InjectEdit: Generalize types

5954b83ea15b816f59feac9a9dd465bcc65085a2 authored over 7 years ago

disallowCharsFromSearchTerm: Use monadic config

ae706e1a221a55e30e4b8770ab4f7844aba4daf3 authored over 7 years ago

LightLambda: Generalize types

f0a098112c75849c28fe148bd91950beba3e7758 authored over 7 years ago

LambdaEdit: Generalize types

841ade98107177d96d578610383a83ea2b0bbd64 authored over 7 years ago

LiteralEdit: Generalize types

1d77c25be1792192b81f56915c7ebd19c1f9b385 authored over 7 years ago

GuardEdit: Generalize types

b5ee1bb05dfc48ad0e8634a1f8e8e54c0ebaed23 authored over 7 years ago

GetVarEdit: Generalize types

1f16922ab80d4f000fffa2cdec86dbab14a34f7d authored over 7 years ago

BuiltinEdit: Generalize types

64fcd8f0a00825dccdf6db091fc8933b32ad91f6 authored over 7 years ago

fix ghcid based DevSetup

d151866fa5ab197ad169cb5fa7bd9fa04faaddb0 authored over 7 years ago

Theme: Aeson instances use TH instead of Generic

81ad416aed5e6d31abe018c9d9be03a73c206fe0 authored over 7 years ago

Dockerfile: shallow clone

d97faa69b712de11803e753752fbcf056e40006f authored over 7 years ago

disable optimizations for Lamdu.Config.Theme for build speed

over here build time is reduced from 30 seconds to less than 10.
I'm also hoping this reduces me...

62820b3ab954b7acaabffea5b919b325041c124e authored over 7 years ago

stack.yaml: update nodejs-exec for faster build

stack will no longer do a deep clone the of nodejs repository,
and will not clone it at all when...

b8be2857ee96cc4c2daee00a5e6283f08b767fed authored over 7 years ago

split stuff from Lamdu.Config.Theme module

this module takes a looong time to compile and apparently its compilation also takes a lot of me...

e6d9a8719c371ae9411017cea49bd6368b966eb6 authored over 7 years ago

add Dockerfile for testing Lamdu's build on Arch Linux in Docker

d7e31562035ca4a4cb735b370f733aaee5539afd authored over 7 years ago

Oops: Score list was ignored

e85afb8d6f924115d5a8d01cb7f550192a2d42bf authored over 7 years ago

TagHole uses Menu

58df24c81a17cd9cd889581fb65d0d641d55b3cf authored over 7 years ago

Oops: Fix good/bad results Ord instance for sorting

33f07fad784c8a7ae1ec52c006d06860563c5da1 authored over 7 years ago

Clarifying comments/names in HoleEdit.collectResults

4eebb569dca911554f8772f203eb08fc28b297b9 authored over 7 years ago

hoverBesideOptionsAxis takes two hover widgets for each direction

* Menu.Ordered is moved to Hover.Ordered

e6e29bec13a49e83b0886e8dfa974ee74167e282 authored over 7 years ago

Revert "HoleEdit.ResultsGroup: Clarify collectResults"

This reverts commit 5cbef680afab0e0b0cf982e46a45d3e3a5ab09c9.

99d6d3d292dfce74953a919a5b7ec5c9382bff8d authored over 7 years ago

update nodejs version

see https://github.com/lamdu/lamdu/issues/79#issuecomment-330357230

When node isn't available o...

07357010eeaa821624336c433cc4c67a64f696f5 authored over 7 years ago

Names.Walk: Oops: field params should not get auto-generated names

* Remove dead opWithTagName

9dda2e0abfcade1f3d98d7276e207b571d1c6169 authored over 7 years ago

HoleEdit.ResultsGroup: Clarify collectResults

5cbef680afab0e0b0cf982e46a45d3e3a5ab09c9 authored over 7 years ago

HoleEdit.ResultsGroup: GoodAndBad data type for clarity

39c282d312c3920bd733696e27f040a2cf45b14f authored over 7 years ago

Lamdu.Prelude: Add traceShowM

7baf67e7d086acbf0b2763c2f84638ae0ae9ba15 authored over 7 years ago

hlint police

20d0022754852b96d457535ffb25798215477347 authored over 7 years ago

picking tag goes to its new id (towards tag holes for field params)

6029b01f95e7da9ec5bdc6d2493dfe33a0e4288f authored over 7 years ago

Extract Lamdu.GUI.NameEdit

645bf4e41a882427412b0a0ef863a2bbb28d462c authored over 7 years ago

TagEdit: Use holeResultCount

3f38f409f5743e30c18cca775d454bb5d9edb51e authored over 7 years ago

TagEdit: Generalize monad types

98061bd4a714d388c1f023c4f549bbc097337f83 authored over 7 years ago

Generalize ExprGuiM types

259745702336c6c4090633b0b7ff34f175a7e01e authored over 7 years ago

MonadTransaction carries Monad instance of underlying monad

b99c1c13dfb2f3471ad63929e265411d2b328f29 authored over 7 years ago

Menu: OrderedOptions=>Ordered

959ce94e6e7ff46cb2a7a93efb956c5a7a220cf4 authored over 7 years ago

resultsHoverOptions: clarify the options a bit

c94c06c6aae9f4ba731742a513eb92b466639055 authored over 7 years ago

TagEdit: Split into functions

bd48a55a50ac08034e3c4f792e96c5f8e126d609 authored over 7 years ago

Sugar exports a HoleResultScore data-type that strictly prefers results not in wrapper-holes

Fixes https://trello.com/c/70QvxvZa/278-hole-does-not-offer-absurd-as-result-unless-typed

9d55fac9420e7b3689ac5314ca9f3a4b1eae88cc authored over 7 years ago

Hole results for lambda, empty record, absurd, are each in their own group

746e3d1eaf982c877aa5f8126b73ad799027b02b authored over 7 years ago

taChangeTag returns TagInfo

Function's field params tags are based on the tag and
so to know where the cursor should go when...

a3d38a025eafa230546c56101f71b2375bca605f authored over 7 years ago

FieldParams tag actions except for setTag

8f5bff08952ed2e8fba7d91823bc945ecf70c07f authored over 7 years ago

Extract Convert.Tag

cec93a0975bbe39e9b0a8f4eaac7b3609df56e12 authored over 7 years ago

cleanup and hlint police

6e577f0170f3754565eeba7189a1fda1c21e28f1 authored over 7 years ago

simplify ParamEdit interface towards tag edit in fields

9bb8cef8774d867888822b16cd047452ae244bf4 authored over 7 years ago

More reserved words

4fb1f0de98ad42533ada7d6d049ee3b1629e2f6b authored over 7 years ago

rename misleading makeParamTag to makeArgTag

53ee8620c6d767c73acc3af3edc6d6c607731f69 authored over 7 years ago

BinderEdit: namedParamEditInfo gets the nameEdit

Towards using tag edits for field params

cd2097aefd76739bf637af5284a28e915ff9c0e6 authored over 7 years ago

Names.Add: Reserved words always collide

21b6e339bc284ab470569fdf5b21d79be49749e0 authored over 7 years ago

extract Sugar.Types.GetVar

ad0d950945329fd1b605d980e44bfb3b631a36e6 authored over 7 years ago

Oops remove unused language pragmas

05625a79dbe12d4d16247dac1e97d247c777a7e0 authored over 7 years ago

extract Sugar.Types.Hole

735907f0e7919073db0d077292c626967de008f4 authored over 7 years ago

Sugar.Hole is parameterised on resultExpr, towards extracting to a module

This could also potenitally add type safety to traversals into results.
Also using a resulting F...

8de3b4a585a404259321852078171179fd498f70 authored over 7 years ago

Names.Add: Split Names.Clash

45f73e9312dc633519e9f0e8a28db4269e1ca05e authored over 7 years ago

Names.Add: Collision outside suffix map is UnknownCollision

de6998aa596db5eceb93fdd2aae0e5c1926e6ad3 authored over 7 years ago

Names.Add: p2NamesAbove has IsClash for each name

8a2c55925ddd645946baadac7944df0c832e8c83 authored over 7 years ago

Extract getCollisionEnv

bdcf7934a4fe3ba7dcdf896aaf183db84fae8b97 authored over 7 years ago

Names.Add: P1Name has NameInstance

3b0ffb4df9884c61a8cdeaa532869a80c96f579a authored over 7 years ago

Local collision checked in the same way

d907b4aee585b4ecbd2ba4ae13a3c011301a95cd authored over 7 years ago

Data.Map.Utils: Add unionWithM

31c965b6650deb38fbb0f67012d62d0ee544ee7d authored over 7 years ago

Names.Add: Extract NameContext

Replace ClashDetector with NameContext

2e06302c61e204fb48a1dd619c61e0631bb20cb6 authored over 7 years ago

Names.Add: p1NameUUIDMap => p1NamesBelow

e038ea9ec32b0c5e27fc808cf8479c023bf2bc32 authored over 7 years ago

Names.Add: p2Names => p2NamesAbove

bef04c88c1dc4c1f79e8c568be7b6f468aa2d79f authored over 7 years ago

Remove stale TODO

e1a92ea0f310a024d70fdba117ed499922a7b490 authored over 7 years ago

Names.Walk: Distinguish FieldParams

34803c824dfdad1102f1a830880ed4542085763b authored over 7 years ago

Names.Add: Remove local/global names split, filter as needed instead

4deb6e24ca113458b549fde1c81a9d49409de96e authored over 7 years ago

Names.Add: Remove pass2 collision handling

923840272de9f3a540e95e951000e757df926d19 authored over 7 years ago

OrderedSet: Export filter, Traversable instance

6dc139c22dc4f7b661ebba74d51e036b3d646bd6 authored over 7 years ago

Names.Add: Flip collision suffix ordering

fa07c0de01041de8342511081c87b4cf931a6e38 authored over 7 years ago

initial tag hole gui

works with record fields and case alts, still missing for field params.

f1baa08331e4af2f59cc631d978090b37ab68d33 authored over 7 years ago

Names.Add: Oops: fix global / autoname collisions

4719dfce81be133a7420bc4efab3965954e708c8 authored over 7 years ago

Add Collision.README

e770b6ae43be24d17e3387725186489bdf66173c authored over 7 years ago

Names.Add: Conflicts -> Collides

f4ea9ddf9332320b5414784ef544df14b14359af authored over 7 years ago

Add todo with warning

4fc2f5ad5848bf7eb1d17d0cfea18bf0f55db3c6 authored over 7 years ago

Names.Add: Rewrite the name clash algorithm

* Pass 1 decides what text names collide
* Pass 2 merely assigns UUID suffixes for all colliding...

7ab633da00e404c56f8039c5d9c72bcba98c26c6 authored over 7 years ago

Names.Add: P1Out is a newtype for Writer env for pass1

8bf83700bfe608d493e604bdf68574d2e23296b3 authored over 7 years ago

Names.Add: P[01]Out => P[01]Name

e2ab8da4babd8f80440581c0ae8be61d1bc832ff authored over 7 years ago

Names.Add: Instead of global/all names, have local/all names

086982c54f32077bf94b48685b5fb8659bf06a7d authored over 7 years ago

Names.Add: Disambiguator synonym

* Later it may evolve to a data type with multiple kinds of disambiguators

9d50cfb44240fea93fb77d92b7a029d4bd8083c7 authored over 7 years ago

Tag actions: taReplaceWithNew

8f5d8d974db3a205130a3d0564b5dad8e054a68c authored over 7 years ago

Data.Ops: extract genNewTag

425b23802fa888ae3337fbfcfeb81fe3728eb5dc authored over 7 years ago

GetFieldEdit: add delete

4a9e24560e56d872e171a013a26cb9113479057c authored over 7 years ago

InjectEdit: delete inject from tag

f055d500489061a36eab87e193278b8cf55bdfd0 authored over 7 years ago

tag actions for case tags

b84354bc7697ff13fec6e2c20ad387c29d077c88 authored over 7 years ago