Lamdu commits | Ecosyste.ms: OpenCollective

remove remains of previous delete behavior

github.com/lamdu/lamdu - 6ca15d595b69d39dc44c9a9b337d0ef95d236263 authored over 7 years ago

relax some types

github.com/lamdu/lamdu - 35d4c4cc3de87651c7d1ab676183f7a9a1fb7e65 authored over 7 years ago

GetVarEdit: extract makeGetParam

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

use lens style

github.com/lamdu/lamdu - 2fbc63f7ca2ac5cf90f727ddef81502c3b6301e6 authored over 7 years ago

Cleanup in Names.Walk

github.com/lamdu/lamdu - 261b05df1dc33f16e2696ca51a74354cda886bfc authored over 7 years ago

Names.Walk.TypeSignature

rather than parameterization of Sugar.LabeledApply which made things messy.

Using name "normal ...

github.com/lamdu/lamdu - 92c6b1354cac6d3547513447647772c6388155bd authored over 7 years ago

some dead code removal with weeder

not all dead code removed because a lot of dead code is for lens which might be put in use,
and ...

github.com/lamdu/lamdu - 40f313d54333278ce4b47010ca70242bcc55bb88 authored over 7 years ago

more lightweight case analysis of nominal type values

the from-nom is not shown anymore, making case analysis on par with other languages without the ...

github.com/lamdu/lamdu - 0577868941740193c2104109d2f06b9fd5b2e302 authored over 7 years ago

Revert "UI experiment: Inject uses symbol to disambiguate with application"

This didnt contribute much and made things look unnecessary more verbose than textual language c...

github.com/lamdu/lamdu - 9832962659baa862b60bf26616814d3c53213b70 authored over 7 years ago

can wrap binder content with let items

didn't implement applying operators on these but perhaps that's not a desired feature anyhow

github.com/lamdu/lamdu - 2aa7ed0def183bac527b91c3b37f4a1f024354a4 authored over 7 years ago

mtl style

github.com/lamdu/lamdu - 9c0b8840163ad988c8b8a9d7f7bd533f4a4d1eb2 authored over 7 years ago

HasConfig class

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

lens style

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

remove ExpressionGui stdHSpace and stdVSpace

and avoid unnecessary lifts

github.com/lamdu/lamdu - 075d21ba942d3a30e9d3b22762f60c1e055761aa authored over 7 years ago

TreeLayout vbox moved from ExpressionGui

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

avoid premature lifting and unnecessary conversions

github.com/lamdu/lamdu - 91e75b63f57f9409215d53795026396efa5e0d46 authored over 7 years ago

relax type constraint

github.com/lamdu/lamdu - 2db13bfc6587fcbc1e3d063efb4c7da545210090 authored over 7 years ago

AlignedWidget.fromView

github.com/lamdu/lamdu - 8383c52e440691442ea6950d3abd58713f8d3118 authored over 7 years ago

indentation is aligned to top-left

github.com/lamdu/lamdu - 84cd52a888b92ef8506d1c8e63af05e875cf7003 authored over 7 years ago

Builtin definition type alignment fix

github.com/lamdu/lamdu - 2f78a1216a36cabeb4abac111d78f1130768034d authored over 7 years ago

cleanup

avoid premature lifting and remove redundant convinience function

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

Default alignment point is top-left of text

github.com/lamdu/lamdu - 245278da55fcfda46818ddbd41a05d840cd665c4 authored over 7 years ago

Replace funny R->Widget functions with ExpressionGui/TreeLayout types

github.com/lamdu/lamdu - 159c8df19803ee3af3a9d356fe2323d33239da63 authored over 7 years ago

Remove obsolete type indicator

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

Post-process expressions after updating outdated defs

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

Add command-line import support

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

Remove stale Makefile

github.com/lamdu/lamdu - 04fa8ce8c99aaef1eb124586c81f1dd8f82d2c36 authored over 7 years ago

stdlib: remove length for streams

it's bad practice to use it so it shouldn't be in stdlib

github.com/lamdu/lamdu - 9199ac3594a1bf9c98cced757f71aab4e1c53e39 authored over 7 years ago

TextView.makeFocusableLabel

github.com/lamdu/lamdu - 293503f023076700cb1abe9fc7762cacfed4b857 authored over 7 years ago

gitignore

github.com/lamdu/lamdu - 6b48b133418d07539f3e294ba6ae070671d960ca authored over 7 years ago

update yaml

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

cleanup

github.com/lamdu/lamdu - 86f469ac41ca63e05070a28cccf4bf83e77ea37b authored over 7 years ago

use Main.EventResult instead of tuples

github.com/lamdu/lamdu - 479c188ac3f9bcd01d73c2269e4103ed9a52a1f9 authored over 7 years ago

hello world example doesnt limit font size

github.com/lamdu/lamdu - 2cc35f458aae26d299083532f708b60c3274127f authored over 7 years ago

remove outdated comment

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

respondToCursor=>setFocused

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

cleanup

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

changes to wrapper holes

now there is no additional selection layer of wrapper hole in contrast to the hole arg.
the acti...

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

del key on wrapper hole should always delete

was leftover from old deletion behavior.

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

fix weird indentation

github.com/lamdu/lamdu - 6830386e39646447452bb2da994e208c848c08fd authored over 7 years ago

fix animation glitch on hole arg type when switching to hole search area

Hole arg had the same anim id as the injected expr standing for it in results

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

avoid RecordWildCards and remove unused line

(line not detected unused due to record wildcards)

github.com/lamdu/lamdu - 2f359b6cd1dc196c181ff31477e77f325204d856 authored over 7 years ago

RedundantAnnotations: fix bug causing hole arg types not to show in type mode

github.com/lamdu/lamdu - 940fb1fb81476b374c3c7d3ce9dfa7894b5906c6 authored over 7 years ago

GetVarEdit cleanup

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

HasWidget class. Less lifting

github.com/lamdu/lamdu - 70b0772d9d8892dd6e5962ead456b090c0ebe84a authored over 7 years ago

Remove Layout class. pad moves to MkView

github.com/lamdu/lamdu - 06f1a199f9605345c40f53e88024da80c1869ca5 authored over 7 years ago

Merge pull request #2 from vanschelven/patch-1

Update README.md

github.com/lamdu/lambdu - 06a99aa8164c692a910f34c2aa34a478f6d13283 authored over 7 years ago

Create README.md

When initially looking for (misspelled) lambdu's Github project, Google sent me to the present r...

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

Remove unused code

github.com/lamdu/lamdu - 33500d1eb198e11818f84a81fa5d7e4fac8d3359 authored over 7 years ago

work around Parallels reporting monitor size of 0x0

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

add gui-examples/SysInfo.hs

trying to investigate why things look off in Parallels VM hosted Ubuntu..

github.com/lamdu/lamdu - 80b125e28d91d1cb025be94bc9177bd6f0a35f33 authored over 7 years ago

manual instances to work around a GHC compilation performance bug

saves around 30 seconds in compilation time

github.com/lamdu/lamdu - 1d7efca888df7b8280bacb9632b8b298268b15d6 authored over 7 years ago

Sugar.Types.Binder: move NameRef out to Types.Expression

Binder is the module that takes longest to compile
(and on an Ubuntu VM here it fails due to tak...

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

maintain gui example

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

HasEventMap class reduces lots of lifting

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

Widget is a Functor

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

charOfKey moved to GLFWUtils

github.com/lamdu/lamdu - 1e73aac919d49a905a0485d617bdf0c5a6e332ec authored over 7 years ago

View.MkView class

Has a Lens.Setter' rather than a Lens' and so relevant for TreeLayout too.
Prehaps could have be...

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

addValFrame doesnt get Widget.Id

github.com/lamdu/lamdu - 2b537caebabee60ba125daf18a66a5737d463803 authored over 7 years ago

oops remove unnecessary lifts

github.com/lamdu/lamdu - 25c4cb1fad0ebe8068cd3af07a2f9fce12af1c5f authored over 7 years ago

cleanup / use HasAnimIdPrefix

github.com/lamdu/lamdu - 0777f72fd2711f97a8cf2f2b00393397ce55e505 authored over 7 years ago

HasView class

Widget and AlignedWidget are instance of HasView instead of wrapping various View operations.
Tr...

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

Config: remove newtype wrapper Help

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

oops fix warning and hlint police

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

View.HasAnimIdPrefix used for labels and background colors.

Less anim-id passing needed. Probably some code could be cleaned further

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

EventMapHelp: refactor to use reader monad style

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

EventMapHelp: change params order towards using reader

github.com/lamdu/lamdu - 2cfb1a55e9e891f480bfe0ad3dcb4eab4498045f authored over 7 years ago

EventMapHelp: cleanups

remove unused misleading contexts, avoid passing global around

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

EventMapHelp: lens style

github.com/lamdu/lamdu - 1b7f0a090eb50eb5049e73cdc3194500c2cc40c3 authored over 7 years ago

makeLabel gets the text outside the monad because it is mainly used for fixed texts

github.com/lamdu/lamdu - 35db07511aa1933323461630c94156f5b0687638 authored over 7 years ago

View.HasAnimIdPrefix

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

addInnerFrame moved from Widget to View

github.com/lamdu/lamdu - 09ba6e28ea3f36fa1a5fc381983761e3af89737b authored over 7 years ago

remove unused pane tint and background options

we've had these options turned off for a while, can stop supporting/maintaining them

github.com/lamdu/lamdu - 84d0040fa70d49df757bd98d4a9c0a990bc0b803 authored over 7 years ago

remove commented (dead) code

github.com/lamdu/lamdu - 926bc309f977c9cc566b4029df702022702a0a3f authored over 7 years ago

update fac example keystroke sequence

github.com/lamdu/lamdu - 34852a5c65d8a6557e9e36b32a040cd93f5cd6c3 authored over 7 years ago

simplify jump to rhs and remove faulty jump to lhs functionality

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

cleanup in BinderEdit

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

simplify stdWrapParentExpr

github.com/lamdu/lamdu - 255401bb5b1919779da3a50dfb2c9967db85fd06 authored over 7 years ago

ExprGuiM: Remove superfluous wrapping

github.com/lamdu/lamdu - 40d3298cd7dd5f1fe7a052eb55884f8804f98b08 authored over 7 years ago

Remove WidgetsEnvT

github.com/lamdu/lamdu - 92ea56770904808865416e3d9e59a6a94d6f7449 authored over 7 years ago

Style: Use lenses

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

Style: Remove RecordWildCards

github.com/lamdu/lamdu - 82edfde68c28e8e8093143858d2fc72882ab7c37 authored over 7 years ago

CodeEdit: Remove references to WidgetEnvT

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

ExprGuiM: Remove references to WidgetEnvT

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

Add MonadTransaction

github.com/lamdu/lamdu - 6c983df89dd192b6789fd3c67a50ccc10ebbcedd authored over 7 years ago

Remove superfluous uses of widgetEnv

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

Remove ExprGuiM.localEnv

github.com/lamdu/lamdu - 2a5fccf4606f1b90db09bbed606c98b8203fc88a authored over 7 years ago

WidgetsEnvT.assignCursor*,local -> Widget

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

WidgetsEnvT: Remove readTextStyle

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

WidgetsEnvT: Remove readCursor

github.com/lamdu/lamdu - 750bb1a5a9aeb7993cd13a979239376d84b865b0 authored over 7 years ago

WidgetsEnvT: Remove localEnv

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

Kill WE.subCursor, move isSubCursor into Widget

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

VersionGUI: Remove use of WidgetsEnvT

github.com/lamdu/lamdu - 20fdcc2dbc1cbdff3835a2ea542275eaba8942d0 authored over 7 years ago

Slay the Bottle.Widgets dragon

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

FocusDelegator: Move parameters inside the monad

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

Remove FocusDelegators maker wrappers

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

FocusDelegator,Choice: Remove RecordWildcards

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

remove usages of WidgetEnvT

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

Bottle.WidgetsEnvT -> Lamdu.GUI.{WidgetsEnvT,Spacing}

github.com/lamdu/lamdu - 2ad78d14faa5205d9484d78005ac4dae7027ccad authored over 7 years ago

Towards MonadReader instead of explicit envs

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