{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":657589271,"defaultBranch":"main","name":"generic-data-functions","ownerLogin":"raehik","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-23T11:49:09.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3764592?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1712789173.0","currentOid":""},"activityList":{"items":[{"before":"930c3a59392ccc52c1915f0f95dad052f6e47809","after":"e8bfe0c02c24a691d1debf5ab56df6eca3407b2d","ref":"refs/heads/main","pushedAt":"2024-06-15T17:35:54.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"release 0.6.0","shortMessageHtmlLink":"release 0.6.0"}},{"before":"dc427c326e51b517bef91bd3c4bab3bc17636a68","after":"930c3a59392ccc52c1915f0f95dad052f6e47809","ref":"refs/heads/main","pushedAt":"2024-06-12T12:09:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"replace sum generic traverse; even more tweaks","shortMessageHtmlLink":"replace sum generic traverse; even more tweaks"}},{"before":"17b6bfc1531082a2264b3f67b07e8a8647dce890","after":"dc427c326e51b517bef91bd3c4bab3bc17636a68","ref":"refs/heads/main","pushedAt":"2024-06-02T08:35:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"replace sum generic foldMap; lots of tweaks","shortMessageHtmlLink":"replace sum generic foldMap; lots of tweaks"}},{"before":"3607b2fe544e8406a246843da61f7d6d96f3a2e8","after":"17b6bfc1531082a2264b3f67b07e8a8647dce890","ref":"refs/heads/main","pushedAt":"2024-05-31T14:22:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"initial type-level constructor name parsing","shortMessageHtmlLink":"initial type-level constructor name parsing"}},{"before":"6f1c8006816fcae4a41fbe4cb34c8dfac055a34e","after":"3607b2fe544e8406a246843da61f7d6d96f3a2e8","ref":"refs/heads/main","pushedAt":"2024-04-18T22:05:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"FOnCstr: plug in Proxy due to typeapp issues","shortMessageHtmlLink":"FOnCstr: plug in Proxy due to typeapp issues"}},{"before":"d767858e57ae3a4e129aac435d4fd89b110e3376","after":"6f1c8006816fcae4a41fbe4cb34c8dfac055a34e","ref":"refs/heads/main","pushedAt":"2024-04-18T21:48:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"FOnCstr: let user user generic meta","shortMessageHtmlLink":"FOnCstr: let user user generic meta"}},{"before":"ffd114a227fb07cb33ca250b2c010a7574f943ef","after":"d767858e57ae3a4e129aac435d4fd89b110e3376","ref":"refs/heads/main","pushedAt":"2024-04-18T21:23:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"simplify some meta internals","shortMessageHtmlLink":"simplify some meta internals"}},{"before":"3bfd27f0c785430271df058a9ca79654685763cd","after":"ffd114a227fb07cb33ca250b2c010a7574f943ef","ref":"refs/heads/main","pushedAt":"2024-04-18T21:02:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"no need for type-level-bytestrings\n\nStill need to clean up sum type stuff, but later.","shortMessageHtmlLink":"no need for type-level-bytestrings"}},{"before":"c287dd7b3cb937f877093f9c749be54fda1c5f44","after":"3bfd27f0c785430271df058a9ca79654685763cd","ref":"refs/heads/main","pushedAt":"2024-04-18T20:56:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"FOnCstr: finish clean up","shortMessageHtmlLink":"FOnCstr: finish clean up"}},{"before":"4a28e7d6e57422ecb3399bdead14a071d4bf5806","after":"c287dd7b3cb937f877093f9c749be54fda1c5f44","ref":"refs/heads/main","pushedAt":"2024-04-18T20:21:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"Generic.Data.Cstr: some clean up","shortMessageHtmlLink":"Generic.Data.Cstr: some clean up"}},{"before":"2606cf077520f15fa9d6dfeba7ab7d45e70afa18","after":"4a28e7d6e57422ecb3399bdead14a071d4bf5806","ref":"refs/heads/main","pushedAt":"2024-04-18T19:58:49.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"initial cstr-only generics","shortMessageHtmlLink":"initial cstr-only generics"}},{"before":"e70d16c642abd8eb1180b80780b5fdca0e2faaa0","after":"2606cf077520f15fa9d6dfeba7ab7d45e70afa18","ref":"refs/heads/main","pushedAt":"2024-04-15T21:10:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"first attempt at handling sums on type-level\n\nThis is some REALLY silly stuff. It's also incredibly hard to do\nergonomically due to one GHC bug (dependent type families messing up,\nrequires adding empty TH splices), a GHC limitation (no dependent type\nfamilies in a class -- I guess I could just leave one type family\nunassociated), and the more general fact that reification is a right\npain.\n\nBut it works. Lmao.","shortMessageHtmlLink":"first attempt at handling sums on type-level"}},{"before":"6fa05fcb39c21a7e8b0da33ae94344df33f6f87a","after":"e70d16c642abd8eb1180b80780b5fdca0e2faaa0","ref":"refs/heads/main","pushedAt":"2024-04-10T22:46:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"release 0.5.1","shortMessageHtmlLink":"release 0.5.1"}},{"before":"988d10e829379e56c7578ede1c8a4dd1a453c909","after":"6fa05fcb39c21a7e8b0da33ae94344df33f6f87a","ref":"refs/heads/main","pushedAt":"2024-04-10T22:23:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"tweaks","shortMessageHtmlLink":"tweaks"}},{"before":"83e4bae16c31bea40df4c18928955b1e7963d145","after":"988d10e829379e56c7578ede1c8a4dd1a453c909","ref":"refs/heads/main","pushedAt":"2024-04-08T00:42:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"bump text upper bound (for GHC 9.8)","shortMessageHtmlLink":"bump text upper bound (for GHC 9.8)"}},{"before":"3ea4b1a7531db7ae170acdfe52b7a9f67e1cfa96","after":"83e4bae16c31bea40df4c18928955b1e7963d145","ref":"refs/heads/main","pushedAt":"2024-04-05T06:41:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"Traverse.Sum: remove spurious constraint","shortMessageHtmlLink":"Traverse.Sum: remove spurious constraint"}},{"before":"b9a9eef00b77651b23eebdd97ddd50d669206595","after":"3ea4b1a7531db7ae170acdfe52b7a9f67e1cfa96","ref":"refs/heads/main","pushedAt":"2024-04-05T06:12:36.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"release 0.5.0","shortMessageHtmlLink":"release 0.5.0"}},{"before":"07cf32ac1e16412190881c897fe554baee64740e","after":"b9a9eef00b77651b23eebdd97ddd50d669206595","ref":"refs/heads/main","pushedAt":"2024-04-04T06:42:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"update Hackage meta","shortMessageHtmlLink":"update Hackage meta"}},{"before":"22c29c1ace47b07ff5c4b9376ba3dce172df15cb","after":"07cf32ac1e16412190881c897fe554baee64740e","ref":"refs/heads/main","pushedAt":"2024-04-04T06:33:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"release 0.4.1","shortMessageHtmlLink":"release 0.4.1"}},{"before":"87a18e51b0c3756205d6993dbd950a680c2f5487","after":"22c29c1ace47b07ff5c4b9376ba3dce172df15cb","ref":"refs/heads/main","pushedAt":"2024-04-04T06:21:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"fix some inconsistencies","shortMessageHtmlLink":"fix some inconsistencies"}},{"before":"989cde62bf2d374d5c2420e1129ccff73b7d3c3d","after":"87a18e51b0c3756205d6993dbd950a680c2f5487","ref":"refs/heads/main","pushedAt":"2024-04-04T06:13:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"simplify function interfaces","shortMessageHtmlLink":"simplify function interfaces"}},{"before":"0396f3a6806b1c55271bab713c7ec3a953702e80","after":"989cde62bf2d374d5c2420e1129ccff73b7d3c3d","ref":"refs/heads/main","pushedAt":"2024-04-04T03:01:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"rip out generic rep asserts\n\nWe should be able to handle them elsewhere, better, without forcing the\nuser to interact with them here. (I have a WIP library.)","shortMessageHtmlLink":"rip out generic rep asserts"}},{"before":"62120b80511c8574a3c5444a477d77b9fe2e33e6","after":"0396f3a6806b1c55271bab713c7ec3a953702e80","ref":"refs/heads/main","pushedAt":"2024-04-03T01:59:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"add some notes on implementation enumeration type tags\n\nTurns out type classes themselves are a pretty sensible type tag.","shortMessageHtmlLink":"add some notes on implementation enumeration type tags"}},{"before":"9b38614df05c1b1d138f314256f1076bce7a23e8","after":"62120b80511c8574a3c5444a477d77b9fe2e33e6","ref":"refs/heads/main","pushedAt":"2024-04-03T01:52:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"release 0.3.1","shortMessageHtmlLink":"release 0.3.1"}},{"before":"254c297762572c8938e43f3021bff63966160009","after":"9b38614df05c1b1d138f314256f1076bce7a23e8","ref":"refs/heads/main","pushedAt":"2024-04-03T01:50:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"fix error in traverse types","shortMessageHtmlLink":"fix error in traverse types"}},{"before":"236a4d8c4636d7777d1c82d99c313ab4daa843ad","after":"254c297762572c8938e43f3021bff63966160009","ref":"refs/heads/main","pushedAt":"2024-04-03T01:09:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"release 0.3.0","shortMessageHtmlLink":"release 0.3.0"}},{"before":"b2ba9114d17d3d89385b4cba10bf0c0a7efb3556","after":"236a4d8c4636d7777d1c82d99c313ab4daa843ad","ref":"refs/heads/main","pushedAt":"2024-04-02T20:04:21.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"rewrite NoRec0, EmptyRec0 wrappers\n\nInstead of newtypes, we commit fully to the type bit and have them as\nuninstantiated data types. This fits better with the rewritten tag-based\nimplementation enumerators. Usage remains similar, I don't think they\nwere used with DerivingVia in the first place.","shortMessageHtmlLink":"rewrite NoRec0, EmptyRec0 wrappers"}},{"before":"294e556253272368e105906ab113e246cea54338","after":null,"ref":"refs/heads/contra-func","pushedAt":"2023-11-24T21:50:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"}},{"before":"7b0532e531c62284adcf75c9b19eeebaa930c95f","after":"b2ba9114d17d3d89385b4cba10bf0c0a7efb3556","ref":"refs/heads/main","pushedAt":"2023-11-24T21:50:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"add some sort of generic contravariant function\n\nidk what it is. It's the same sort of monoidal collating that we do in\ngeneric `foldMap`, but on `Contravariant` functors.\nThe types look like traverse, but it's pure.","shortMessageHtmlLink":"add some sort of generic contravariant function"}},{"before":"0c30013c9df8f47291e53215e9d377cf91a492ee","after":"294e556253272368e105906ab113e246cea54338","ref":"refs/heads/contra-func","pushedAt":"2023-11-24T21:05:33.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"raehik","name":"Ben Orchard","path":"/raehik","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3764592?s=80&v=4"},"commit":{"message":"add some sort of generic contravariant function\n\nidk what it is. It's the same sort of monoidal collating that we do in\ngeneric `foldMap`, but on `Contravariant` functors.\nThe types look like traverse, but it's pure.","shortMessageHtmlLink":"add some sort of generic contravariant function"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEZka9lQA","startCursor":null,"endCursor":null}},"title":"Activity · raehik/generic-data-functions"}