Logs: liberachat/#xmonad
| 2021-06-03 13:33:14 | → | hjulle[m] joins (~hjullemat@2001:470:69fc:105::1dd) |
| 2021-06-03 13:33:15 | → | TomasJakl[m] joins (~jaklttchn@2001:470:69fc:105::a42) |
| 2021-06-03 13:33:15 | → | Jason[m] joins (~jasonzemo@2001:470:69fc:105::a44) |
| 2021-06-03 13:33:15 | → | jgart[m] joins (~jgartemat@2001:470:69fc:105::5c9) |
| 2021-06-03 13:33:15 | → | Las[m] joins (~lasmatrix@2001:470:69fc:105::74e) |
| 2021-06-03 13:33:16 | → | Lehvak[m] joins (~lehvakmat@2001:470:69fc:105::469) |
| 2021-06-03 13:33:16 | → | liskin[m] joins (~liskinmat@2001:470:69fc:105::768) |
| 2021-06-03 13:33:17 | → | nihilipster[m] joins (~nihilipst@2001:470:69fc:105::720) |
| 2021-06-03 13:33:17 | → | Daniel[m] joins (~therealda@2001:470:69fc:105::740) |
| 2021-06-03 13:33:18 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 2021-06-03 13:33:18 | → | yuu[m] joins (~yuumatrix@2001:470:69fc:105::8a6) |
| 2021-06-03 13:33:24 | → | AunJaffery[m] joins (~aunoxmatr@2001:470:69fc:105::a2d) |
| 2021-06-03 13:33:24 | → | CodeBitCookie[m] joins (~code-bit-@2001:470:69fc:105::a2f) |
| 2021-06-03 13:33:24 | → | d9ny[m] joins (~d9nymatri@2001:470:69fc:105::a30) |
| 2021-06-03 13:33:24 | → | dev[m] joins (~devnetmat@2001:470:69fc:105::a33) |
| 2021-06-03 13:33:24 | → | abhixec[m] joins (~abhixecma@2001:470:69fc:105::a2a) |
| 2021-06-03 13:33:24 | → | antilambda[m] joins (~antilambd@2001:470:69fc:105::a2b) |
| 2021-06-03 13:33:24 | → | AhmedAl-Hamed[m] joins (~asalhamed@2001:470:69fc:105::a2c) |
| 2021-06-03 13:33:24 | → | By_JumperX4[m] joins (~byjumperx@2001:470:69fc:105::a2e) |
| 2021-06-03 13:33:24 | → | Dave[m] joins (~davama1ma@2001:470:69fc:105::a31) |
| 2021-06-03 13:33:24 | → | devnet[m] joins (~devnet20m@2001:470:69fc:105::a32) |
| 2021-06-03 13:33:25 | → | dkasak[m] joins (~dkasakter@2001:470:69fc:105::a34) |
| 2021-06-03 13:33:25 | → | dmytrokurch[m] joins (~dmytrokur@2001:470:69fc:105::a35) |
| 2021-06-03 13:33:25 | → | egeas[m] joins (~egeasasra@2001:470:69fc:105::a37) |
| 2021-06-03 13:33:25 | → | galambborong[m] joins (~galambbor@2001:470:69fc:105::a39) |
| 2021-06-03 13:33:25 | → | Drishal[m] joins (~drishalma@2001:470:69fc:105::a36) |
| 2021-06-03 13:33:25 | → | EdwardTjrnhammar joins (~edwtjofai@2001:470:69fc:105::3cb) |
| 2021-06-03 13:33:25 | → | fakecrafter[m] joins (~fakecraft@2001:470:69fc:105::a38) |
| 2021-06-03 13:33:26 | → | gustavcedersjo[m joins (~gustavced@2001:470:69fc:105::a3b) |
| 2021-06-03 13:33:26 | → | globulis[m] joins (~globulism@2001:470:69fc:105::a3a) |
| 2021-06-03 13:33:26 | → | hellquist[m] joins (~hellquist@2001:470:69fc:105::a3c) |
| 2021-06-03 13:33:26 | → | iffsid[m] joins (~iffsidmat@2001:470:69fc:105::a3e) |
| 2021-06-03 13:33:26 | → | indium[m] joins (~indiummat@2001:470:69fc:105::a3f) |
| 2021-06-03 13:33:26 | → | instinctive[m] joins (~instincti@2001:470:69fc:105::a40) |
| 2021-06-03 13:33:26 | → | ibizaman[m] joins (~ibizamanm@2001:470:69fc:105::a3d) |
| 2021-06-03 13:33:26 | → | issadarkthing[m] joins (~issadarkt@2001:470:69fc:105::a41) |
| 2021-06-03 13:33:27 | → | jakub[m] joins (~jakubfami@2001:470:69fc:105::a43) |
| 2021-06-03 13:33:27 | → | josiah_sama[m] joins (~josiahsam@2001:470:69fc:105::a46) |
| 2021-06-03 13:33:27 | → | justinrestivo[m] joins (~justinres@2001:470:69fc:105::a47) |
| 2021-06-03 13:33:27 | → | krisfris[m] joins (~krisfrism@2001:470:69fc:105::a49) |
| 2021-06-03 13:33:27 | → | jhuizy[m] joins (~jhuizymat@2001:470:69fc:105::a45) |
| 2021-06-03 13:33:27 | → | Kidany[m] joins (~kidanymat@2001:470:69fc:105::a48) |
| 2021-06-03 13:33:27 | → | kunrooted[m] joins (~kunrooted@2001:470:69fc:105::a4a) |
| 2021-06-03 13:33:28 | → | lukebarnard[m] joins (~lukebarna@2001:470:69fc:105::a4c) |
| 2021-06-03 13:33:28 | → | madjestic[m] joins (~madjestic@2001:470:69fc:105::a4e) |
| 2021-06-03 13:33:28 | → | masse[m] joins (~masserauh@2001:470:69fc:105::3bd) |
| 2021-06-03 13:33:28 | → | MerlinGttlinger[ joins (~mgttlinge@2001:470:69fc:105::a4f) |
| 2021-06-03 13:33:28 | → | mishgun[m] joins (~mishgunma@2001:470:69fc:105::a50) |
| 2021-06-03 13:33:28 | → | moyamo[m] joins (~moyamomat@2001:470:69fc:105::a51) |
| 2021-06-03 13:33:28 | → | Sam[m]1 joins (~mmarvidfr@2001:470:69fc:105::3bf) |
| 2021-06-03 13:33:28 | → | Liyang[m] joins (~liyangmat@2001:470:69fc:105::a4b) |
| 2021-06-03 13:33:28 | → | maom[m] joins (~lurpammat@2001:470:69fc:105::a4d) |
| 2021-06-03 13:33:29 | → | Roos[m] joins (~roosember@2001:470:69fc:105::a56) |
| 2021-06-03 13:33:29 | → | rosariopulella[m joins (~rosariopu@2001:470:69fc:105::a57) |
| 2021-06-03 13:33:29 | → | samhh[m] joins (~samhhmatr@2001:470:69fc:105::a58) |
| 2021-06-03 13:33:29 | → | pavelthebest[m] joins (~paveltheb@2001:470:69fc:105::a52) |
| 2021-06-03 13:33:29 | → | ph_0x17[m] joins (~ph0x17mat@2001:470:69fc:105::a53) |
| 2021-06-03 13:33:29 | → | pnotequalnp[m] joins (~pnotequal@2001:470:69fc:105::a54) |
| 2021-06-03 13:33:29 | → | __[m] joins (~quillaspm@2001:470:69fc:105::a55) |
| 2021-06-03 13:33:29 | → | sanuto[m] joins (~sanutomat@2001:470:69fc:105::a59) |
| 2021-06-03 13:33:30 | → | TheWizardTower[m joins (~thewizard@2001:470:69fc:105::a5b) |
| 2021-06-03 13:33:30 | → | triumphofdeath[m joins (~triumphof@2001:470:69fc:105::a5c) |
| 2021-06-03 13:33:30 | → | vyorkin[m] joins (~vyorkinma@2001:470:69fc:105::a5e) |
| 2021-06-03 13:33:30 | → | YehoshuaPesachWa joins (~yehoshuap@2001:470:69fc:105::a5f) |
| 2021-06-03 13:33:30 | → | therivercass[m] joins (~theriverc@2001:470:69fc:105::a5a) |
| 2021-06-03 13:33:30 | → | zpartacoos[m] joins (~zpartacoo@2001:470:69fc:105::a60) |
| 2021-06-03 13:33:30 | → | mc47[m] joins (~mc47matri@2001:470:69fc:105::733) |
| 2021-06-03 13:54:52 | <Solid> | mh either I'm stupid or `T` is really not suited for testing arbitrary layouts for anything |
| 2021-06-03 13:55:19 | <Solid> | we can't even do (l `pureMessage` ...) because an Int is not _really_ a layout |
| 2021-06-03 14:06:31 | <Solid> | oh right Choose doesn't even implement pureMessage, so we'd need handleMessage anyways which needs X |
| 2021-06-03 14:30:18 | × | geekosaur quits (~geekosaur@069-135-003-034.biz.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-06-03 14:32:06 | → | geekosaur joins (~geekosaur@069-135-003-034.biz.spectrum.com) |
| 2021-06-03 15:02:27 | → | thunderrd joins (~thunderrd@183.182.115.184) |
| 2021-06-03 15:09:05 | × | themainman quits (~themainma@user/themainman) (Quit: WeeChat 3.1) |
| 2021-06-03 15:09:21 | → | themainman joins (~themainma@user/themainman) |
| 2021-06-03 15:24:53 | → | seschwar joins (~seschwar@user/seschwar) |
| 2021-06-03 15:55:10 | <liskin> | I vaguely remember Arbitrary T just puts ones or zeroes in all the layouts. |
| 2021-06-03 16:18:46 | <liskin> | but you don't really want a StackSet do you? what you want is a binary tree, and then you turn that into a binary tree of (|||) of the same shape |
| 2021-06-03 16:19:03 | <liskin> | and you'll need a custom layout to put into that tree that has a description and some hideable state |
| 2021-06-03 16:19:55 | <liskin> | not sure if there's an Arbitrary instance for binary trees of Strings (descriptions) |
| 2021-06-03 16:38:42 | <Solid> | but tests can't be in X can they? |
| 2021-06-03 16:43:00 | <liskin> | oh right |
| 2021-06-03 16:43:11 | <liskin> | I'll think about it during lunch |
| 2021-06-03 17:26:20 | <liskin> | Solid: I think you may be able to get away with doing runX undefined undefined (handleMessage …) |
| 2021-06-03 17:27:00 | <liskin> | it's ugly but we know that the Choose layout doesn't really need X |
| 2021-06-03 17:29:54 | → | berberman_ joins (~berberman@user/berberman) |
| 2021-06-03 17:30:58 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds) |
| 2021-06-03 17:31:20 | <liskin> | but yeah, not having any clean way to test these monadic parts of layout is quite a shortcoming |
| 2021-06-03 17:31:33 | <liskin> | how did no one miss it all those years? |
| 2021-06-03 17:34:59 | <liskin> | btw I made my own xmonad-testing yesterday: https://github.com/liskin/dotfiles/blob/home/.xmonad-testing/Makefile |
| 2021-06-03 17:35:52 | <liskin> | at this points I should probably really just use nix instead, but I'm too oldschool :-( |
| 2021-06-03 17:42:26 | lyiriyah[m] | < https://libera.ems.host/_matrix/media/r0/download/libera.chat/331449c960923e9ad668e5f4ae13de936c674a87/message.txt > |
| 2021-06-03 17:46:24 | <liskin> | lyiriyah[m]: looks like you're missing some parentheses around the arguments to Tall |
| 2021-06-03 17:46:46 | <lyiriyah[m]> | 🤦 |
| 2021-06-03 17:47:01 | <lyiriyah[m]> | Thanks -- I'll see if it works |
| 2021-06-03 17:48:04 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 272 seconds) |
| 2021-06-03 17:48:30 | <lyiriyah[m]> | It does, thanks so much |
| 2021-06-03 17:48:34 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-03 17:50:38 | → | tremon joins (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) |
| 2021-06-03 18:41:17 | <Solid> | liskin: uff... thanks though :D |
All times are in UTC.