| 2024-07-30 00:00:53 +0200 | placidusax | (~user@user/meritamen) (Ping timeout: 255 seconds) |
| 2024-07-30 00:01:59 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 00:07:05 +0200 | placidusax | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-07-30 00:07:35 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 00:12:19 +0200 | placidusax | (~user@user/meritamen) (Ping timeout: 260 seconds) |
| 2024-07-30 00:13:15 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 00:17:57 +0200 | placidusax | (~user@user/meritamen) (Ping timeout: 248 seconds) |
| 2024-07-30 00:18:38 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 00:23:56 +0200 | placidusax | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-07-30 00:24:21 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 00:25:51 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-30 00:29:01 +0200 | placidusax | (~user@user/meritamen) (Ping timeout: 252 seconds) |
| 2024-07-30 00:30:03 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 00:34:55 +0200 | placidusax | (~user@user/meritamen) (Ping timeout: 264 seconds) |
| 2024-07-30 00:41:13 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85a5f5f2578d37d7d1.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-07-30 00:50:45 +0200 | ZharMeny | (~user@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-07-30 00:52:50 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-30 00:58:51 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-30 01:00:05 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 248 seconds) |
| 2024-07-30 01:02:47 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2024-07-30 01:05:09 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-30 01:05:15 +0200 | Square3 | (~Square4@user/square) |
| 2024-07-30 01:08:05 +0200 | Square2 | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2024-07-30 01:11:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 01:15:46 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 01:17:54 +0200 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) |
| 2024-07-30 01:22:37 +0200 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2024-07-30 01:22:45 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-30 01:22:47 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-07-30 01:32:11 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-30 01:43:08 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 01:43:54 +0200 | micro | (~micro@user/micro) (Ping timeout: 260 seconds) |
| 2024-07-30 01:44:36 +0200 | micro | (~micro@user/micro) |
| 2024-07-30 01:48:19 +0200 | placidusax | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-07-30 01:48:48 +0200 | placidusax | (~user@user/meritamen) |
| 2024-07-30 01:51:32 +0200 | placidusax | (~user@user/meritamen) (Remote host closed the connection) |
| 2024-07-30 01:52:11 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 01:55:51 +0200 | skyesoss | (~Thunderbi@128.135.204.35) (Ping timeout: 276 seconds) |
| 2024-07-30 02:01:52 +0200 | flounders | (~flounders@24.246.176.178) (Quit: WeeChat 4.3.3) |
| 2024-07-30 02:05:56 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 02:11:08 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-30 02:12:45 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2024-07-30 02:12:45 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-07-30 02:28:16 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 272 seconds) |
| 2024-07-30 02:34:21 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-07-30 02:36:41 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-30 02:36:49 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2024-07-30 02:38:59 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2024-07-30 02:52:25 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 02:53:52 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-07-30 03:00:35 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-07-30 03:01:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-07-30 03:15:33 +0200 | tabaqui | (~root@87.200.123.114) (Ping timeout: 248 seconds) |
| 2024-07-30 03:29:00 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 03:40:44 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-07-30 03:45:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 03:51:27 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-07-30 04:00:10 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-30 04:01:34 +0200 | xff0x | (~xff0x@2405:6580:b080:900:333f:570b:ae7a:3a3d) (Ping timeout: 260 seconds) |
| 2024-07-30 04:02:42 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 04:04:07 +0200 | Inst_ | (~Inst@user/Inst) |
| 2024-07-30 04:05:48 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 245 seconds) |
| 2024-07-30 04:08:08 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-07-30 04:08:30 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 04:09:46 +0200 | td_ | (~td@i5387090C.versanet.de) (Ping timeout: 252 seconds) |
| 2024-07-30 04:10:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-07-30 04:10:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 04:11:31 +0200 | td_ | (~td@i53870934.versanet.de) |
| 2024-07-30 04:17:15 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 04:21:17 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.2) |
| 2024-07-30 04:21:34 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-07-30 04:40:16 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-07-30 04:42:20 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2024-07-30 04:43:02 +0200 | dostoyevsky2 | (~sck@user/dostoyevsky2) |
| 2024-07-30 04:48:56 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 04:50:31 +0200 | Inst_ | Inst |
| 2024-07-30 05:00:15 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-30 05:10:10 +0200 | zero | (~z@user/zero) (Read error: Connection reset by peer) |
| 2024-07-30 05:10:32 +0200 | zero | (~z@user/zero) |
| 2024-07-30 05:13:49 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfe:4d00:6761:b6ac:73fc:a888) |
| 2024-07-30 05:14:30 +0200 | aforemny | (~aforemny@2001:9e8:6cdc:9000:226:e6cc:3b9e:4c5f) (Ping timeout: 244 seconds) |
| 2024-07-30 05:21:34 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 05:31:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-30 05:39:45 +0200 | rosco | (~rosco@14.191.95.214) |
| 2024-07-30 05:45:02 +0200 | rosco | (~rosco@14.191.95.214) (Quit: Lost terminal) |
| 2024-07-30 05:54:44 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2024-07-30 06:09:07 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-07-30 06:09:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-07-30 06:22:56 +0200 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) |
| 2024-07-30 06:27:29 +0200 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2024-07-30 06:33:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-30 06:34:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-30 06:40:57 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-07-30 06:40:58 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-30 06:41:11 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-07-30 06:41:43 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-30 06:49:19 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 265 seconds) |
| 2024-07-30 06:49:34 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-30 06:51:51 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-30 07:05:25 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-30 07:13:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 07:16:05 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 248 seconds) |
| 2024-07-30 07:17:40 +0200 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) |
| 2024-07-30 07:17:53 +0200 | jerg | (~jerg@2001:a61:2510:4100::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 07:20:06 +0200 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2024-07-30 07:26:16 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 07:30:03 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-30 07:39:33 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-07-30 07:40:09 +0200 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) |
| 2024-07-30 07:46:51 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-30 07:50:35 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 07:50:59 +0200 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 07:54:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 07:55:17 +0200 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) (Remote host closed the connection) |
| 2024-07-30 07:55:31 +0200 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) |
| 2024-07-30 07:56:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-30 07:59:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-30 08:00:04 +0200 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) |
| 2024-07-30 08:00:06 +0200 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) |
| 2024-07-30 08:00:50 +0200 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 08:01:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 08:02:41 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-30 08:05:29 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1035:6eff:8000::) |
| 2024-07-30 08:05:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-07-30 08:06:44 +0200 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) |
| 2024-07-30 08:08:16 +0200 | madhavanmiui | (~madhavanm@2409:40f4:1035:6eff:8000::) (Client Quit) |
| 2024-07-30 08:14:56 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-30 08:15:06 +0200 | jerg__ | (~jerg@2001:a61:2510:4100::bb0) |
| 2024-07-30 08:15:36 +0200 | jerg_ | (~jerg@2001:a61:2510:4100::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 08:20:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 08:21:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-30 08:22:53 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2024-07-30 08:29:40 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-07-30 08:30:08 +0200 | Inst | (~Inst@user/Inst) |
| 2024-07-30 08:35:22 +0200 | meritamen | (~user@user/meritamen) |
| 2024-07-30 08:42:27 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb663100542eb9ff72dc.dip0.t-ipconnect.de) |
| 2024-07-30 08:45:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-30 08:50:25 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-30 08:50:48 +0200 | jerg__ | (~jerg@2001:a61:2510:4100::bb0) (Ping timeout: 272 seconds) |
| 2024-07-30 08:51:16 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 08:52:23 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-30 08:52:55 +0200 | jerg | (~jerg@2001:a61:254e:d000::bb0) |
| 2024-07-30 08:57:10 +0200 | jerg | (~jerg@2001:a61:254e:d000::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 08:57:41 +0200 | jerg | (~jerg@2001:a61:254e:d000::bb0) |
| 2024-07-30 09:03:29 +0200 | euleritian | (~euleritia@dynamic-176-006-131-148.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 09:03:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 09:04:38 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-07-30 09:10:42 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 276 seconds) |
| 2024-07-30 09:23:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-30 09:25:05 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-30 09:31:20 +0200 | michalz | (~michalz@185.246.207.217) |
| 2024-07-30 09:32:01 +0200 | <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 09:32:41 +0200 | <Unicorn_Princess> | but the catch is, i want to keep nodes if any node in its subtree satisfies the predicate |
| 2024-07-30 09:33:36 +0200 | <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 09:33:52 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2024-07-30 09:34:11 +0200 | <Unicorn_Princess> | or i can build a new tree, with (Bool, a) elements, that contain the result of the predicate |
| 2024-07-30 09:34:35 +0200 | <Unicorn_Princess> | and propagate True values up the tree in O(n) time |
| 2024-07-30 09:35:07 +0200 | <Unicorn_Princess> | and in another step do the filtering and turning it back from Tree (Bool, a) to Tree a |
| 2024-07-30 09:35:29 +0200 | <Unicorn_Princess> | is there some elegant, wizardly third way that I'm missing? |
| 2024-07-30 09:35:47 +0200 | <Unicorn_Princess> | that also avoids being O(n^2) |
| 2024-07-30 09:36:12 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 252 seconds) |
| 2024-07-30 09:37:55 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2024-07-30 09:42:02 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-07-30 09:44:43 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 09:51:25 +0200 | <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 09:54:00 +0200 | jerg | (~jerg@2001:a61:254e:d000::bb0) (Read error: Connection reset by peer) |
| 2024-07-30 09:54:46 +0200 | jerg | (~jerg@2001:a61:254e:d000::bb0) |
| 2024-07-30 09:54:54 +0200 | <probie> | % data Tree a = Empty | Node a (Tree a) (Tree a) deriving Show |
| 2024-07-30 09:54:54 +0200 | <yahb2> | <no output> |
| 2024-07-30 09:55:07 +0200 | <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 09:55:07 +0200 | <yahb2> | <no output> |
| 2024-07-30 09:55:17 +0200 | <Unicorn_Princess> | oooh, i like it, thanks! |
| 2024-07-30 09:55:21 +0200 | <probie> | % paths (> 5) (Node 2 (Node 7 Empty Empty) (Node 4 Empty Empty)) |
| 2024-07-30 09:55:21 +0200 | <yahb2> | Node 2 (Node 7 Empty Empty) Empty |
| 2024-07-30 09:55:40 +0200 | <probie> | (assuming that's the sort of behaviour you want) |
| 2024-07-30 09:56:25 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 10:00:44 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 255 seconds) |
| 2024-07-30 10:05:17 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 10:07:38 +0200 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) |
| 2024-07-30 10:08:29 +0200 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) |
| 2024-07-30 10:10:29 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 248 seconds) |
| 2024-07-30 10:12:28 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-30 10:13:01 +0200 | alexherbo2 | (~alexherbo@2a01cb00864cea007098f908f925d108.ipv6.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 2024-07-30 10:17:05 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-07-30 10:17:39 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-07-30 10:22:40 +0200 | tabaqui | (~root@87.200.123.114) |
| 2024-07-30 10:23:18 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-07-30 10:28:54 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-30 10:32:13 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-30 10:32:56 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-30 10:34:05 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 10:38:18 +0200 | paul_j | (~user@8.190.187.81.in-addr.arpa) |
| 2024-07-30 10:41:21 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 2024-07-30 10:42:04 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 10:45:04 +0200 | tabaqui | (~root@87.200.123.114) (Ping timeout: 260 seconds) |
| 2024-07-30 10:45:52 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2024-07-30 10:46:17 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-30 10:47:58 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2024-07-30 10:50:57 +0200 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-30 10:56:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-30 11:02:18 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-30 11:07:20 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-30 11:13:14 +0200 | chele | (~chele@user/chele) |
| 2024-07-30 11:19:44 +0200 | meritamen | (~user@user/meritamen) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-07-30 11:26:36 +0200 | jerg | (~jerg@2001:a61:254e:d000::bb0) (Ping timeout: 272 seconds) |
| 2024-07-30 11:27:10 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 11:33:26 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-30 11:34:47 +0200 | alexherbo2 | (~alexherbo@2a02-8440-a10b-728f-d892-05f0-5485-abe4.rev.sfr.net) |
| 2024-07-30 11:36:46 +0200 | cheater | (~Username@user/cheater) |
| 2024-07-30 11:38:33 +0200 | misterfish | (~misterfis@094190207253.static.ipv4.heldenvannu.net) (Ping timeout: 252 seconds) |
| 2024-07-30 11:43:52 +0200 | alexherbo2 | (~alexherbo@2a02-8440-a10b-728f-d892-05f0-5485-abe4.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 11:52:30 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-07-30 11:59:09 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 260 seconds) |
| 2024-07-30 12:08:09 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2024-07-30 12:11:44 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-30 12:13:54 +0200 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-30 12:15:54 +0200 | ZharMeny | (~user@185.248.130.75) |
| 2024-07-30 12:16:59 +0200 | ZharMeny | (~user@185.248.130.75) (Changing host) |
| 2024-07-30 12:16:59 +0200 | ZharMeny | (~user@user/ZharMeny) |
| 2024-07-30 12:19:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-07-30 12:20:46 +0200 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) |
| 2024-07-30 12:31:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-07-30 12:43:15 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-30 12:45:39 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 12:49:58 +0200 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 12:50:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 12:51:46 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) (Ping timeout: 258 seconds) |
| 2024-07-30 12:51:46 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 258 seconds) |
| 2024-07-30 12:51:46 +0200 | s4msung | (IALEQ8po1z@user/s4msung) (Ping timeout: 258 seconds) |
| 2024-07-30 12:51:55 +0200 | opqdonut | (opqdonut@pseudo.fixme.fi) |
| 2024-07-30 12:52:01 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2024-07-30 12:52:04 +0200 | s4msung | (u4jHfpaUni@user/s4msung) |
| 2024-07-30 12:58:50 +0200 | tabaqui | (~root@87.200.123.114) |
| 2024-07-30 13:03:03 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 13:03:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-07-30 13:15:42 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-30 13:16:07 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9e38:497d:6793:e966) |
| 2024-07-30 13:17:53 +0200 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) |
| 2024-07-30 13:26:37 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 2024-07-30 13:26:54 +0200 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) |
| 2024-07-30 13:27:27 +0200 | tabaqui | (~root@87.200.123.114) (Ping timeout: 276 seconds) |
| 2024-07-30 13:29:44 +0200 | dans22260 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 13:32:03 +0200 | dans22260 | (~danse-nr3@user/danse-nr3) (Client Quit) |
| 2024-07-30 13:32:04 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 260 seconds) |
| 2024-07-30 13:35:42 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 13:56:54 +0200 | cpressey | (~weechat@176.254.71.203) (Ping timeout: 252 seconds) |
| 2024-07-30 14:03:58 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 14:06:12 +0200 | <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 14:06:58 +0200 | <bwe> | BL.pack . show $ myData -- throws Couldn't match type ‘Char’ with ‘GHC.Word.Word8’ |
| 2024-07-30 14:11:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-30 14:12:35 +0200 | <bwe> | bytestring-show seems to be outdated |
| 2024-07-30 14:14:21 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 14:18:05 +0200 | <jackdk> | bwe: do you have a particular serialisation format that you need to conform to? |
| 2024-07-30 14:18:28 +0200 | <bwe> | jackdk: no, I just want to dump it to file and be able to read it again. |
| 2024-07-30 14:19:18 +0200 | <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 14:19:47 +0200 | <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 14:20:52 +0200 | <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 14:22:03 +0200 | <jackdk> | You can then use Data.Aeson.encodeFile and Data.Aeson.eitherDecodeFileStrict |
| 2024-07-30 14:23:46 +0200 | <bwe> | jackdk: well, which alternatives do I have? |
| 2024-07-30 14:24:44 +0200 | <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 14:25:25 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 2024-07-30 14:26:10 +0200 | <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 14:26:26 +0200 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 14:26:43 +0200 | <bwe> | so there we are, it's a complete mess and it's frustrating the developer experience. |
| 2024-07-30 14:26:55 +0200 | <yushyin> | serialise (cbor) would be an alternative |
| 2024-07-30 14:26:56 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 14:27:15 +0200 | <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 14:28:59 +0200 | <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 14:29:00 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 272 seconds) |
| 2024-07-30 14:29:11 +0200 | cpressey | (~weechat@176.254.71.203) |
| 2024-07-30 14:30:27 +0200 | <jackdk> | To convert between Text and ByteString, use the functions in `Data.Text.Encoding` from package `text` |
| 2024-07-30 14:30:42 +0200 | <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 14:32:22 +0200 | <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 14:32:59 +0200 | <bwe> | jackdk: yeah, it was recommended to me as the go to lib nowadays |
| 2024-07-30 14:34:24 +0200 | <bwe> | jackdk: but Decimal can handle 1/3 while Scientific complains. |
| 2024-07-30 14:34:49 +0200 | <Axman6> | How does Decimal handle 1/3? |
| 2024-07-30 14:35:08 +0200 | <bwe> | Axman6: https://hackage.haskell.org/package/Decimal-0.5.2/docs/Data-Decimal.html |
| 2024-07-30 14:35:25 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 14:35:58 +0200 | <Axman6> | Sure, but what does it do with 1/3? |
| 2024-07-30 14:36:03 +0200 | <jackdk> | You could also use `Rational` from `base`. I don't know what your needs are |
| 2024-07-30 14:36:26 +0200 | <jackdk> | I do know that I need to get up early, so I'll leave the conversation in a moment |
| 2024-07-30 14:36:34 +0200 | <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 14:36:37 +0200 | <bwe> | jackdk: sweet dreams. |
| 2024-07-30 14:36:55 +0200 | <jackdk> | thanks mate, good luck |
| 2024-07-30 14:37:09 +0200 | <bwe> | thanks! |
| 2024-07-30 14:37:12 +0200 | <Axman6> | bwe: what are you representing? |
| 2024-07-30 14:37:51 +0200 | <bwe> | Axman6: different mass in different units and single currency, dividing them at some point |
| 2024-07-30 14:38:35 +0200 | <bwe> | final user repr should be in decimal, however; it's easier to compare decimals instead of fractions. |
| 2024-07-30 14:39:32 +0200 | <bwe> | Axman6: ah, great safe-money-serialise provides instances for serialise |
| 2024-07-30 14:39:33 +0200 | <Axman6> | https://hackage.haskell.org/package/dimensional is where I'd start for units of anything other than currency |
| 2024-07-30 14:40:55 +0200 | <probie> | Axman6: Something like `333...[255 times] / 10^255` I think |
| 2024-07-30 14:41:49 +0200 | <Axman6> | :( |
| 2024-07-30 14:42:13 +0200 | <bwe> | Axman6: I am careful: how would I interface dimensional with safe-money? |
| 2024-07-30 14:42:18 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2024-07-30 14:42:20 +0200 | <Axman6> | I've worked in finance, and our approach was to be explicit about rounding |
| 2024-07-30 14:42:31 +0200 | <Axman6> | bwe: not sure =) |
| 2024-07-30 14:42:55 +0200 | <bwe> | Axman6: so, your go-to for anything repr money is safe-money, right? |
| 2024-07-30 14:43:08 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-30 14:43:16 +0200 | <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 14:43:37 +0200 | <Axman6> | bwe: it would be in Haskell, I don't think I've seen anything else that's as careful |
| 2024-07-30 14:44:10 +0200 | <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 14:45:44 +0200 | <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 14:47:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-30 14:47:01 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-30 14:47:29 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 14:47:41 +0200 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) |
| 2024-07-30 14:48:33 +0200 | <Axman6> | (Unless you can find a fun way to combine them and maintain appropriate invariants in the type system) |
| 2024-07-30 14:49:39 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: nap) |
| 2024-07-30 14:50:14 +0200 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-30 14:53:34 +0200 | <bwe> | it = (1.05 :: Dense "EUR") + (0.6 :: Dense "EUR") |
| 2024-07-30 14:53:37 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Ping timeout: 252 seconds) |
| 2024-07-30 14:53:48 +0200 | <bwe> | (1.05 :: Dense "EUR") + (0.6 :: Dense "EUR") |
| 2024-07-30 14:54:04 +0200 | <bwe> | The Dense type is deliberately not an instance of Fractional |
| 2024-07-30 14:56:27 +0200 | <bwe> | …simple addition is not straightforward. |
| 2024-07-30 15:04:12 +0200 | cpressey | (~weechat@176.254.71.203) (Quit: WeeChat 4.3.0) |
| 2024-07-30 15:07:34 +0200 | euleritian | (~euleritia@dynamic-176-006-143-061.176.6.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 2024-07-30 15:08:56 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-07-30 15:09:23 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-07-30 15:09:36 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Remote host closed the connection) |
| 2024-07-30 15:10:46 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
| 2024-07-30 15:12:47 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) |
| 2024-07-30 15:24:08 +0200 | sm | (~znc@plaintextaccounting/sm) (Ping timeout: 245 seconds) |
| 2024-07-30 15:25:42 +0200 | alexherbo2 | (~alexherbo@149.148.22.93.rev.sfr.net) |
| 2024-07-30 15:31:14 +0200 | sm | (~znc@plaintextaccounting/sm) |
| 2024-07-30 15:32:54 +0200 | euleritian | (~euleritia@dynamic-176-006-128-212.176.6.pool.telefonica.de) (Ping timeout: 276 seconds) |
| 2024-07-30 15:36:01 +0200 | euleritian | (~euleritia@dynamic-176-003-073-210.176.3.pool.telefonica.de) |
| 2024-07-30 15:46:23 +0200 | euleritian | (~euleritia@dynamic-176-003-073-210.176.3.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2024-07-30 15:47:04 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-30 16:03:02 +0200 | ystael | (~ystael@user/ystael) |
| 2024-07-30 16:05:50 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 16:09:24 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 16:10:37 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-30 16:13:15 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-30 16:18:10 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
| 2024-07-30 16:18:37 +0200 | Inst | (~Inst@user/Inst) |
| 2024-07-30 16:21:57 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 16:22:47 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 16:24:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2) |
| 2024-07-30 16:26:24 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 2024-07-30 16:32:54 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-07-30 16:32:57 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-30 16:33:38 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) (Remote host closed the connection) |
| 2024-07-30 16:38:37 +0200 | drdo | (~drdo@bl5-29-74.dsl.telepac.pt) |
| 2024-07-30 16:43:20 +0200 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) |
| 2024-07-30 16:47:54 +0200 | CiaoSen | (~Jura@2a05:5800:2de:5f00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-07-30 16:48:57 +0200 | marko | (~marko@APN-122-12-44-gprs.simobil.net) |
| 2024-07-30 16:51:30 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-30 16:52:04 +0200 | alexherbo2 | (~alexherbo@149.148.22.93.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 16:52:24 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-fcec-792a-2025-8096.rev.sfr.net) |
| 2024-07-30 16:55:12 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 16:56:20 +0200 | <raehik> | why do the Handle ops e.g. `System.IO.hSeek :: Handle -> SeekMode -> Integer -> IO ()` take an Integer over an Int? |
| 2024-07-30 16:56:48 +0200 | <raehik> | I rummaged thru the Handle implementation before and forgot why this was a thing |
| 2024-07-30 16:57:43 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 16:57:54 +0200 | <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 16:58:34 +0200 | <raehik> | of course I realized as I asked..... |
| 2024-07-30 16:59:06 +0200 | <raehik> | thanks. previously was upgrading my Ints to Integers but probably I should just go with slow bigints all the way |
| 2024-07-30 17:01:44 +0200 | visilii | (~visilii@188.254.110.186) |
| 2024-07-30 17:02:01 +0200 | <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 17:03:14 +0200 | <c_wraith> | possibly, but it's hard to suggest something without a use case in mind |
| 2024-07-30 17:03:28 +0200 | <Rembane> | Unicorn_Princess: Lenses/optics can help you, but also what c_wraith said. |
| 2024-07-30 17:05:51 +0200 | <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 17:06:03 +0200 | <Unicorn_Princess> | (basically)) |
| 2024-07-30 17:06:27 +0200 | <Unicorn_Princess> | lenses you say, hm |
| 2024-07-30 17:06:44 +0200 | <Unicorn_Princess> | probably too heavy for this, but i'll keep them in mind for next time, thanks :)) |
| 2024-07-30 17:06:49 +0200 | <Unicorn_Princess> | :)* |
| 2024-07-30 17:07:43 +0200 | <c_wraith> | traversals are perfect for working with elements of a list with a particular constructor |
| 2024-07-30 17:07:44 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 260 seconds) |
| 2024-07-30 17:08:08 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2024-07-30 17:08:25 +0200 | <Unicorn_Princess> | from Control.Lens.Traversal? |
| 2024-07-30 17:09:14 +0200 | <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 17:12:06 +0200 | paul_j | (~user@8.190.187.81.in-addr.arpa) (Remote host closed the connection) |
| 2024-07-30 17:17:15 +0200 | tabaqui | (~root@87.200.123.114) |
| 2024-07-30 17:21:54 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 248 seconds) |
| 2024-07-30 17:24:17 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-30 17:25:33 +0200 | marko | (~marko@APN-122-12-44-gprs.simobil.net) (Quit: marko) |
| 2024-07-30 17:37:25 +0200 | itaipu | (~itaipu@168.121.98.206) (Ping timeout: 248 seconds) |
| 2024-07-30 17:38:18 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:d87a:f2c2:7e95:50b1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-30 17:38:36 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:e958:8b05:e0fc:affd) |
| 2024-07-30 17:40:06 +0200 | dans70875 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 17:40:10 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-07-30 17:40:21 +0200 | Guest|65 | (~Guest|65@edge-nat128-197-28-160.bu.edu) |
| 2024-07-30 17:40:44 +0200 | <Guest|65> | i keep getting the same error message every time i try to download through powershell |
| 2024-07-30 17:41:33 +0200 | <Guest|65> | fullyqualifiederrorid write error exception? |
| 2024-07-30 17:43:02 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 17:44:11 +0200 | <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 17:44:49 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 17:45:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-30 17:50:25 +0200 | itaipu | (~itaipu@168.121.98.135) |
| 2024-07-30 17:51:11 +0200 | bsima | (~bsima@2604:a880:400:d0::19f1:7001) |
| 2024-07-30 17:53:59 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-07-30 17:56:35 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-07-30 17:56:35 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (platinum.libera.chat (Nickname regained by services))) |
| 2024-07-30 17:56:36 +0200 | jinsun_ | jinsun |
| 2024-07-30 17:58:08 +0200 | <probie> | Unicorn_Princess: Why do you want a `Nothing` back? Is your function actually `[Variants] -> [Maybe SomeTypeHere]`? |
| 2024-07-30 17:58:30 +0200 | Guest|65 | (~Guest|65@edge-nat128-197-28-160.bu.edu) (Quit: Connection closed) |
| 2024-07-30 17:59:11 +0200 | dans70875 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-07-30 17:59:25 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 18:00:41 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 18:00:44 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 18:01:41 +0200 | <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 18:02:37 +0200 | <Unicorn_Princess> | e.g. howMuchMeatInHamburger <$> [Burger, Salad, Burger, Burger] |
| 2024-07-30 18:03:14 +0200 | <danse-nr3> | i mean Sum -> Maybe Val is not that terrible |
| 2024-07-30 18:03:44 +0200 | <Unicorn_Princess> | anyway don't worry about it, what i have now works fine |
| 2024-07-30 18:06:15 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-fcec-792a-2025-8096.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 18:07:36 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-f442-f273-7a20-f8e2.rev.sfr.net) |
| 2024-07-30 18:08:24 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-30 18:09:21 +0200 | <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 18:09:52 +0200 | <probie> | unless you're generating a lot of these from the same "source" list and then zipping them together |
| 2024-07-30 18:10:31 +0200 | <Unicorn_Princess> | throwing away the invalid ones is what the catMaybes that follows does |
| 2024-07-30 18:10:43 +0200 | <danse-nr3> | :t mapMaybe |
| 2024-07-30 18:10:44 +0200 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
| 2024-07-30 18:10:49 +0200 | <EvanR> | ^ |
| 2024-07-30 18:10:55 +0200 | <EvanR> | mapMaybe goodness |
| 2024-07-30 18:11:05 +0200 | <probie> | Or you can use a list comprehension and skip the Maybe entirely |
| 2024-07-30 18:11:11 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-e563-f442-f273-7a20-f8e2.rev.sfr.net) (Remote host closed the connection) |
| 2024-07-30 18:11:19 +0200 | <probie> | % data Variants = First Int | Second Int | Third String deriving Show |
| 2024-07-30 18:11:19 +0200 | <yahb2> | <no output> |
| 2024-07-30 18:11:23 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Remote host closed the connection) |
| 2024-07-30 18:11:39 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 18:11:41 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-30 18:11:43 +0200 | <probie> | % [n*2 | Second n <- [First 3, Second 5, Third "7", First 9, Second 11, Third "11"]] |
| 2024-07-30 18:11:43 +0200 | <yahb2> | [10,22] |
| 2024-07-30 18:11:47 +0200 | <Unicorn_Princess> | working on replacing it with mapMaybe, but yes :) |
| 2024-07-30 18:13:58 +0200 | <EvanR> | that's a good one too |
| 2024-07-30 18:20:48 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 18:25:02 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: on the move) |
| 2024-07-30 18:26:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 18:28:32 +0200 | <ncf> | > [Just 1, Nothing, Just 2] ^.. _Just |
| 2024-07-30 18:28:34 +0200 | <lambdabot> | error: |
| 2024-07-30 18:28:34 +0200 | <lambdabot> | • Couldn't match type ‘Maybe a’ with ‘[Maybe a0]’ |
| 2024-07-30 18:28:34 +0200 | <lambdabot> | Expected type: Getting (Endo [a]) [Maybe a0] a |
| 2024-07-30 18:28:40 +0200 | <ncf> | > [Just 1, Nothing, Just 2] ^.. folded . _Just |
| 2024-07-30 18:28:41 +0200 | <lambdabot> | [1,2] |
| 2024-07-30 18:29:28 +0200 | <EvanR> | lens-pilled |
| 2024-07-30 18:31:52 +0200 | <__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 18:32:51 +0200 | <__monty__> | The use case is a test case where changes to the state are verified. |
| 2024-07-30 18:33:36 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-07-30 18:34:25 +0200 | <EvanR> | :t execState |
| 2024-07-30 18:34:26 +0200 | <lambdabot> | State s a -> s -> s |
| 2024-07-30 18:37:35 +0200 | <EvanR> | this is like asking for a generic runState for MonadState |
| 2024-07-30 18:37:53 +0200 | <EvanR> | with the runFoo is specific to each monad |
| 2024-07-30 18:38:11 +0200 | <EvanR> | s/with/but/ |
| 2024-07-30 18:38:42 +0200 | <ncf> | __monty__: what type would it have? |
| 2024-07-30 18:39:59 +0200 | <__monty__> | MonadState s m => m a -> s -> s ? |
| 2024-07-30 18:40:00 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-30 18:40:16 +0200 | <EvanR> | in the case of m = IO that wouldn't work |
| 2024-07-30 18:40:47 +0200 | <ncf> | or rather m = StateT s IO |
| 2024-07-30 18:40:53 +0200 | <EvanR> | er, yeah |
| 2024-07-30 18:41:00 +0200 | <ncf> | (well i guess you could have a MonadState instance for IO that uses IORefs) |
| 2024-07-30 18:42:46 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2024-07-30 18:44:12 +0200 | <__monty__> | And there's no common subgroup of MonadState m's that it would work for? |
| 2024-07-30 18:45:04 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-30 18:45:07 +0200 | <ncf> | i mean, it would work for the ones of the form StateT s m... and it's called execStateT |
| 2024-07-30 18:45:20 +0200 | <EvanR> | :t execStateT |
| 2024-07-30 18:45:21 +0200 | <lambdabot> | Monad m => StateT s m a -> s -> m s |
| 2024-07-30 18:45:26 +0200 | krei-se | (~krei-se@p5085de4b.dip0.t-ipconnect.de) |
| 2024-07-30 18:48:38 +0200 | <EvanR> | m smasms |
| 2024-07-30 18:56:44 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-30 19:17:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 19:28:52 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-07-30 19:29:04 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-07-30 19:31:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-07-30 19:34:37 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 2024-07-30 19:37:49 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-07-30 19:44:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-30 19:52:36 +0200 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) |
| 2024-07-30 19:54:07 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2024-07-30 19:57:15 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-07-30 19:58:26 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-30 20:01:26 +0200 | Square2 | (~Square@user/square) |
| 2024-07-30 20:03:15 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-30 20:03:27 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-30 20:08:32 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-30 20:13:00 +0200 | Guest85 | (~Guest85@78.135.8.93) |
| 2024-07-30 20:29:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 20:35:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2024-07-30 20:45:56 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-30 20:56:33 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Ping timeout: 252 seconds) |
| 2024-07-30 20:57:50 +0200 | Guest85 | (~Guest85@78.135.8.93) (Quit: Client closed) |
| 2024-07-30 21:00:42 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-07-30 21:03:41 +0200 | kuribas | (~user@ptr-17d51emnm92g51m299m.18120a2.ip6.access.telenet.be) |
| 2024-07-30 21:06:06 +0200 | <kuribas> | How can I "rebuild" my package on hackage? |
| 2024-07-30 21:06:10 +0200 | hayk | (~hayk@141.136.90.108) (Quit: hayk) |
| 2024-07-30 21:09:00 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 21:09:36 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-30 21:10:56 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 252 seconds) |
| 2024-07-30 21:11:16 +0200 | <kuribas> | nm, I found it. |
| 2024-07-30 21:14:03 +0200 | <danse-nr3> | v |
| 2024-07-30 21:15:11 +0200 | <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 21:15:39 +0200 | <danse-nr3> | not experienced about that, sorry |
| 2024-07-30 21:16:54 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-07-30 21:22:02 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-30 21:23:33 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 21:27:56 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Quit: good night) |
| 2024-07-30 21:33:17 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-30 21:35:46 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-07-30 21:38:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-30 21:44:05 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-30 21:46:43 +0200 | <geekosaur> | not only does it take time to get scheduled to build, but the CDN caches the page |
| 2024-07-30 21:49:05 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) |
| 2024-07-30 21:49:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-30 21:50:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-30 21:50:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-07-30 21:51:00 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Remote host closed the connection) |
| 2024-07-30 21:51:17 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) |
| 2024-07-30 21:53:38 +0200 | skyesoss | (~Thunderbi@c-73-208-45-119.hsd1.il.comcast.net) (Ping timeout: 265 seconds) |
| 2024-07-30 22:01:10 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-30 22:04:31 +0200 | cipherrot | (~znc-user@user/petrichor) |
| 2024-07-30 22:04:37 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 248 seconds) |
| 2024-07-30 22:14:13 +0200 | jerg | (~jerg@2001:a61:2553:4500::bb0) (Ping timeout: 248 seconds) |
| 2024-07-30 22:17:03 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-07-30 22:21:22 +0200 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) |
| 2024-07-30 22:25:06 +0200 | <__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 22:25:12 +0200 | <__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 22:25:17 +0200 | sprout | (~quassel@2a02-a448-3a80-0-414d-4612-f265-dc79.fixed6.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-30 22:25:21 +0200 | <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 22:25:27 +0200 | <nate_b> | know if it's significant, but I am running ghc/ghci inside Termux. |
| 2024-07-30 22:26:21 +0200 | <nate_b> | Inside ghci, `:show paths` gives a module import search path of '.', so is that the issue? |
| 2024-07-30 22:27:26 +0200 | <geekosaur> | they weon't be shown in ghc-pkg list |
| 2024-07-30 22:27:36 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) (Read error: Connection reset by peer) |
| 2024-07-30 22:27:48 +0200 | sprout | (~quassel@2a02-a448-3a80-0-f46a-b3d3-7735-3c78.fixed6.kpn.net) |
| 2024-07-30 22:27:58 +0200 | <geekosaur> | you should run the "cabal install --lib" in the directory containing your xmonad config |
| 2024-07-30 22:28:10 +0200 | ThePenguin | (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 2024-07-30 22:28:40 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2024-07-30 22:29:13 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 22:29:14 +0200 | <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 22:29:48 +0200 | <geekosaur> | things used to work that way. it caused horrible messes that often required you to nuke everything and start over. |
| 2024-07-30 22:29:55 +0200 | <JuanDaugherty> | u wanna let ghcup oder handle it |
| 2024-07-30 22:30:26 +0200 | <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 22:30:57 +0200 | <geekosaur> | (also, termux? isn't that android? last I checked android wasn't based on x11) |
| 2024-07-30 22:31:16 +0200 | <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 22:31:59 +0200 | <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 22:33:14 +0200 | <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 22:34:09 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 22:34:59 +0200 | <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 22:35:29 +0200 | <nate_b> | Huh, cool! It's been a while since I've needed to install it... so thanks! |
| 2024-07-30 22:36:58 +0200 | <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 22:37:14 +0200 | <nate_b> | It's currently installed in ~/.cabal/ |
| 2024-07-30 22:38:24 +0200 | <geekosaur> | yes, you won't see it updating the environment file (.ghc_environment*) |
| 2024-07-30 22:38:35 +0200 | <geekosaur> | "up to date" is from the build part |
| 2024-07-30 22:39:08 +0200 | <nate_b> | There are no new files under ~/.xmonad and `xmonad` still gives the same compilation errors. |
| 2024-07-30 22:39:26 +0200 | <geekosaur> | um |
| 2024-07-30 22:39:32 +0200 | <geekosaur> | what version of cabal do you have? |
| 2024-07-30 22:39:43 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-30 22:40:14 +0200 | <nate_b> | version 3.8.1.0 |
| 2024-07-30 22:41:02 +0200 | <geekosaur> | hm, oldish but not so old that this shouldn't work |
| 2024-07-30 22:41:18 +0200 | <geekosaur> | what version of xmonad? |
| 2024-07-30 22:41:37 +0200 | <nate_b> | version 0.18.0 |
| 2024-07-30 22:41:49 +0200 | <geekosaur> | that should be fine too |
| 2024-07-30 22:44:25 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-30 22:45:13 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-30 22:45:29 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-30 22:46:12 +0200 | <geekosaur> | oh |
| 2024-07-30 22:46:27 +0200 | <geekosaur> | where did you get the cabal install --lib stuff from? |
| 2024-07-30 22:47:03 +0200 | <geekosaur> | INSTALL.html tells you to use: cabal install --package-env=$HOME/.xmonad --lib base xmonad xmonad-contrib |
| 2024-07-30 22:47:36 +0200 | <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 22:47:44 +0200 | <nate_b> | Oh, I see. I got it from a reddit post about this problem with XMonad. |
| 2024-07-30 22:47:47 +0200 | <nate_b> | Oh! |
| 2024-07-30 22:48:10 +0200 | <nate_b> | Okay, lemme try that... |
| 2024-07-30 22:48:12 +0200 | <nate_b> | 1m |
| 2024-07-30 22:48:20 +0200 | <geekosaur> | the global one *should* work, though |
| 2024-07-30 22:48:50 +0200 | <geekosaur> | it's just disrecommended because it can create the same problems as used to happen with global package installs |
| 2024-07-30 22:50:51 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-30 22:51:31 +0200 | <nate_b> | The cabal line ran fine, then when I ran xmonad I got the same error as before. |
| 2024-07-30 22:52:57 +0200 | <geekosaur> | hm. I just ran that in my sandbox here and it worked as expected |
| 2024-07-30 22:53:43 +0200 | <geekosaur> | https://paste.tomsmeding.com/rZUrk6zV |
| 2024-07-30 22:55:32 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-30 22:56:03 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-30 22:56:28 +0200 | <nate_b> | Hmm... here's mine: https://paste.tomsmeding.com/bNHnxcHP |
| 2024-07-30 22:57:57 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-30 22:58:13 +0200 | <geekosaur> | hm. can you run the ghc command on line 5, with -v0 replaced by -v1? (and no $ at the front) |
| 2024-07-30 23:00:38 +0200 | <nate_b> | Exact same output |
| 2024-07-30 23:01:14 +0200 | <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 23:01:34 +0200 | <nate_b> | Nah, I did it the right way. |
| 2024-07-30 23:01:36 +0200 | <geekosaur> | also you might run ghci from your config directory and see if it says something about loading an environment file |
| 2024-07-30 23:02:20 +0200 | <geekosaur> | and if it does, try `import XMonad` at the prompt |
| 2024-07-30 23:02:47 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-30 23:03:05 +0200 | <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 23:03:06 +0200 | <nate_b> | It does not. |
| 2024-07-30 23:03:23 +0200 | <nate_b> | the ghci just goes to a prompt. |
| 2024-07-30 23:03:34 +0200 | <geekosaur> | does `ls -a` show the environment file? |
| 2024-07-30 23:04:38 +0200 | <nate_b> | Yes, and it includes xmonad and xmonad-config |
| 2024-07-30 23:09:32 +0200 | <geekosaur> | but ghci isn't loading it, nor apparently ghc. this sounds like a problem with your ghc, I'm afraid |
| 2024-07-30 23:10:38 +0200 | <geekosaur> | hm, what version of ghc is it? |
| 2024-07-30 23:13:05 +0200 | <nate_b> | 1 sec |
| 2024-07-30 23:14:24 +0200 | <geekosaur> | unless, hm. `echo $GHC_ENVIRONMENT` |
| 2024-07-30 23:14:36 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-30 23:14:42 +0200 | <nate_b> | ghci 9.2.5 |
| 2024-07-30 23:15:34 +0200 | <geekosaur> | that's recent enough to support them |
| 2024-07-30 23:16:20 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-30 23:19:50 +0200 | <nate_b> | $GHC_ENVIRONMENT is empty |
| 2024-07-30 23:22:04 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2024-07-30 23:22:40 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-07-30 23:23:58 +0200 | <nate_b> | Is there a productive way to half-split this? |
| 2024-07-30 23:24:28 +0200 | <nate_b> | Like, to try a different package or something from scratch? Any suggestions? |
| 2024-07-30 23:28:05 +0200 | <geekosaur> | you can try using cabal v1-install xmonad xmonad-xontrib |
| 2024-07-30 23:28:14 +0200 | <geekosaur> | er, xmonad-contrib |
| 2024-07-30 23:29:00 +0200 | <geekosaur> | or if stack is available, follow the stack install instructions https://xmonad.org/INSTALL.html#build-using-stack |
| 2024-07-30 23:31:47 +0200 | <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 23:41:51 +0200 | <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 23:42:51 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-30 23:49:11 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 255 seconds) |
| 2024-07-30 23:51:35 +0200 | euleritian | (~euleritia@dynamic-176-006-133-039.176.6.pool.telefonica.de) |
| 2024-07-30 23:52:55 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-30 23:54:11 +0200 | hayk | (~hayk@141.136.90.108) |
| 2024-07-30 23:55:21 +0200 | euleritian | (~euleritia@dynamic-176-006-133-039.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-30 23:55:40 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-30 23:57:14 +0200 | nate_b | (~u0_a123@pool-72-74-69-99.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |