| 2024-07-30 00:01:52 +0000 | flounders | (~flounders@24.246.176.178) (Quit: WeeChat 4.3.3) |
| 2024-07-30 00:05:56 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 00:11:08 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-30 00:12:45 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-07-30 00:12:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-07-30 00:28:16 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 272 seconds) |
| 2024-07-30 00:34:21 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-07-30 00:36:41 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-30 00:36:49 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2024-07-30 00:38:59 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-07-30 00:52:25 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 00:53:52 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-07-30 01:00:35 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-07-30 01:01:06 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-30 01:15:33 +0000 | tabaqui | (~root@87.200.123.114) (Ping timeout: 248 seconds) |
| 2024-07-30 01:29:00 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 01:40:44 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-07-30 01:45:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 01:51:27 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-07-30 02:00:10 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-30 02:01:34 +0000 | xff0x | (~xff0x@2405:6580:b080:900:333f:570b:ae7a:3a3d) (Ping timeout: 260 seconds) |
| 2024-07-30 02:02:42 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 02:04:07 +0000 | Inst_ | (~Inst@user/Inst) |
| 2024-07-30 02:05:48 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 245 seconds) |
| 2024-07-30 02:08:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-07-30 02:08:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 02:09:46 +0000 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 252 seconds) |
| 2024-07-30 02:10:00 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-07-30 02:10:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 02:11:31 +0000 | td_ | (~td@i53870934.versanet.de) |
| 2024-07-30 02:17:15 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 02:21:17 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.2) |
| 2024-07-30 02:21:34 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-07-30 02:40:16 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-07-30 02:42:20 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-07-30 02:43:02 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-30 02:48:56 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 02:50:31 +0000 | Inst_ | Inst |
| 2024-07-30 03:00:15 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-30 03:10:10 +0000 | zero | (~z@user/zero) (Read error: Connection reset by peer) |
| 2024-07-30 03:10:32 +0000 | zero | (~z@user/zero) |
| 2024-07-30 03:13:49 +0000 | aforemny_ | (~aforemny@2001:9e8:6cfe:4d00:6761:b6ac:73fc:a888) |
| 2024-07-30 03:14:30 +0000 | aforemny | (~aforemny@2001:9e8:6cdc:9000:226:e6cc:3b9e:4c5f) (Ping timeout: 244 seconds) |
| 2024-07-30 03:21:34 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 03:31:33 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-30 03:39:45 +0000 | rosco | (~rosco@14.191.95.214) |
| 2024-07-30 03:45:02 +0000 | rosco | (~rosco@14.191.95.214) (Quit: Lost terminal) |
| 2024-07-30 03:54:44 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2024-07-30 04:09:07 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-07-30 04:09:31 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-30 04:22:56 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) |
| 2024-07-30 04:27:29 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2024-07-30 04:33:41 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-30 04:34:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-30 04:40:57 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-07-30 04:40:58 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-30 04:41:11 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-07-30 04:41:43 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-30 04:49:19 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 265 seconds) |
| 2024-07-30 04:49:34 +0000 | tomku | (~tomku@user/tomku) |
| 2024-07-30 04:51:51 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-30 05:05:25 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-30 05:13:26 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 05:16:05 +0000 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2024-07-30 05:17:40 +0000 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) |
| 2024-07-30 05:17:53 +0000 | jerg | (~jerg@2001:a61:2510:4100::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 05:20:06 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-07-30 05:26:16 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 05:30:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-30 05:39:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-07-30 05:40:09 +0000 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) |
| 2024-07-30 05:46:51 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-30 05:50:35 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 05:50:59 +0000 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 05:54:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 05:55:17 +0000 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) (Remote host closed the connection) |
| 2024-07-30 05:55:31 +0000 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) |
| 2024-07-30 05:56:29 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-30 05:59:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-30 06:00:04 +0000 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) |
| 2024-07-30 06:00:06 +0000 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) |
| 2024-07-30 06:00:50 +0000 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 06:01:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 06:02:41 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-30 06:05:29 +0000 | madhavanmiui | (~madhavanm@2409:40f4:1035:6eff:8000::) |
| 2024-07-30 06:05:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-07-30 06:06:44 +0000 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) |
| 2024-07-30 06:08:16 +0000 | madhavanmiui | (~madhavanm@2409:40f4:1035:6eff:8000::) (Client Quit) |
| 2024-07-30 06:14:56 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-30 06:15:06 +0000 | jerg__ | (~jerg@2001:a61:2510:4100::bb0) |
| 2024-07-30 06:15:36 +0000 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 06:20:28 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 06:21:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-30 06:22:53 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2024-07-30 06:29:40 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-07-30 06:30:08 +0000 | Inst | (~Inst@user/Inst) |
| 2024-07-30 06:35:22 +0000 | meritamen | (~user@user/meritamen) |
| 2024-07-30 06:42:27 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb663100542eb9ff72dc.dip0.t-ipconnect.de) |
| 2024-07-30 06:45:51 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-30 06:50:25 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-30 06:50:48 +0000 | jerg__ | (~jerg@2001:a61:2510:4100::bb0) (Ping timeout: 272 seconds) |
| 2024-07-30 06:51:16 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 06:52:23 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-30 06:52:55 +0000 | jerg | (~jerg@2001:a61:254e:d000::bb0) |
| 2024-07-30 06:57:10 +0000 | jerg | (~jerg@2001:a61:254e:d000::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 06:57:41 +0000 | jerg | (~jerg@2001:a61:254e:d000::bb0) |
| 2024-07-30 07:03:29 +0000 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 07:03:47 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 07:04:38 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-07-30 07:10:42 +0000 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
| 2024-07-30 07:23:26 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-30 07:25:05 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-30 07:31:20 +0000 | michalz | (~michalz@185.246.207.217) |
| 2024-07-30 07:32:01 +0000 | <Unicorn_Princess> | suppose i have some simple tree type, something like data Tree a = Empty | Node a (Tree a) (Tree a). and i want to filter it with pred :: a -> Bool |
| 2024-07-30 07:32:41 +0000 | <Unicorn_Princess> | but the catch is, i want to keep nodes if any node in its subtree satisfies the predicate |
| 2024-07-30 07:33:36 +0000 | <Unicorn_Princess> | now i can just run the predicate on the whole subtree at each node but that's O(n^2) |
| 2024-07-30 07:33:52 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2024-07-30 07:34:11 +0000 | <Unicorn_Princess> | or i can build a new tree, with (Bool, a) elements, that contain the result of the predicate |
| 2024-07-30 07:34:35 +0000 | <Unicorn_Princess> | and propagate True values up the tree in O(n) time |
| 2024-07-30 07:35:07 +0000 | <Unicorn_Princess> | and in another step do the filtering and turning it back from Tree (Bool, a) to Tree a |
| 2024-07-30 07:35:29 +0000 | <Unicorn_Princess> | is there some elegant, wizardly third way that I'm missing? |
| 2024-07-30 07:35:47 +0000 | <Unicorn_Princess> | that also avoids being O(n^2) |
| 2024-07-30 07:36:12 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 252 seconds) |
| 2024-07-30 07:37:55 +0000 | cyphase | (~cyphase@user/cyphase) |
| 2024-07-30 07:42:02 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-30 07:44:43 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 07:51:25 +0000 | <probie> | Something like `paths p Empty = Empty; paths p (Node x l r) = case (paths p l, paths p r) of { (Empty, Empty) -> if p x then (Node x Empty Empty) else Empty; (l', r') -> Node x l' r' }`? |
| 2024-07-30 07:54:00 +0000 | jerg | (~jerg@2001:a61:254e:d000::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 07:54:46 +0000 | jerg | (~jerg@2001:a61:254e:d000::bb0) |
| 2024-07-30 07:54:54 +0000 | <probie> | % data Tree a = Empty | Node a (Tree a) (Tree a) deriving Show |
| 2024-07-30 07:54:54 +0000 | <yahb2> | <no output> |
| 2024-07-30 07:55:07 +0000 | <probie> | % paths p Empty = Empty; paths p (Node x l r) = case (paths p l, paths p r) of { (Empty, Empty) -> if p x then (Node x Empty Empty) else Empty; (l', r') -> Node x l' r' } |
| 2024-07-30 07:55:07 +0000 | <yahb2> | <no output> |
| 2024-07-30 07:55:17 +0000 | <Unicorn_Princess> | oooh, i like it, thanks! |
| 2024-07-30 07:55:21 +0000 | <probie> | % paths (> 5) (Node 2 (Node 7 Empty Empty) (Node 4 Empty Empty)) |
| 2024-07-30 07:55:21 +0000 | <yahb2> | Node 2 (Node 7 Empty Empty) Empty |
| 2024-07-30 07:55:40 +0000 | <probie> | (assuming that's the sort of behaviour you want) |
| 2024-07-30 07:56:25 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 08:00:44 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-07-30 08:05:17 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 08:07:38 +0000 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) |
| 2024-07-30 08:08:29 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) |
| 2024-07-30 08:10:29 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2024-07-30 08:12:28 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-30 08:13:01 +0000 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2024-07-30 08:17:05 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-07-30 08:17:39 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-07-30 08:22:40 +0000 | tabaqui | (~root@87.200.123.114) |
| 2024-07-30 08:23:18 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-07-30 08:28:54 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-30 08:32:13 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-30 08:32:56 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-30 08:34:05 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 08:38:18 +0000 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-07-30 08:41:21 +0000 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 2024-07-30 08:42:04 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 08:45:04 +0000 | tabaqui | (~root@87.200.123.114) (Ping timeout: 260 seconds) |
| 2024-07-30 08:45:52 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2024-07-30 08:46:17 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-30 08:47:58 +0000 | jinsun | (~jinsun@user/jinsun) |
| 2024-07-30 08:50:57 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-30 08:56:02 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-30 09:02:18 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-30 09:07:20 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-30 09:13:14 +0000 | chele | (~chele@user/chele) |
| 2024-07-30 09:19:44 +0000 | meritamen | (~user@user/meritamen) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-07-30 09:26:36 +0000 | jerg | (~jerg@2001:a61:254e:d000::bb0) (Ping timeout: 272 seconds) |
| 2024-07-30 09:27:10 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 09:33:26 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-30 09:34:47 +0000 | alexherbo2 | (~alexherbo@2a02-8440-a10b-728f-d892-05f0-5485-abe4.rev.sfr.net) |
| 2024-07-30 09:36:46 +0000 | cheater | (~Username@user/cheater) |
| 2024-07-30 09:38:33 +0000 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2024-07-30 09:43:52 +0000 | alexherbo2 | (~alexherbo@2a02-8440-a10b-728f-d892-05f0-5485-abe4.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 09:52:30 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-07-30 09:59:09 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-07-30 10:08:09 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2024-07-30 10:11:44 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-30 10:13:54 +0000 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-30 10:15:54 +0000 | ZharMeny | (~user@185.248.130.75) |
| 2024-07-30 10:16:59 +0000 | ZharMeny | (~user@185.248.130.75) (Changing host) |
| 2024-07-30 10:16:59 +0000 | ZharMeny | (~user@user/ZharMeny) |
| 2024-07-30 10:19:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-30 10:20:46 +0000 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) |
| 2024-07-30 10:31:44 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-07-30 10:43:15 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-30 10:45:39 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 10:49:58 +0000 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 10:50:15 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 10:51:46 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 258 seconds) |
| 2024-07-30 10:51:46 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 258 seconds) |
| 2024-07-30 10:51:46 +0000 | s4msung | (IALEQ8po1z@user/s4msung) (Ping timeout: 258 seconds) |
| 2024-07-30 10:51:55 +0000 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2024-07-30 10:52:01 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2024-07-30 10:52:04 +0000 | s4msung | (u4jHfpaUni@user/s4msung) |
| 2024-07-30 10:58:50 +0000 | tabaqui | (~root@87.200.123.114) |
| 2024-07-30 11:03:03 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 11:03:36 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-07-30 11:15:42 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-30 11:16:07 +0000 | xff0x | (~xff0x@2405:6580:b080:900:9e38:497d:6793:e966) |
| 2024-07-30 11:17:53 +0000 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) |
| 2024-07-30 11:26:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2024-07-30 11:26:54 +0000 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) |
| 2024-07-30 11:27:27 +0000 | tabaqui | (~root@87.200.123.114) (Ping timeout: 276 seconds) |
| 2024-07-30 11:29:44 +0000 | dans22260 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 11:32:03 +0000 | dans22260 | (~danse-nr3@user/danse-nr3) (Client Quit) |
| 2024-07-30 11:32:04 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 260 seconds) |
| 2024-07-30 11:35:42 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 11:56:54 +0000 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 2024-07-30 12:03:58 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 12:06:12 +0000 | <bwe> | how can I write a list of [MyDataType] to file? show and then trying `BL.writeFile fileName bs` is a mess, since Data.ByteString.Lazy.UTF8.fromString conflicts with BL and there is no BL.fromString. |
| 2024-07-30 12:06:58 +0000 | <bwe> | BL.pack . show $ myData -- throws Couldn't match type ‘Char’ with ‘GHC.Word.Word8’ |
| 2024-07-30 12:11:33 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-30 12:12:35 +0000 | <bwe> | bytestring-show seems to be outdated |
| 2024-07-30 12:14:21 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 12:18:05 +0000 | <jackdk> | bwe: do you have a particular serialisation format that you need to conform to? |
| 2024-07-30 12:18:28 +0000 | <bwe> | jackdk: no, I just want to dump it to file and be able to read it again. |
| 2024-07-30 12:19:18 +0000 | <danse-nr3> | python has 'pickle' for that, it's handy. When i want something similar, i usually just write a show output |
| 2024-07-30 12:19:47 +0000 | <jackdk> | My advice: don't use Read and Show for this. Treat Show as a class for debugging, and generally avoid Read unless you're interfacing with a library that needs it. I would probably just read/write JSON using the `aeson` library |
| 2024-07-30 12:20:52 +0000 | <jackdk> | I prefer to manually write the necessary instances, but you could get by with `deriving stock (Generic)` (import GHC.Generics) and `deriving anyclass (FromJSON, ToJSON)` (import Data.Aeson) and enabling the extensions it asks for (`DerivingStrategies`, `DeriveGeneric`, and `DeriveAnyClass`) |
| 2024-07-30 12:22:03 +0000 | <jackdk> | You can then use Data.Aeson.encodeFile and Data.Aeson.eitherDecodeFileStrict |
| 2024-07-30 12:23:46 +0000 | <bwe> | jackdk: well, which alternatives do I have? |
| 2024-07-30 12:24:44 +0000 | <bwe> | I mean why is the BS, text, String landscape so messed up that I can't simply write data constructors to file and need to resort to encode decode to JSON? |
| 2024-07-30 12:25:25 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-07-30 12:26:10 +0000 | <jackdk> | My personal experience is that Text.Read functions don't give you very good error information, so if you change something and get it wrong, it's not much fun |
| 2024-07-30 12:26:26 +0000 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 12:26:43 +0000 | <bwe> | so there we are, it's a complete mess and it's frustrating the developer experience. |
| 2024-07-30 12:26:55 +0000 | <yushyin> | serialise (cbor) would be an alternative |
| 2024-07-30 12:26:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 12:27:15 +0000 | <jackdk> | You could use `System.IO.writeFile` with `show` and `readMaybe` with `System.IO.readFile`; most of your problem is that you're using ByteString functions with read/show which work on String |
| 2024-07-30 12:28:59 +0000 | <jackdk> | the String type is a historical error and rarely what you want. Use Text if you're working with real text and ByteString if you're working with bytes. Most languages make this distinction. In real code, I try to use a real streaming library instead of worrying overmuch about the lazy variants. |
| 2024-07-30 12:29:00 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 272 seconds) |
| 2024-07-30 12:29:11 +0000 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-30 12:30:27 +0000 | <jackdk> | To convert between Text and ByteString, use the functions in `Data.Text.Encoding` from package `text` |
| 2024-07-30 12:30:42 +0000 | <bwe> | yushyin: looks promising, I might need to ditch `https://hackage.haskell.org/package/Decimal` for there is no instance for serialising it… |
| 2024-07-30 12:32:22 +0000 | <jackdk> | The usual idiom for "a type in another library doesn't provide the instance I want" is to wrap it in a `newtype` and put the instance on that. That said, https://hackage.haskell.org/package/scientific is the package I see most often to represent numbers beyond Float and Double |
| 2024-07-30 12:32:59 +0000 | <bwe> | jackdk: yeah, it was recommended to me as the go to lib nowadays |
| 2024-07-30 12:34:24 +0000 | <bwe> | jackdk: but Decimal can handle 1/3 while Scientific complains. |
| 2024-07-30 12:34:49 +0000 | <Axman6> | How does Decimal handle 1/3? |
| 2024-07-30 12:35:08 +0000 | <bwe> | Axman6: https://hackage.haskell.org/package/Decimal-0.5.2/docs/Data-Decimal.html |
| 2024-07-30 12:35:25 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 12:35:58 +0000 | <Axman6> | Sure, but what does it do with 1/3? |
| 2024-07-30 12:36:03 +0000 | <jackdk> | You could also use `Rational` from `base`. I don't know what your needs are |
| 2024-07-30 12:36:26 +0000 | <jackdk> | I do know that I need to get up early, so I'll leave the conversation in a moment |
| 2024-07-30 12:36:34 +0000 | <Axman6> | If that's something you need, Rational would be a better option (and IIRC is what safe-money does, which would be my goto if I need to do money things like in the Decimal examples) |
| 2024-07-30 12:36:37 +0000 | <bwe> | jackdk: sweet dreams. |
| 2024-07-30 12:36:55 +0000 | <jackdk> | thanks mate, good luck |
| 2024-07-30 12:37:09 +0000 | <bwe> | thanks! |
| 2024-07-30 12:37:12 +0000 | <Axman6> | bwe: what are you representing? |
| 2024-07-30 12:37:51 +0000 | <bwe> | Axman6: different mass in different units and single currency, dividing them at some point |
| 2024-07-30 12:38:35 +0000 | <bwe> | final user repr should be in decimal, however; it's easier to compare decimals instead of fractions. |
| 2024-07-30 12:39:32 +0000 | <bwe> | Axman6: ah, great safe-money-serialise provides instances for serialise |
| 2024-07-30 12:39:33 +0000 | <Axman6> | https://hackage.haskell.org/package/dimensional is where I'd start for units of anything other than currency |
| 2024-07-30 12:40:55 +0000 | <probie> | Axman6: Something like `333...[255 times] / 10^255` I think |
| 2024-07-30 12:41:49 +0000 | <Axman6> | :( |
| 2024-07-30 12:42:13 +0000 | <bwe> | Axman6: I am careful: how would I interface dimensional with safe-money? |
| 2024-07-30 12:42:18 +0000 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-07-30 12:42:20 +0000 | <Axman6> | I've worked in finance, and our approach was to be explicit about rounding |
| 2024-07-30 12:42:31 +0000 | <Axman6> | bwe: not sure =) |
| 2024-07-30 12:42:55 +0000 | <bwe> | Axman6: so, your go-to for anything repr money is safe-money, right? |
| 2024-07-30 12:43:08 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-30 12:43:16 +0000 | <Axman6> | But you can turn dimensional values into numbers, and do maths on the numbers you can get out of safe-money |
| 2024-07-30 12:43:37 +0000 | <Axman6> | bwe: it would be in Haskell, I don't think I've seen anything else that's as careful |
| 2024-07-30 12:44:10 +0000 | <bwe> | Axman6: yes, at its very foundation I'd need to be able to make calculations with dimensional and safe-money numbers |
| 2024-07-30 12:45:44 +0000 | <Axman6> | dimensional is very much about physical quantities, and safe-money is about currency. At some point if you need to combine them you'll need to just get numbers out and do multiplication or division on them |
| 2024-07-30 12:47:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-30 12:47:01 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-30 12:47:29 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 12:47:41 +0000 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) |
| 2024-07-30 12:48:33 +0000 | <Axman6> | (Unless you can find a fun way to combine them and maintain appropriate invariants in the type system) |
| 2024-07-30 12:49:39 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: nap) |
| 2024-07-30 12:50:14 +0000 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-30 12:53:34 +0000 | <bwe> | it = (1.05 :: Dense "EUR") + (0.6 :: Dense "EUR") |
| 2024-07-30 12:53:37 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Ping timeout: 252 seconds) |
| 2024-07-30 12:53:48 +0000 | <bwe> | (1.05 :: Dense "EUR") + (0.6 :: Dense "EUR") |
| 2024-07-30 12:54:04 +0000 | <bwe> | The Dense type is deliberately not an instance of Fractional |
| 2024-07-30 12:56:27 +0000 | <bwe> | …simple addition is not straightforward. |
| 2024-07-30 13:04:12 +0000 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 2024-07-30 13:07:34 +0000 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-07-30 13:08:56 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-07-30 13:09:23 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-07-30 13:09:36 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-07-30 13:10:46 +0000 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-07-30 13:12:47 +0000 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2024-07-30 13:24:08 +0000 | sm | (~znc@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2024-07-30 13:25:42 +0000 | alexherbo2 | (~alexherbo@149.148.22.93.rev.sfr.net) |
| 2024-07-30 13:31:14 +0000 | sm | (~znc@plaintextaccounting/sm) |
| 2024-07-30 13:32:54 +0000 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2024-07-30 13:36:01 +0000 | euleritian | (~euleritia@dynamic-176-003-073-210.176.3.pool.telefonica.de) |
| 2024-07-30 13:46:23 +0000 | euleritian | (~euleritia@dynamic-176-003-073-210.176.3.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-07-30 13:47:04 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-30 14:03:02 +0000 | ystael | (~ystael@user/ystael) |
| 2024-07-30 14:05:50 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 14:09:24 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 14:10:37 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-30 14:13:15 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-30 14:18:10 +0000 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-07-30 14:18:37 +0000 | Inst | (~Inst@user/Inst) |
| 2024-07-30 14:21:57 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 14:22:47 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 14:24:23 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-07-30 14:26:24 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-07-30 14:32:54 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-07-30 14:32:57 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-30 14:33:38 +0000 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Remote host closed the connection) |
| 2024-07-30 14:38:37 +0000 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-07-30 14:43:20 +0000 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) |
| 2024-07-30 14:47:54 +0000 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-30 14:48:57 +0000 | marko | (~marko@APN-122-12-44-gprs.simobil.net) |
| 2024-07-30 14:51:30 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-30 14:52:04 +0000 | alexherbo2 | (~alexherbo@149.148.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 14:52:24 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-fcec-792a-2025-8096.rev.sfr.net) |
| 2024-07-30 14:55:12 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 14:56:20 +0000 | <raehik> | why do the Handle ops e.g. `System.IO.hSeek :: Handle -> SeekMode -> Integer -> IO ()` take an Integer over an Int? |
| 2024-07-30 14:56:48 +0000 | <raehik> | I rummaged thru the Handle implementation before and forgot why this was a thing |
| 2024-07-30 14:57:43 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 14:57:54 +0000 | <c_wraith> | that API has been around since Int was usually 32 bit, and they wanted to be able to seek in files bigger than 2GB |
| 2024-07-30 14:58:34 +0000 | <raehik> | of course I realized as I asked..... |
| 2024-07-30 14:59:06 +0000 | <raehik> | thanks. previously was upgrading my Ints to Integers but probably I should just go with slow bigints all the way |
| 2024-07-30 15:01:44 +0000 | visilii | (~visilii@188.254.110.186) |
| 2024-07-30 15:02:01 +0000 | <Unicorn_Princess> | i've got a sum type similar to data Variants = First Int | Second Int | Third String ..; and i find myself writing a lot of asFirst :: Variants -> Maybe Int, asThird :: Variants -> Maybe String; -type functions, that are pattern-matching if the right thing is inside. ..is there a better way? |
| 2024-07-30 15:03:14 +0000 | <c_wraith> | possibly, but it's hard to suggest something without a use case in mind |
| 2024-07-30 15:03:28 +0000 | <Rembane> | Unicorn_Princess: Lenses/optics can help you, but also what c_wraith said. |
| 2024-07-30 15:05:51 +0000 | <Unicorn_Princess> | hm. well in this case it's just that i have a xs :: [Variants], and various functions that each apply only to one sort of variant and if they happen to get the wrong sort I want a Nothing back. |
| 2024-07-30 15:06:03 +0000 | <Unicorn_Princess> | (basically)) |
| 2024-07-30 15:06:27 +0000 | <Unicorn_Princess> | lenses you say, hm |
| 2024-07-30 15:06:44 +0000 | <Unicorn_Princess> | probably too heavy for this, but i'll keep them in mind for next time, thanks :)) |
| 2024-07-30 15:06:49 +0000 | <Unicorn_Princess> | :)* |
| 2024-07-30 15:07:43 +0000 | <c_wraith> | traversals are perfect for working with elements of a list with a particular constructor |
| 2024-07-30 15:07:44 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-07-30 15:08:08 +0000 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-07-30 15:08:25 +0000 | <Unicorn_Princess> | from Control.Lens.Traversal? |
| 2024-07-30 15:09:14 +0000 | <c_wraith> | yes, but really it's one of the core ideas of the library. It's a slight generalization of lenses that allows them to focus in multiple spots |
| 2024-07-30 15:12:06 +0000 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2024-07-30 15:17:15 +0000 | tabaqui | (~root@87.200.123.114) |
| 2024-07-30 15:21:54 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds) |
| 2024-07-30 15:24:17 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-30 15:25:33 +0000 | marko | (~marko@APN-122-12-44-gprs.simobil.net) (Quit: marko) |
| 2024-07-30 15:37:25 +0000 | itaipu | (~itaipu@168.121.98.206) (Ping timeout: 248 seconds) |
| 2024-07-30 15:38:18 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:d87a:f2c2:7e95:50b1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-30 15:38:36 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:e958:8b05:e0fc:affd) |
| 2024-07-30 15:40:06 +0000 | dans70875 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 15:40:10 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-07-30 15:40:21 +0000 | Guest|65 | (~Guest|65@edge-nat128-197-28-160.bu.edu) |
| 2024-07-30 15:40:44 +0000 | <Guest|65> | i keep getting the same error message every time i try to download through powershell |
| 2024-07-30 15:41:33 +0000 | <Guest|65> | fullyqualifiederrorid write error exception? |
| 2024-07-30 15:43:02 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 15:44:11 +0000 | <stefan-__> | Unicorn_Princess: if you dont need to modify the data structure, you can get away with a "Fold", which is basically a read-only "Traversal", e.g. https://gist.github.com/dozed/4cd2085c162dda45b17659c7d327a3f2 |
| 2024-07-30 15:44:49 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 15:45:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-30 15:50:25 +0000 | itaipu | (~itaipu@168.121.98.135) |
| 2024-07-30 15:51:11 +0000 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2024-07-30 15:53:59 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-07-30 15:56:35 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-07-30 15:56:35 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2024-07-30 15:56:36 +0000 | jinsun_ | jinsun |
| 2024-07-30 15:58:08 +0000 | <probie> | Unicorn_Princess: Why do you want a `Nothing` back? Is your function actually `[Variants] -> [Maybe SomeTypeHere]`? |
| 2024-07-30 15:58:30 +0000 | Guest|65 | (~Guest|65@edge-nat128-197-28-160.bu.edu) (Quit: Connection closed) |
| 2024-07-30 15:59:11 +0000 | dans70875 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-07-30 15:59:25 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 16:00:41 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 16:00:44 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 16:01:41 +0000 | <Unicorn_Princess> | probie, Nothing is basically the error case. I expect a certain Variant, and if it's the wrong one, i just ignore it |
| 2024-07-30 16:02:37 +0000 | <Unicorn_Princess> | e.g. howMuchMeatInHamburger <$> [Burger, Salad, Burger, Burger] |
| 2024-07-30 16:03:14 +0000 | <danse-nr3> | i mean Sum -> Maybe Val is not that terrible |
| 2024-07-30 16:03:44 +0000 | <Unicorn_Princess> | anyway don't worry about it, what i have now works fine |
| 2024-07-30 16:06:15 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-fcec-792a-2025-8096.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 16:07:36 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-f442-f273-7a20-f8e2.rev.sfr.net) |
| 2024-07-30 16:08:24 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-30 16:09:21 +0000 | <probie> | Returning `Nothing` isn't exactly ignoring it. If it works and you're happy with it, stick with it. It's just that `howMuchMeatInHamburger <$> [Burger, Salad, Burger, Burger]` seems like a weird thing to ask; my intuition is that in most cases you want to just throw away the "invalid" ones |
| 2024-07-30 16:09:52 +0000 | <probie> | unless you're generating a lot of these from the same "source" list and then zipping them together |
| 2024-07-30 16:10:31 +0000 | <Unicorn_Princess> | throwing away the invalid ones is what the catMaybes that follows does |
| 2024-07-30 16:10:43 +0000 | <danse-nr3> | :t mapMaybe |
| 2024-07-30 16:10:44 +0000 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
| 2024-07-30 16:10:49 +0000 | <EvanR> | ^ |
| 2024-07-30 16:10:55 +0000 | <EvanR> | mapMaybe goodness |
| 2024-07-30 16:11:05 +0000 | <probie> | Or you can use a list comprehension and skip the Maybe entirely |
| 2024-07-30 16:11:11 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-f442-f273-7a20-f8e2.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 16:11:19 +0000 | <probie> | % data Variants = First Int | Second Int | Third String deriving Show |
| 2024-07-30 16:11:19 +0000 | <yahb2> | <no output> |
| 2024-07-30 16:11:23 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-07-30 16:11:39 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 16:11:41 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-30 16:11:43 +0000 | <probie> | % [n*2 | Second n <- [First 3, Second 5, Third "7", First 9, Second 11, Third "11"]] |
| 2024-07-30 16:11:43 +0000 | <yahb2> | [10,22] |
| 2024-07-30 16:11:47 +0000 | <Unicorn_Princess> | working on replacing it with mapMaybe, but yes :) |
| 2024-07-30 16:13:58 +0000 | <EvanR> | that's a good one too |
| 2024-07-30 16:20:48 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 16:25:02 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-07-30 16:26:11 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 16:28:32 +0000 | <ncf> | > [Just 1, Nothing, Just 2] ^.. _Just |
| 2024-07-30 16:28:34 +0000 | <lambdabot> | error: |
| 2024-07-30 16:28:34 +0000 | <lambdabot> | • Couldn't match type ‘Maybe a’ with ‘[Maybe a0]’ |
| 2024-07-30 16:28:34 +0000 | <lambdabot> | Expected type: Getting (Endo [a]) [Maybe a0] a |
| 2024-07-30 16:28:40 +0000 | <ncf> | > [Just 1, Nothing, Just 2] ^.. folded . _Just |
| 2024-07-30 16:28:41 +0000 | <lambdabot> | [1,2] |
| 2024-07-30 16:29:28 +0000 | <EvanR> | lens-pilled |
| 2024-07-30 16:31:52 +0000 | <__monty__> | Is there something like an execState for a MonadState? If there's not I'd appreciate a stab at why my intuition that it's a reasonable thing is off. |
| 2024-07-30 16:32:51 +0000 | <__monty__> | The use case is a test case where changes to the state are verified. |
| 2024-07-30 16:33:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-07-30 16:34:25 +0000 | <EvanR> | :t execState |
| 2024-07-30 16:34:26 +0000 | <lambdabot> | State s a -> s -> s |
| 2024-07-30 16:37:35 +0000 | <EvanR> | this is like asking for a generic runState for MonadState |
| 2024-07-30 16:37:53 +0000 | <EvanR> | with the runFoo is specific to each monad |
| 2024-07-30 16:38:11 +0000 | <EvanR> | s/with/but/ |
| 2024-07-30 16:38:42 +0000 | <ncf> | __monty__: what type would it have? |
| 2024-07-30 16:39:59 +0000 | <__monty__> | MonadState s m => m a -> s -> s ? |
| 2024-07-30 16:40:00 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-30 16:40:16 +0000 | <EvanR> | in the case of m = IO that wouldn't work |
| 2024-07-30 16:40:47 +0000 | <ncf> | or rather m = StateT s IO |
| 2024-07-30 16:40:53 +0000 | <EvanR> | er, yeah |
| 2024-07-30 16:41:00 +0000 | <ncf> | (well i guess you could have a MonadState instance for IO that uses IORefs) |
| 2024-07-30 16:42:46 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-30 16:44:12 +0000 | <__monty__> | And there's no common subgroup of MonadState m's that it would work for? |
| 2024-07-30 16:45:04 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 16:45:07 +0000 | <ncf> | i mean, it would work for the ones of the form StateT s m... and it's called execStateT |
| 2024-07-30 16:45:20 +0000 | <EvanR> | :t execStateT |
| 2024-07-30 16:45:21 +0000 | <lambdabot> | Monad m => StateT s m a -> s -> m s |
| 2024-07-30 16:45:26 +0000 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-30 16:48:38 +0000 | <EvanR> | m smasms |
| 2024-07-30 16:56:44 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-30 17:17:02 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 17:28:52 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-07-30 17:29:04 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-07-30 17:31:59 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-07-30 17:34:37 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2024-07-30 17:37:49 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-30 17:44:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-30 17:52:36 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2024-07-30 17:54:07 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-07-30 17:57:15 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-07-30 17:58:26 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-30 18:01:26 +0000 | Square2 | (~Square@user/square) |
| 2024-07-30 18:03:15 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-30 18:03:27 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-30 18:08:32 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 18:13:00 +0000 | Guest85 | (~Guest85@78.135.8.93) |
| 2024-07-30 18:29:30 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 18:35:48 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-07-30 18:45:56 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-30 18:56:33 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Ping timeout: 252 seconds) |
| 2024-07-30 18:57:50 +0000 | Guest85 | (~Guest85@78.135.8.93) (Quit: Client closed) |
| 2024-07-30 19:00:42 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-30 19:03:41 +0000 | kuribas | (~user@ptr-17d51emnm92g51m299m.18120a2.ip6.access.telenet.be) |
| 2024-07-30 19:06:06 +0000 | <kuribas> | How can I "rebuild" my package on hackage? |
| 2024-07-30 19:06:10 +0000 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 19:09:00 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 19:09:36 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-30 19:10:56 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-30 19:11:16 +0000 | <kuribas> | nm, I found it. |
| 2024-07-30 19:14:03 +0000 | <danse-nr3> | v |
| 2024-07-30 19:15:11 +0000 | <kuribas> | I think... I pressed reset fail count, that didn't do anything so far, maybe I should wait half a day? |
| 2024-07-30 19:15:39 +0000 | <danse-nr3> | not experienced about that, sorry |
| 2024-07-30 19:16:54 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-07-30 19:22:02 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-30 19:23:33 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 19:27:56 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: good night) |
| 2024-07-30 19:33:17 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-30 19:35:46 +0000 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 19:38:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 19:44:05 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-30 19:46:43 +0000 | <geekosaur> | not only does it take time to get scheduled to build, but the CDN caches the page |
| 2024-07-30 19:49:05 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 19:49:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-30 19:50:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-30 19:50:30 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-07-30 19:51:00 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Remote host closed the connection) |
| 2024-07-30 19:51:17 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 19:53:38 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 265 seconds) |
| 2024-07-30 20:01:10 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-30 20:04:31 +0000 | cipherrot | (~znc-user@user/petrichor) |
| 2024-07-30 20:04:37 +0000 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 248 seconds) |
| 2024-07-30 20:14:13 +0000 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Ping timeout: 248 seconds) |
| 2024-07-30 20:17:03 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-07-30 20:21:22 +0000 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) |
| 2024-07-30 20:25:06 +0000 | <__monty__> | Coming back to my question from earlier. The test case was testing a function :: State -> State, however, because Brick dropped the Next type and changed the EventM type, I've changed the function to :: EventM w State (). So my problem is rewriting the test to make use of that MonadState State (EventM w State ()) but just check the state. I suppose I'm thinking of this wrongly as "Wrap a state, do the |
| 2024-07-30 20:25:12 +0000 | <__monty__> | action, project the state to check," which wouldn't work for IO either. Should I rather be looking at a different test case constructor in Tasty? |
| 2024-07-30 20:25:17 +0000 | sprout | (~quassel@2a02-a448-3a80-0-414d-4612-f265-dc79.fixed6.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-30 20:25:21 +0000 | <nate_b> | Howdy. I'm having an issue with importing a module, and I'm hoping someone can help, since there are very few hits I could find. I am trying to start up xmonad with a custom config, and it gives me an error about "Could not find module 'XMonad'". What I did find was to try `cabal install --lib xmonad xmonad-contrib`, but that did not work, They are not shown in the output of `ghc-pkg list`. I don't |
| 2024-07-30 20:25:27 +0000 | <nate_b> | know if it's significant, but I am running ghc/ghci inside Termux. |
| 2024-07-30 20:26:21 +0000 | <nate_b> | Inside ghci, `:show paths` gives a module import search path of '.', so is that the issue? |
| 2024-07-30 20:27:26 +0000 | <geekosaur> | they weon't be shown in ghc-pkg list |
| 2024-07-30 20:27:36 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2024-07-30 20:27:48 +0000 | sprout | (~quassel@2a02-a448-3a80-0-f46a-b3d3-7735-3c78.fixed6.kpn.net) |
| 2024-07-30 20:27:58 +0000 | <geekosaur> | you should run the "cabal install --lib" in the directory containing your xmonad config |
| 2024-07-30 20:28:10 +0000 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-07-30 20:28:40 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-07-30 20:29:13 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 20:29:14 +0000 | <nate_b> | Ah, so... there isn't some place I can install such packages across my system? I.e., if I want to import a package, I absolutely must install it in that directory? |
| 2024-07-30 20:29:48 +0000 | <geekosaur> | things used to work that way. it caused horrible messes that often required you to nuke everything and start over. |
| 2024-07-30 20:29:55 +0000 | <JuanDaugherty> | u wanna let ghcup oder handle it |
| 2024-07-30 20:30:26 +0000 | <geekosaur> | just as pythin advises you to use venvs these days, with haskell you really want to use cabal or stack which automatically sandbox things |
| 2024-07-30 20:30:57 +0000 | <geekosaur> | (also, termux? isn't that android? last I checked android wasn't based on x11) |
| 2024-07-30 20:31:16 +0000 | <nate_b> | Normally I would, and in my own projects I have. I just didn't realize that extended to a systemwide install of something like xmonad. |
| 2024-07-30 20:31:59 +0000 | <nate_b> | (yeah, there is an x-server app called termux-x11, it's pretty decent, and there are a bunch of gui apps, even firefox) |
| 2024-07-30 20:33:14 +0000 | <nate_b> | (I am in fact running xmonad inside termux-x11 not on a phone, but on my Meta Quest, which is pretty awesome) |
| 2024-07-30 20:34:09 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 20:34:59 +0000 | <geekosaur> | modern xmonad integrates with cabal via cabal install --lib, which must be done in your config directory, or with stack via a stack.yaml which likewise must be in your config directory |
| 2024-07-30 20:35:29 +0000 | <nate_b> | Huh, cool! It's been a while since I've needed to install it... so thanks! |
| 2024-07-30 20:36:58 +0000 | <nate_b> | hmm... I just tried to run cabal install --lib inside .xmonad, to no avail. It just said it was up to date. |
| 2024-07-30 20:37:14 +0000 | <nate_b> | It's currently installed in ~/.cabal/ |
| 2024-07-30 20:38:24 +0000 | <geekosaur> | yes, you won't see it updating the environment file (.ghc_environment*) |
| 2024-07-30 20:38:35 +0000 | <geekosaur> | "up to date" is from the build part |
| 2024-07-30 20:39:08 +0000 | <nate_b> | There are no new files under ~/.xmonad and `xmonad` still gives the same compilation errors. |
| 2024-07-30 20:39:26 +0000 | <geekosaur> | um |
| 2024-07-30 20:39:32 +0000 | <geekosaur> | what version of cabal do you have? |
| 2024-07-30 20:39:43 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-30 20:40:14 +0000 | <nate_b> | version 3.8.1.0 |
| 2024-07-30 20:41:02 +0000 | <geekosaur> | hm, oldish but not so old that this shouldn't work |
| 2024-07-30 20:41:18 +0000 | <geekosaur> | what version of xmonad? |
| 2024-07-30 20:41:37 +0000 | <nate_b> | version 0.18.0 |
| 2024-07-30 20:41:49 +0000 | <geekosaur> | that should be fine too |
| 2024-07-30 20:44:25 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-30 20:45:13 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-30 20:45:29 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-30 20:46:12 +0000 | <geekosaur> | oh |
| 2024-07-30 20:46:27 +0000 | <geekosaur> | where did you get the cabal install --lib stuff from? |
| 2024-07-30 20:47:03 +0000 | <geekosaur> | INSTALL.html tells you to use: cabal install --package-env=$HOME/.xmonad --lib base xmonad xmonad-contrib |
| 2024-07-30 20:47:36 +0000 | <geekosaur> | (well, actually it tells you to use ~/.config/xmonad because we've switched to XDG paths, but ~/.xmonad is still supported for backward compatibility) |
| 2024-07-30 20:47:44 +0000 | <nate_b> | Oh, I see. I got it from a reddit post about this problem with XMonad. |
| 2024-07-30 20:47:47 +0000 | <nate_b> | Oh! |
| 2024-07-30 20:48:10 +0000 | <nate_b> | Okay, lemme try that... |
| 2024-07-30 20:48:12 +0000 | <nate_b> | 1m |
| 2024-07-30 20:48:20 +0000 | <geekosaur> | the global one *should* work, though |
| 2024-07-30 20:48:50 +0000 | <geekosaur> | it's just disrecommended because it can create the same problems as used to happen with global package installs |
| 2024-07-30 20:50:51 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-30 20:51:31 +0000 | <nate_b> | The cabal line ran fine, then when I ran xmonad I got the same error as before. |
| 2024-07-30 20:52:57 +0000 | <geekosaur> | hm. I just ran that in my sandbox here and it worked as expected |
| 2024-07-30 20:53:43 +0000 | <geekosaur> | https://paste.tomsmeding.com/rZUrk6zV |
| 2024-07-30 20:55:32 +0000 | tomku | (~tomku@user/tomku) |
| 2024-07-30 20:56:03 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 20:56:28 +0000 | <nate_b> | Hmm... here's mine: https://paste.tomsmeding.com/bNHnxcHP |
| 2024-07-30 20:57:57 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-30 20:58:13 +0000 | <geekosaur> | hm. can you run the ghc command on line 5, with -v0 replaced by -v1? (and no $ at the front) |
| 2024-07-30 21:00:38 +0000 | <nate_b> | Exact same output |
| 2024-07-30 21:01:14 +0000 | <geekosaur> | hm, wait. if you used ~/.xmonad in that cabal install --lib, you need to do it again with ~/.config/xmonad because that's where your config is |
| 2024-07-30 21:01:34 +0000 | <nate_b> | Nah, I did it the right way. |
| 2024-07-30 21:01:36 +0000 | <geekosaur> | also you might run ghci from your config directory and see if it says something about loading an environment file |
| 2024-07-30 21:02:20 +0000 | <geekosaur> | and if it does, try `import XMonad` at the prompt |
| 2024-07-30 21:02:47 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-30 21:03:05 +0000 | <geekosaur> | hm, -v1 should have gotten you some information about what it's doing, at the very least, and probably a list of where it looked for the import file (XMonad.hi) |
| 2024-07-30 21:03:06 +0000 | <nate_b> | It does not. |
| 2024-07-30 21:03:23 +0000 | <nate_b> | the ghci just goes to a prompt. |
| 2024-07-30 21:03:34 +0000 | <geekosaur> | does `ls -a` show the environment file? |
| 2024-07-30 21:04:38 +0000 | <nate_b> | Yes, and it includes xmonad and xmonad-config |
| 2024-07-30 21:09:32 +0000 | <geekosaur> | but ghci isn't loading it, nor apparently ghc. this sounds like a problem with your ghc, I'm afraid |
| 2024-07-30 21:10:38 +0000 | <geekosaur> | hm, what version of ghc is it? |
| 2024-07-30 21:13:05 +0000 | <nate_b> | 1 sec |
| 2024-07-30 21:14:24 +0000 | <geekosaur> | unless, hm. `echo $GHC_ENVIRONMENT` |
| 2024-07-30 21:14:36 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 21:14:42 +0000 | <nate_b> | ghci 9.2.5 |
| 2024-07-30 21:15:34 +0000 | <geekosaur> | that's recent enough to support them |
| 2024-07-30 21:16:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-30 21:19:50 +0000 | <nate_b> | $GHC_ENVIRONMENT is empty |
| 2024-07-30 21:22:04 +0000 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-07-30 21:22:40 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-07-30 21:23:58 +0000 | <nate_b> | Is there a productive way to half-split this? |
| 2024-07-30 21:24:28 +0000 | <nate_b> | Like, to try a different package or something from scratch? Any suggestions? |
| 2024-07-30 21:28:05 +0000 | <geekosaur> | you can try using cabal v1-install xmonad xmonad-xontrib |
| 2024-07-30 21:28:14 +0000 | <geekosaur> | er, xmonad-contrib |
| 2024-07-30 21:29:00 +0000 | <geekosaur> | or if stack is available, follow the stack install instructions https://xmonad.org/INSTALL.html#build-using-stack |
| 2024-07-30 21:31:47 +0000 | <geekosaur> | v1-install is strongly disrecommended because it leads to "cabal hell", but if it's the only thing that works in termux you may be stuck |
| 2024-07-30 21:41:51 +0000 | <nate_b> | Well, thanks for your help. If this doesn't work I guess I'll have to file a bug with... uh... someone. |
| 2024-07-30 21:42:51 +0000 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-30 21:49:11 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2024-07-30 21:51:35 +0000 | euleritian | (~euleritia@dynamic-176-006-133-039.176.6.pool.telefonica.de) |
| 2024-07-30 21:52:55 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 21:54:11 +0000 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 21:55:21 +0000 | euleritian | (~euleritia@dynamic-176-006-133-039.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 21:55:40 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 21:57:14 +0000 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-07-30 22:01:36 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 22:03:07 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 22:03:22 +0000 | zero | yin |
| 2024-07-30 22:03:42 +0000 | <yin> | i made a pretty |
| 2024-07-30 22:04:00 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-30 22:04:00 +0000 | <yin> | > take 7 $ iterate (recip . succ) 1 :: [Rational] |
| 2024-07-30 22:04:01 +0000 | <lambdabot> | [1 % 1,1 % 2,2 % 3,3 % 5,5 % 8,8 % 13,13 % 21] |
| 2024-07-30 22:04:37 +0000 | <xerox> | quite |
| 2024-07-30 22:05:19 +0000 | <yin> | i call it the phi bonacci sequence |
| 2024-07-30 22:07:11 +0000 | <yin> | i got the idea from the c |
| 2024-07-30 22:07:37 +0000 | <ncf> | nice |
| 2024-07-30 22:07:52 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 272 seconds) |
| 2024-07-30 22:08:03 +0000 | <yin> | *continued fraction expansion of phi |
| 2024-07-30 22:08:37 +0000 | <yin> | it approximates phi as the list goes on |
| 2024-07-30 22:09:30 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-30 22:09:52 +0000 | <yin> | (recip . succ) being (\x -> 1 / (1 + x)) |
| 2024-07-30 22:12:56 +0000 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney) |
| 2024-07-30 22:13:14 +0000 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-30 22:13:42 +0000 | <monochrom> | Yeah that is beautiful :) |
| 2024-07-30 22:14:32 +0000 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) |
| 2024-07-30 22:17:12 +0000 | AlexNoo_ | (~AlexNoo@94.233.241.125) |
| 2024-07-30 22:18:14 +0000 | AlexZenon | (~alzenon@94.233.241.102) (Ping timeout: 260 seconds) |
| 2024-07-30 22:18:38 +0000 | AlexNoo | (~AlexNoo@94.233.241.102) (Ping timeout: 265 seconds) |
| 2024-07-30 22:18:50 +0000 | AlexNoo_ | AlexNoo |
| 2024-07-30 22:19:10 +0000 | pavonia | (~user@user/siracusa) |
| 2024-07-30 22:22:38 +0000 | AlexNoo_ | (~AlexNoo@94.233.241.125) |
| 2024-07-30 22:23:04 +0000 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-07-30 22:23:50 +0000 | AlexNoo | (~AlexNoo@94.233.241.125) (Ping timeout: 255 seconds) |
| 2024-07-30 22:24:31 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-30 22:24:34 +0000 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) |
| 2024-07-30 22:24:44 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-30 22:24:46 +0000 | Square2 | (~Square@user/square) |
| 2024-07-30 22:24:48 +0000 | AlexNoo_ | AlexNoo |
| 2024-07-30 22:27:16 +0000 | <yin> | haskell makes it nice to look at |
| 2024-07-30 22:31:45 +0000 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-07-30 22:34:38 +0000 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) |
| 2024-07-30 22:39:39 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-30 22:46:08 +0000 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2024-07-30 22:51:01 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb663100542eb9ff72dc.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-07-30 22:53:33 +0000 | <int-e> | > fix ((1:) . (>>= sequence [id, recip] . succ)) :: [Rational] |
| 2024-07-30 22:53:35 +0000 | <lambdabot> | [1 % 1,2 % 1,1 % 2,3 % 1,1 % 3,3 % 2,2 % 3,4 % 1,1 % 4,4 % 3,3 % 4,5 % 2,2 %... |
| 2024-07-30 22:53:45 +0000 | AlexZenon | (~alzenon@94.233.241.125) |
| 2024-07-30 22:59:56 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Quit: Lost terminal) |
| 2024-07-30 23:04:16 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 23:04:19 +0000 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2024-07-30 23:05:41 +0000 | gawen | (~gawen@user/gawen) |
| 2024-07-30 23:05:50 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-30 23:08:19 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-07-30 23:08:32 +0000 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-30 23:23:15 +0000 | ZharMeny | (~user@user/ZharMeny) (Quit: This space was intentionally left blank.) |
| 2024-07-30 23:32:34 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 23:32:47 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-30 23:34:39 +0000 | Square3 | (~Square4@user/square) |
| 2024-07-30 23:34:59 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-30 23:37:34 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-07-30 23:37:38 +0000 | Square2 | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2024-07-30 23:38:37 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-30 23:50:06 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-30 23:54:37 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-07-30 23:54:56 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-07-30 23:56:37 +0000 | Rodney- | (~Rodney@90.201.223.82) (Ping timeout: 248 seconds) |
| 2024-07-30 23:59:54 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |