Lamdu commits | Ecosyste.ms: OpenCollective

Rename Hyper.{Type=>Combinator}.Cont

github.com/lamdu/hypertypes - 1b6c6b3f8e303ec0422ceab6fb0f7f30cec37eed authored about 5 years ago

HContext instances

github.com/lamdu/lamdu-calculus - 9675b82faa6cc99141399d61e47932dba53fb46c authored about 5 years ago

makeHContext supports more cases

github.com/lamdu/hypertypes - 3388d6d52d957b4f1309f4eb73de3f894c4d4c04 authored about 5 years ago

Hyper.TH.Context

github.com/lamdu/hypertypes - 6646c8793f07e050f8709d548101b77aba8c5dbd authored about 5 years ago

TH utils also expose data constructor variant

github.com/lamdu/hypertypes - 2550de7b01240e429b7a44a2069501f31244d16b authored about 5 years ago

HContext - a class for hypertypes which can be "edited" by replacing their nodes

github.com/lamdu/hypertypes - bf2b6f9613a188b2ebd0c761937d078deddefaec authored about 5 years ago

generalize writeValWithStoredSubexpressions

github.com/lamdu/lamdu - d5dd4551a9d6573cd62df5326264b6653056cf71 authored about 5 years ago

writeValWithStoredSubexpressions uses more generic type towards generalizing further

github.com/lamdu/lamdu - 6a61234df8637c7f95ce577f58d2a0db42961bca authored about 5 years ago

generalize randomizeParamIdsG

github.com/lamdu/lamdu - 4d56b39e35e1e69b714623a4aebc44cc01c39758 authored about 5 years ago

remove unused functionality of Lamdu.Expr.GenIds.randomizeParamIdsG

github.com/lamdu/lamdu - 68351eac408110f22b7ecb95be98cdeaf0dd6aef authored about 5 years ago

hypertypes bump

github.com/lamdu/lamdu - 4a580405a22e41aee40b6d7e67a11dda1d268bf0 authored about 5 years ago

some missing recursive instances

github.com/lamdu/hypertypes - 1d7283ab6e413af06d93512a95773556d0a00a64 authored about 5 years ago

bump lamdu-calculus dep for generalized lens types

github.com/lamdu/lamdu - ab8926ef1066e6432c9f63e3b1e1fb2103416f7b authored about 5 years ago

generalize some lens

github.com/lamdu/lamdu-calculus - 851f789df770037464f9828c82d248a8d149fdc4 authored about 5 years ago

remove unused lens

github.com/lamdu/lamdu-calculus - 081f57d37e66bf1367d4448563b0ce82cef94367 authored about 5 years ago

generalize onMatchingSubexprs

github.com/lamdu/lamdu - 62bb635224c59cbe56bff3464a89e3f56df87129 authored about 5 years ago

avoid using subExprPayloads lens, towards heterogenous value types

github.com/lamdu/lamdu - e8e63cb86c73721671f449bee25bdd6f7f954d10 authored about 5 years ago

Cluster instances next to type

github.com/lamdu/hypertypes - c053278bf5a40264f7a4911f9e635f4a8ad04562 authored about 5 years ago

remove redundant empty tuples

github.com/lamdu/lamdu - 3cbb52493447c746fa802d7c2e276368414b88b1 authored about 5 years ago

Remove type synonym Hole.StorePoint

github.com/lamdu/lamdu - 24ce10f1b8cbdfe358e95c282d546a3ae5bceb2b authored about 5 years ago

Remove type synonym Hole.ResultVal

Too many type synonyms can actually make things harder to understand and modify

github.com/lamdu/lamdu - 62197f3e87f9a71178f106c9e4c3ca5dcd15b98d authored about 5 years ago

Lamdu.Expr.IRef.readVal supports reading heterogenous trees

github.com/lamdu/lamdu - 770a94828c8e158625b81048eee95da93984a649 authored about 5 years ago

use mempty

github.com/lamdu/lamdu - e4ce9f2e0b6fe5ff407d1e0e9ed8b998629b4e4f authored about 5 years ago

hlint police

github.com/lamdu/lamdu - 2991d64f916078d973e1019a3a4fd239785ac3b6 authored about 5 years ago

replace: hAnn . _Wrapped -> annotation

github.com/lamdu/lamdu - 9cf3e475812c32c1aa86c72e87f0d27039c5abf9 authored over 5 years ago

Gernalize annotation to work on any Ann, not just Tree of Ann

github.com/lamdu/hypertypes - fd98e9b179c69b526ab1a779aade4f5c685822f1 authored over 5 years ago

Add tools/cabal-conf

github.com/lamdu/lamdu - 6a127864c09b3b745a20ed5128267bb020fb1044 authored over 5 years ago

Add lens to directly access an annotation

github.com/lamdu/hypertypes - ef8a954bdff884518b9f7c317c6d3d6c30e1f2de authored over 5 years ago

Use Annotated synonym

github.com/lamdu/lamdu - e97d0e7e0480b50235711bed91de58a88bd4b453 authored over 5 years ago

Ann: Add Annotated synonym

github.com/lamdu/hypertypes - 8655f80a9470483cde21d1b9c443328b135d0611 authored over 5 years ago

generalize some utility functions (towards typed lambdas)

github.com/lamdu/lamdu - f9a0963c85f8d0ef9eaa5d060eb65593a3b2357f authored over 5 years ago

TagPane: Add symbol edit

github.com/lamdu/lamdu - c49c8d81e516bbd3e59da6ac0a80d0754921b503 authored over 5 years ago

Add Styled.withDisabledColor

github.com/lamdu/lamdu - cf841d04c0c2fd35eb1ba9526845ac8a31dae0cb authored over 5 years ago

TagPane: Extract makeLangsTable

github.com/lamdu/lamdu - 483b66b8aa96311672e0463360974136a5fd3ad1 authored over 5 years ago

Rename: tpSetName -> tpSetTexts

github.com/lamdu/lamdu - dafc2856684ceebb90682f1413dd6ae67b7fbb66 authored over 5 years ago

TagPane: refactor

github.com/lamdu/lamdu - 240609aa0f7991bd87a0983371e75927fb4dbff5 authored over 5 years ago

TagPane: re-use 'row'

github.com/lamdu/lamdu - e535791bf684412f7c8e7ef92c4eda949d9ed177 authored over 5 years ago

Rename tag operator to tag symbol

github.com/lamdu/lamdu - 059edce3a5f088cf5aea8b477a0f94fc6803589b authored over 5 years ago

Use TextWidget type synonym

github.com/lamdu/lamdu - d91c34b2dc6ce162eaceba66aba61fa224a72159 authored over 5 years ago

Theme controls basic TextEdit style

github.com/lamdu/lamdu - c5d014255b62dfb44598af1a2c80c79552840095 authored over 5 years ago

TagPane: flip makeFocusableTagNameEdit

github.com/lamdu/lamdu - 65cc2d072b7ee6bcfa3513d3dae896380eaa3a98 authored over 5 years ago

Sugar: add tpSetSymbol

github.com/lamdu/lamdu - 5771c8c13484978ba4f2050c28904391727f8a43 authored over 5 years ago

hlint police

github.com/lamdu/lamdu - b4fa75919d98e7cada7db06fda1cdbc5f5bbb956 authored over 5 years ago

hlint police

github.com/lamdu/hypertypes - cbfea7a3d487e9f2c37e445d757baed44f9fe97a authored over 5 years ago

Blame instance for HCompose Prune t

github.com/lamdu/hypertypes - 293fb4b6083ad78b1a4cf59b0dc0703e826add6c authored over 5 years ago

oops had infinite loop in inferContext of HCompose Prune t

github.com/lamdu/hypertypes - 0840dd058e81be28ebd525c46c268bd3035339c9 authored over 5 years ago

Data.Tag: Use strict fields

github.com/lamdu/lamdu - 61805fd3f4ed2d3808ac60c398c80fdeed1d0241 authored over 5 years ago

Sugar.TagPane contains the Data.Tag.Tag, not just the lang texts

github.com/lamdu/lamdu - 66717f806ee04f2213a8c770c7230fcee033a144 authored over 5 years ago

Rename: tagNames => tagTexts

github.com/lamdu/lamdu - e29a647bb2ebb18c469369600ec25f72ffb1aafc authored over 5 years ago

Rename: tpLocalizedNames => tpTagLangs

github.com/lamdu/lamdu - f10f03c6bf8c3f4081596fa17a0deee356d74035 authored over 5 years ago

Rename: LangNames -> TextsInLang

github.com/lamdu/lamdu - 47eaee953f75db3a39b043f74ab0cd090b5425ba authored over 5 years ago

TagPane: Extract heading, newForCurrentLang, editExistingLangs

github.com/lamdu/lamdu - 2cc36718e13e83ef46d3e1b117917f2c743bc201 authored over 5 years ago

Oops: fix rts to rerun trampolines in invoked callbacks

github.com/lamdu/lamdu - a7f25e9efbf4c5e348ed7a7070e76932d755d2c0 authored over 5 years ago

ReplEdit: Missing indicator still responds to cursor

* Avoid temporary red cursor when starting lamdu with cursor on
missing repl indicator

github.com/lamdu/lamdu - 27a2ecc66b8c1e0b898c4aa7e73cdc4af4c6ce31 authored over 5 years ago

missing exports

github.com/lamdu/hypertypes - 366e150df7f8f2df3926d0d37f8b63e749810443 authored over 5 years ago

no need for UndecidableSuperClasses!

github.com/lamdu/hypertypes - 0f1797349ca60b8d7867f321d5a16558860748c4 authored over 5 years ago

remove redundant imports (as found by GHC 8.8.1)

github.com/lamdu/hypertypes - 60080a77606f924c68b90c473b2ebe53df0904d2 authored over 5 years ago

missing instances

github.com/lamdu/hypertypes - 00528507910c90477018e5c461fbb2bfd35f6180 authored over 5 years ago

rename remainders

github.com/lamdu/hypertypes - 12a65b7106aecbb8e5c40a677fc0f7b326037964 authored over 5 years ago

simplify imports

github.com/lamdu/hypertypes - 2b6fcee357c71d5514d337cebb3f302b3211a740 authored over 5 years ago

HWitnessType of NominalInst: remove a wrapper

github.com/lamdu/hypertypes - 7783fac6afb16bbd931f615fa28fd5cee882e615 authored over 5 years ago

Hyper.Ann changed - affects many places!

Ann is now more powerful and replaces previous ITerm and BTerm hypertypes too,
but in most previ...

github.com/lamdu/lamdu - 0f9107993083e5e601868143623deb39ee3db3ad authored over 5 years ago

missing instances

github.com/lamdu/hypertypes - 1f43cb1ea9345fb9ffb549c446a03a79f78487f8 authored over 5 years ago

minor cleanup

github.com/lamdu/lamdu - 4f74ff782ef28e7afbe85ef93a2f2643da19991f authored over 5 years ago

missing exports

github.com/lamdu/hypertypes - e9220cbac8a79ff977ef8b15111f5bbea3c199af authored over 5 years ago

more renames in hypertypes

github.com/lamdu/lamdu-calculus - f9e7cf41e7c6010c4ca0a735dcbd14b44bdf8796 authored over 5 years ago

Fields of Ann renamed and re-exported from top-level module

Previous name "val" was not a good name to take in the namespace.

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

rename to avoid clash with library changes

github.com/lamdu/lamdu - 4c2e1f0ea4cfcd6c941575f5d986a2cf2ee2a60e authored over 5 years ago

Remove test temporarily (?) because terms shouldn't have an Arbitrary instance

We may consider using Hedgehog with monadic generators for valid terms,
with either valid scopes...

github.com/lamdu/lamdu - 464931295057cb51b09242141179cbc89c544400 authored over 5 years ago

hypertypes changes

github.com/lamdu/lamdu-calculus - b133b9060c3bf4ed2fa9cdf69995a900df9a343d authored over 5 years ago

Flip=>HFlip, Compose=>HCompose

Stuff which commonly have things with the same name get the "H" prefix.
HFlip is now re-exported...

github.com/lamdu/hypertypes - 5f9f71da8390d36ad23e6600465f4491e1fc1b97 authored over 5 years ago

Hyper.Type.Combinator.* -> Hyper.Combinator.*

After recent changes Ann is there and Flip is more common,
better to have them available in less...

github.com/lamdu/hypertypes - 5e867828075f1579f058ed763f3659faf1d8ac1a authored over 5 years ago

add temporary instance Recursive ((~) Term) while Term only contains Terms

(to make transition to hypertypes changes easier in Lamdu for now)

github.com/lamdu/lamdu-calculus - a85e8ec74390f22aab35785c31a5eb3e6d2ff6e5 authored over 5 years ago

hypertypes changes + removed (temporarily?) Arbitrary instances

github.com/lamdu/lamdu-calculus - 63a3f1a7f637226aeaad115a09084020b4cf5ada authored over 5 years ago

Remove commented out code

github.com/lamdu/lamdu-calculus - 28ba0e82e48f9faa4b831bc1a4ecf19c4f297c4f authored over 5 years ago

lamdu-calculus updates

github.com/lamdu/lamdu - bc4a54ca9628aefc087cad9ba80764a5aad0f531 authored over 5 years ago

Use Pure rather than Ann ()

github.com/lamdu/lamdu-calculus - 425423f3c79e83f5d6f3540769e404823e4f4d96 authored over 5 years ago

Remove unused lenses

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

Export Const from Hyper module

github.com/lamdu/hypertypes - ec4bb75d80b05000ffe7ac6943fe74aa286be15a authored over 5 years ago

rename fields of Ann

github.com/lamdu/hypertypes - 600c3c9c4bd90b38a4297aa26a99108cc02a0a80 authored over 5 years ago

Rename PAnn=>Ann

github.com/lamdu/hypertypes - 4af468c032c04908eda2b0e2e98814f9f20994d6 authored over 5 years ago

Remove Ann

github.com/lamdu/hypertypes - cbf1c35d92d94238a3ef88160cc959b276e382fe authored over 5 years ago

Replace Inferred and BTerm with re-use of PAnn

github.com/lamdu/hypertypes - fbd2d69c189ecbd94cb0352a4a9145c487af1fe8 authored over 5 years ago

PAnn

github.com/lamdu/hypertypes - 0653c305f961e083a57ab40a8fd816a002be7c51 authored over 5 years ago

test: imports order

github.com/lamdu/hypertypes - 32b8d4e5a804dc638f0c0882d54110c7b15ee616 authored over 5 years ago

Add migrate tool

github.com/lamdu/lamdu - eb73601d76efbb2f0becf3a1f089520173e805ef authored over 5 years ago

avoid do notation

github.com/lamdu/hypertypes - dbd37a7350410a47d07b4fae768994d644c7c2a8 authored over 5 years ago

Revert "Assert curDbSchemaVersion matches number of existing migrations"

This reverts commit 96838e361ebe09e5dd17299ac1dd717a1c4e39bf.

* Database layout version is not ...

github.com/lamdu/lamdu - 2be80e34a7d45e4e3519ac859bfbd45f57251a52 authored over 5 years ago

Enabled DefaultSignatures and GeneralizedNewtypeDeriving globally

github.com/lamdu/hypertypes - e91332b08be23e47631546b3813ae9d9d292e8d4 authored over 5 years ago

Use GeneralizedNewtypeDeriving

Can't use for instances of HTraversable and Infer due to role system limitations.

github.com/lamdu/hypertypes - 8ba6729e19489451cb530a0a0614a433ce3d6719 authored over 5 years ago

Assert curDbSchemaVersion matches number of existing migrations

github.com/lamdu/lamdu - 96838e361ebe09e5dd17299ac1dd717a1c4e39bf authored over 5 years ago

Extract the empty migration to version 11 to its own file, like the rest of the versions

github.com/lamdu/lamdu - 1dc8847bbdaa1e379a37e686ad6275aa66a6ff78 authored over 5 years ago

use LambdaCase

github.com/lamdu/lamdu-calculus - 154973d7694c1c2043da0011c87e6f0d13b5f9bc authored over 5 years ago

inline biTraverseBodyTags

github.com/lamdu/lamdu-calculus - 4702469af58a8a0352ce96dae02d71ab6ab9a52f authored over 5 years ago

remove unused bodyTags traversal

github.com/lamdu/lamdu-calculus - b198093617f631f2004443b88b05fda062448c9f authored over 5 years ago

remove payloadsIndexedByPath which is no longer used in Lamdu

github.com/lamdu/lamdu-calculus - 038fb331fc6ffb135765fdf5a0d2a1cd2a60b98e authored over 5 years ago

Remove uses of payloadsIndexedByPath to allow removing it in lamdu-calculus

github.com/lamdu/lamdu - 8a12ba3d27980dbb36cdc1e82c39b8e61542ca7d authored over 5 years ago

add hfolded1 top-level export

github.com/lamdu/hypertypes - 2e73a987bdde15773e5746c485da79737724bc10 authored over 5 years ago

hypertypes updates

github.com/lamdu/lamdu - 9342e466d5a59eed9780b284d77129c3fbac4ddb authored over 5 years ago

Add missing instances

github.com/lamdu/hypertypes - acf5b704da806cc428f5162d08429f0850d5b894 authored over 5 years ago