| 2023-05-29 00:01:27 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-86.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-29 00:03:39 +0200 | __monty__ | (~toonn@user/toonn) (Ping timeout: 256 seconds) |
| 2023-05-29 00:04:09 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-86.hive.is) |
| 2023-05-29 00:10:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-29 00:11:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-29 00:12:43 +0200 | oxide | (~lambda@user/oxide) |
| 2023-05-29 00:13:29 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-05-29 00:17:45 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-29 00:28:32 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 246 seconds) |
| 2023-05-29 00:30:41 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-29 00:31:13 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 00:33:24 +0200 | <Guest13> | d34df00d: im guessing if it isnt something stackage can resolve to that it wouldnt be straitforward |
| 2023-05-29 00:34:21 +0200 | <Guest13> | also, there is some reticence within the community to advocate for stackage at all, following a (not so) recent cabal update |
| 2023-05-29 00:34:27 +0200 | Guest65 | (~Guest77@69-165-220-190.dsl.teksavvy.com) |
| 2023-05-29 00:36:51 +0200 | <Guest13> | there might be someone that worked on the stackage apparatus that might be able to help you patch in as yet not resolver enabled versions, but i suspect they may not volunteer to do so, given its not the intended way to use stack, and that stack is not the main compilation tool-chain supported by the community. |
| 2023-05-29 00:37:10 +0200 | <Guest13> | however, someone may still jump in with a solution |
| 2023-05-29 00:39:35 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2023-05-29 00:40:38 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-86.hive.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-29 00:44:15 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-86.du.xdsl.is) |
| 2023-05-29 00:48:39 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-29 00:48:39 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-29 00:48:39 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-29 00:49:54 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e065:ca7f:f336:c3ee) (Remote host closed the connection) |
| 2023-05-29 00:50:13 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e065:ca7f:f336:c3ee) |
| 2023-05-29 00:53:14 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-05-29 00:53:22 +0200 | hiredman_ | hiredman |
| 2023-05-29 00:53:28 +0200 | gurkenglas | (~user@dynamic-046-114-177-130.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-29 00:53:40 +0200 | Guest13 | (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) (Quit: Connection closed) |
| 2023-05-29 00:54:08 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-86.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-29 00:55:19 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2023-05-29 00:57:52 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-86.hive.is) |
| 2023-05-29 00:58:37 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-05-29 01:00:43 +0200 | gurkenglas | (~user@dynamic-046-114-182-030.46.114.pool.telefonica.de) |
| 2023-05-29 01:07:56 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Quit: Konversation terminated!) |
| 2023-05-29 01:18:39 +0200 | Guest65 | (~Guest77@69-165-220-190.dsl.teksavvy.com) (Quit: Client closed) |
| 2023-05-29 01:19:17 +0200 | vandita | (~vandit@188-143-101-81.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-05-29 01:20:45 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-05-29 01:21:15 +0200 | vandita | (~vandit@77-234-80-134.pool.digikabel.hu) |
| 2023-05-29 01:22:25 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 256 seconds) |
| 2023-05-29 01:22:26 +0200 | mauke_ | mauke |
| 2023-05-29 01:23:08 +0200 | gurkenglas | (~user@dynamic-046-114-182-030.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-29 01:23:17 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-05-29 01:23:31 +0200 | ddellacosta | (~ddellacos@143.244.47.87) (Ping timeout: 240 seconds) |
| 2023-05-29 01:24:05 +0200 | hammond_ | hammond |
| 2023-05-29 01:24:12 +0200 | hammond | (proscan@gateway02.insomnia247.nl) (Changing host) |
| 2023-05-29 01:24:12 +0200 | hammond | (proscan@user/hammond2) |
| 2023-05-29 01:24:33 +0200 | <sm> | d34df00d: I know that repo, |
| 2023-05-29 01:24:33 +0200 | <sm> | but no idea how to find it either, other than a web search |
| 2023-05-29 01:26:09 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-05-29 01:27:23 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2023-05-29 01:27:30 +0200 | mcglk | (~mcglk@131.191.19.145) (Read error: Connection reset by peer) |
| 2023-05-29 01:28:12 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-05-29 01:28:21 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 01:28:25 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-29 01:32:19 +0200 | <sm> | d34df00d: ah, I think it was https://github.com/DanBurton/stack-setup-info-gen/tree/master/output |
| 2023-05-29 01:33:06 +0200 | <sm> | you might need to file an issue to get it updated, or use the tool to generate them yourself |
| 2023-05-29 01:35:33 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-05-29 01:36:38 +0200 | Guest21 | (~Guest21@072-182-045-094.res.spectrum.com) (Quit: Client closed) |
| 2023-05-29 01:42:13 +0200 | myxos | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxos) |
| 2023-05-29 01:42:14 +0200 | monoidal | (~monoidal@2001:861:3f42:1b60:b032:576b:1cee:47f4) (Quit: Client closed) |
| 2023-05-29 01:42:15 +0200 | <sm> | d34df00d: but actually.. I think those yamls are mainly helpful if you want to use an unreleased ghc from git.. to use a released ghc, usually just putting resolver: ghc-X.Y and whatever extra-deps you need, works |
| 2023-05-29 01:42:27 +0200 | myxos | (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-05-29 01:42:44 +0200 | <sm> | like https://github.com/simonmichael/hledger/blob/master/stack9.6.yaml |
| 2023-05-29 01:43:53 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-29 01:45:04 +0200 | acidjnk | (~acidjnk@p200300d6e7072f9441e69932c7e8d464.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-29 01:50:24 +0200 | B-J | (~BenziJuni@88-149-64-165.du.xdsl.is) |
| 2023-05-29 01:51:03 +0200 | ub | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 2023-05-29 01:51:25 +0200 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-29 01:51:25 +0200 | ub | ubert |
| 2023-05-29 01:51:42 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-86.hive.is) (Ping timeout: 265 seconds) |
| 2023-05-29 01:54:05 +0200 | <d34df00d> | sm: oh wow, that last one is perfect, thanks! |
| 2023-05-29 01:54:12 +0200 | <d34df00d> | I completely forgot that feature of stack. |
| 2023-05-29 01:55:08 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) (Remote host closed the connection) |
| 2023-05-29 01:55:22 +0200 | sm | getting ready to try a 9.6.2 build plan |
| 2023-05-29 02:07:07 +0200 | telser | (~quassel@user/telser) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-05-29 02:10:19 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) |
| 2023-05-29 02:22:11 +0200 | mcglk | (~mcglk@131.191.19.145) (Quit: (seeya)) |
| 2023-05-29 02:28:07 +0200 | Guest13 | (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) |
| 2023-05-29 02:28:19 +0200 | <Guest13> | hi, I was here before asking about the reader monad |
| 2023-05-29 02:28:51 +0200 | <Guest13> | well, actually about (insert term here) depending on which language it is |
| 2023-05-29 02:28:52 +0200 | <Guest13> | https://stackoverflow.com/questions/14178889/what-is-the-purpose-of-the-reader-monad |
| 2023-05-29 02:29:13 +0200 | <Guest13> | this link explains various programming languages approach this idea in different ways |
| 2023-05-29 02:29:50 +0200 | <Guest13> | eg. https://en.wikipedia.org/wiki/Dependency_injection |
| 2023-05-29 02:29:50 +0200 | telser | (~quassel@user/telser) |
| 2023-05-29 02:30:20 +0200 | <Guest13> | "You use the reader monad if you want to - on occasion - read some values from an (unmodifiable) environment, but don't want to explicitly pass that environment around" |
| 2023-05-29 02:30:29 +0200 | <Guest13> | which is exactly what i was after! |
| 2023-05-29 02:30:48 +0200 | <Guest13> | i was going to try to put together an example |
| 2023-05-29 02:31:11 +0200 | <Guest13> | as i have never used monad transformers, I was wondering if I could get some walkthrough |
| 2023-05-29 02:36:39 +0200 | <monochrom> | Since Reader is defined by "newtype Reader e a = Reader (e -> a)", |
| 2023-05-29 02:36:57 +0200 | <monochrom> | You can treat it as e->a. Just vanilla function space. |
| 2023-05-29 02:37:24 +0200 | <monochrom> | So the purpose seems to be glorifying it more than it really is. |
| 2023-05-29 02:38:06 +0200 | <Guest13> | hmm |
| 2023-05-29 02:38:21 +0200 | <Guest13> | and the monad instance doesnt add anything over that? |
| 2023-05-29 02:38:32 +0200 | <Guest13> | i started writing a paste; |
| 2023-05-29 02:38:33 +0200 | <Guest13> | https://paste.tomsmeding.com/RaCxUUv6 |
| 2023-05-29 02:38:37 +0200 | <jackdk> | Guest13: http://jackkelly.name/wiki/haskell/learning.html#monad-transformers has some links I like, some may help you. Try `mtl.md`? |
| 2023-05-29 02:38:44 +0200 | <Guest13> | thanks |
| 2023-05-29 02:38:46 +0200 | <monochrom> | While I'm at it, let's also deconstruct dependency injection. |
| 2023-05-29 02:38:52 +0200 | <Guest13> | ok |
| 2023-05-29 02:39:07 +0200 | <monochrom> | Suppose I start with this code "f = sin 5 + sin 6". |
| 2023-05-29 02:39:41 +0200 | <monochrom> | Someone may say maybe for some reason we should let the user provide the sin function so I don't hardcode sin there. |
| 2023-05-29 02:40:05 +0200 | <Guest13> | f g = g 5 + g 6 |
| 2023-05-29 02:40:42 +0200 | <monochrom> | So we take a sin parameter from the user and rewrite as "f g = g 5 + g 6". Now the user can choose sin or cos or a mock sin or whatever for mock testing or generality. |
| 2023-05-29 02:41:28 +0200 | <Guest13> | sure |
| 2023-05-29 02:41:50 +0200 | <monochrom> | So the purpose of dependency injection seems to be having an excuse to write gigabytes of blogs and demanding millions of consultancy money for much ado about nothing. |
| 2023-05-29 02:42:19 +0200 | <Guest13> | very helpful thankyou |
| 2023-05-29 02:43:59 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Ping timeout: 246 seconds) |
| 2023-05-29 02:44:10 +0200 | <Guest13> | i think maybe MTL isnt something i should learn |
| 2023-05-29 02:44:22 +0200 | <Guest13> | i have no desire to use the algebraic compositionality |
| 2023-05-29 02:44:39 +0200 | <Guest13> | ill just focus on understanding the reader monad for now |
| 2023-05-29 02:45:03 +0200 | <Guest13> | and this idea of working within an environment in which pseudo-global variables can be set |
| 2023-05-29 02:46:34 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-29 02:46:35 +0200 | <Guest13> | i can remember eg, reader + writer = state. and that for other groups of monads, that there can be issues to do with commutativity. but the language used in the links is opaque, and beyond my capability to comprehend. |
| 2023-05-29 02:48:22 +0200 | mcglk | (~mcglk@131.191.19.145) |
| 2023-05-29 02:49:58 +0200 | Guest13 | (~Guest13@250.79-105-213.static.virginmediabusiness.co.uk) (Quit: Connection closed) |
| 2023-05-29 03:06:03 +0200 | B-J | Benzi-Junior |
| 2023-05-29 03:07:44 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-165.du.xdsl.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-05-29 03:08:13 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-165.du.xdsl.is) |
| 2023-05-29 03:10:26 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-05-29 03:16:32 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-05-29 03:17:27 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 268 seconds) |
| 2023-05-29 03:27:17 +0200 | pyook | (~puke@user/puke) |
| 2023-05-29 03:32:05 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-05-29 03:33:37 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) |
| 2023-05-29 03:33:37 +0200 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.au) (Changing host) |
| 2023-05-29 03:33:37 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-05-29 03:34:08 +0200 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 240 seconds) |
| 2023-05-29 03:34:27 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2023-05-29 03:48:31 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-29 04:03:39 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-05-29 04:06:28 +0200 | pyook | (~puke@user/puke) (Ping timeout: 240 seconds) |
| 2023-05-29 04:07:11 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 240 seconds) |
| 2023-05-29 04:18:31 +0200 | vandita | (~vandit@77-234-80-134.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-29 04:19:40 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-29 04:20:34 +0200 | vandita | (~vandit@178-164-171-198.pool.digikabel.hu) |
| 2023-05-29 04:25:30 +0200 | scrungus | (~scrungus@bras-base-aurron9127w-grc-63-70-24-87-21.dsl.bell.ca) (Quit: WeeChat 3.8) |
| 2023-05-29 04:33:18 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 268 seconds) |
| 2023-05-29 04:46:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-05-29 04:46:16 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-05-29 04:46:16 +0200 | finn_elija | FinnElija |
| 2023-05-29 04:47:25 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-29 04:53:55 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-29 04:54:14 +0200 | phma | (~phma@2001:5b0:2172:dd28:7911:911:8af7:7b23) (Read error: Connection reset by peer) |
| 2023-05-29 04:54:38 +0200 | phma | (phma@2001:5b0:2172:dd28:7911:911:8af7:7b23) |
| 2023-05-29 04:55:27 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-05-29 04:57:31 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2023-05-29 05:00:25 +0200 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 240 seconds) |
| 2023-05-29 05:01:00 +0200 | reach | (~reach@cpe30b7d4bc76e3-cm30b7d4bc76e0.cpe.net.cable.rogers.com) |
| 2023-05-29 05:02:22 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-05-29 05:02:38 +0200 | td_ | (~td@i53870935.versanet.de) |
| 2023-05-29 05:03:27 +0200 | freeside_ | (~mengwong@103.252.202.189) |
| 2023-05-29 05:08:27 +0200 | freeside_ | (~mengwong@103.252.202.189) (Ping timeout: 268 seconds) |
| 2023-05-29 05:15:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-29 05:15:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-29 05:15:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-29 05:38:19 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-05-29 05:41:00 +0200 | <JensPetersen[m]> | Is there a better name for this haskeline function than mapInput? https://github.com/juhp/simple-prompt/blob/8d3f11960220b15e5b1569c226e1edfe418076f5/src/SimpleProm… |
| 2023-05-29 05:41:01 +0200 | bc81 | (~bc@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-05-29 05:41:47 +0200 | reach | (~reach@cpe30b7d4bc76e3-cm30b7d4bc76e0.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2023-05-29 05:42:16 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 05:42:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-29 05:43:28 +0200 | <JensPetersen[m]> | eg I renamed guardInput to untilInput |
| 2023-05-29 05:45:52 +0200 | <jackdk> | JensPetersen[m]: package `witherable` calls that function `mapMaybe`, generalising `Data.Maybe.mapMaybe`: https://hackage.haskell.org/package/witherable-0.4/docs/Data-Witherable.html#v:mapMaybe . `mapMaybeInput`, then? |
| 2023-05-29 05:52:23 +0200 | RedNifre | (~RedNifre@dslb-002-206-121-134.002.206.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2023-05-29 05:54:26 +0200 | pyook | (~puke@user/puke) |
| 2023-05-29 06:02:47 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 246 seconds) |
| 2023-05-29 06:05:14 +0200 | RedNifre | (~RedNifre@dslb-002-206-109-067.002.206.pools.vodafone-ip.de) |
| 2023-05-29 06:09:58 +0200 | <JensPetersen[m]> | jackdk: right could work (I also tried maybeInput), but it doesn't capture the looping aspect |
| 2023-05-29 06:18:59 +0200 | freeside_ | (~mengwong@103.252.202.189) |
| 2023-05-29 06:20:15 +0200 | <jackdk> | JensPetersen[m]: Oh, I did not notice that at all, and leapt to a conclusion based on the tysig. `untilJustInput`? |
| 2023-05-29 06:23:05 +0200 | freeside_ | (~mengwong@103.252.202.189) (Ping timeout: 246 seconds) |
| 2023-05-29 06:24:55 +0200 | vandita | (~vandit@178-164-171-198.pool.digikabel.hu) (Ping timeout: 268 seconds) |
| 2023-05-29 06:26:03 +0200 | vandita | (~vandit@91-83-11-253.pool.digikabel.hu) |
| 2023-05-29 06:41:48 +0200 | bc81 | bc |
| 2023-05-29 06:41:57 +0200 | bc | bc81 |
| 2023-05-29 06:44:44 +0200 | freeside_ | (~mengwong@103.252.202.189) |
| 2023-05-29 06:47:59 +0200 | michalz | (~michalz@185.246.204.93) |
| 2023-05-29 06:49:02 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:e065:ca7f:f336:c3ee) (Remote host closed the connection) |
| 2023-05-29 06:49:35 +0200 | freeside_ | (~mengwong@103.252.202.189) (Ping timeout: 268 seconds) |
| 2023-05-29 06:50:28 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2023-05-29 07:00:26 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-05-29 07:09:47 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-29 07:12:48 +0200 | freeside_ | (~mengwong@103.252.202.189) |
| 2023-05-29 07:14:24 +0200 | bc81 | (~bc@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-29 07:18:34 +0200 | freeside_ | (~mengwong@103.252.202.189) (Ping timeout: 268 seconds) |
| 2023-05-29 07:24:43 +0200 | <Axman6> | How do I get cabal to list the versions of packages it's using in the current project? |
| 2023-05-29 07:25:12 +0200 | <sclv> | look at the project.json |
| 2023-05-29 07:25:43 +0200 | <sclv> | er plan.json https://hackage.haskell.org/package/cabal-plan |
| 2023-05-29 07:26:28 +0200 | pavonia | (~user@user/siracusa) (Ping timeout: 240 seconds) |
| 2023-05-29 07:26:48 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:6700:1ac0:4dff:fedb:a3f1) |
| 2023-05-29 07:27:04 +0200 | <Axman6> | I tried cabal freeze and it's given me what I'm after |
| 2023-05-29 07:37:17 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2023-05-29 07:46:11 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-29 07:47:28 +0200 | <JensPetersen[m]> | Axman6: that would be a nice feature - `stack list` can do that at least for non core-libs |
| 2023-05-29 07:49:15 +0200 | <JensPetersen[m]> | jackdk: thanks |
| 2023-05-29 07:50:47 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-29 07:51:20 +0200 | <Axman6> | yeah cabal list was the first thing I tried, and it did give me a lot of output, but way more than I wanted to sift through |
| 2023-05-29 07:57:04 +0200 | <jackdk> | If I'm using the nixpkgs haskell stuff, then the versions it provides are in `ghc-pkg list` |
| 2023-05-29 08:00:13 +0200 | RedNifre | (~RedNifre@dslb-002-206-109-067.002.206.pools.vodafone-ip.de) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | driib | (~driib@vmi931078.contaboserver.net) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Guest3811 | (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | kitzman | (~kitzman@user/dekenevs) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | vulpine | (xfnw@tilde.team) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | h2t | (~h2t@user/h2t) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Dykam | (Dykam@dykam.nl) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | tokie | (~tokie@tokie.net) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | delyan | (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | mxs | (~mxs@user/mxs) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | pierrot | (~pi@user/pierrot) (*.net *.split) |
| 2023-05-29 08:00:13 +0200 | jjhoo | (~jahakala@user/jjhoo) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | meooow | (~meooow@165.232.184.169) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | liskin | (~liskin@xmonad/liskin) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | edwardk | (sid47016@haskell/developer/edwardk) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | ncf | (~n@monade.li) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | nckx | (~nckx@tobias.gr) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | siers69 | (~ij@user/ij) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | zzz | (~z@user/zero) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | alloca | (~alloca@user/suppi) (*.net *.split) |
| 2023-05-29 08:00:14 +0200 | ouroboros | (~ouroboros@user/ouroboros) (*.net *.split) |
| 2023-05-29 08:00:22 +0200 | xnbya | (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2023-05-29 08:00:23 +0200 | ysh____ | (sid6017@id-6017.ilkley.irccloud.com) |
| 2023-05-29 08:00:24 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2023-05-29 08:00:27 +0200 | hamishmack | (sid389057@id-389057.hampstead.irccloud.com) |
| 2023-05-29 08:00:29 +0200 | wz1000 | (~zubin@static.11.113.47.78.clients.your-server.de) |
| 2023-05-29 08:00:31 +0200 | root | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2023-05-29 08:00:33 +0200 | delyan | (sid523379@id-523379.hampstead.irccloud.com) |
| 2023-05-29 08:00:35 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-05-29 08:00:35 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2023-05-29 08:00:40 +0200 | tokie | (~tokie@tokie.net) |
| 2023-05-29 08:00:44 +0200 | alloca | (~alloca@2a03:4000:f:7ca:7407:d1ff:fe34:8cd0) |
| 2023-05-29 08:00:44 +0200 | mxs | (~mxs@user/mxs) |
| 2023-05-29 08:00:45 +0200 | RedNifre | (~RedNifre@dslb-002-206-109-067.002.206.pools.vodafone-ip.de) |
| 2023-05-29 08:00:45 +0200 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2023-05-29 08:00:45 +0200 | zups | (~meow@2a01:4f9:c010:6036::1) |
| 2023-05-29 08:00:45 +0200 | kawzeg_ | (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 2023-05-29 08:00:46 +0200 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2023-05-29 08:00:48 +0200 | liskin | (~liskin@ackle.nomi.cz) |
| 2023-05-29 08:00:49 +0200 | Dykam | (Dykam@dykam.nl) |
| 2023-05-29 08:01:17 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) |
| 2023-05-29 08:01:19 +0200 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2023-05-29 08:01:24 +0200 | rubin55 | (sid175221@id-175221.hampstead.irccloud.com) |
| 2023-05-29 08:01:30 +0200 | root | Guest3469 |
| 2023-05-29 08:01:30 +0200 | edwardk | (sid47016@id-47016.ilkley.irccloud.com) |
| 2023-05-29 08:01:30 +0200 | Fangs | (sid141280@id-141280.hampstead.irccloud.com) |
| 2023-05-29 08:01:32 +0200 | Boarders___ | (sid425905@id-425905.lymington.irccloud.com) |
| 2023-05-29 08:01:33 +0200 | liskin | (~liskin@ackle.nomi.cz) (Changing host) |
| 2023-05-29 08:01:33 +0200 | liskin | (~liskin@xmonad/liskin) |
| 2023-05-29 08:01:52 +0200 | edwardk | (sid47016@id-47016.ilkley.irccloud.com) (Changing host) |
| 2023-05-29 08:01:52 +0200 | edwardk | (sid47016@haskell/developer/edwardk) |
| 2023-05-29 08:01:52 +0200 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2023-05-29 08:02:05 +0200 | carter | (sid14827@id-14827.helmsley.irccloud.com) |
| 2023-05-29 08:02:13 +0200 | c_wraith | (~c_wraith@adjoint.us) |
| 2023-05-29 08:02:13 +0200 | meooow | (~meooow@165.232.184.169) |
| 2023-05-29 08:02:28 +0200 | h2t | (~h2t@user/h2t) |
| 2023-05-29 08:02:29 +0200 | zero | (~z@user/zero) |
| 2023-05-29 08:02:32 +0200 | DigitalKiwi | (~kiwi@2604:a880:400:d0::1ca0:e001) |
| 2023-05-29 08:02:32 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2023-05-29 08:02:47 +0200 | siers | (~ij@user/ij) |
| 2023-05-29 08:02:49 +0200 | pierrot | (~pi@user/pierrot) |
| 2023-05-29 08:02:49 +0200 | acidsys | (~crameleon@openSUSE/member/crameleon) |
| 2023-05-29 08:02:51 +0200 | kitzman | (~kitzman@user/dekenevs) |
| 2023-05-29 08:03:09 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-29 08:03:15 +0200 | ouroboros | (~ouroboros@user/ouroboros) |
| 2023-05-29 08:03:24 +0200 | ncf | (~n@monade.li) |
| 2023-05-29 08:03:36 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2023-05-29 08:04:00 +0200 | vulpine | (xfnw@tilde.team) |
| 2023-05-29 08:04:05 +0200 | kmein | (~weechat@user/kmein) |
| 2023-05-29 08:04:06 +0200 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 2023-05-29 08:04:24 +0200 | nckx | (~nckx@tobias.gr) |
| 2023-05-29 08:05:29 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2023-05-29 08:05:34 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-29 08:08:06 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-05-29 08:09:46 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2023-05-29 08:15:10 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-29 08:17:09 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-29 08:19:36 +0200 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-05-29 08:22:23 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2023-05-29 08:22:23 +0200 | coot_ | coot |
| 2023-05-29 08:25:23 +0200 | gurkenglas | (~user@dynamic-046-114-182-030.46.114.pool.telefonica.de) |
| 2023-05-29 08:29:22 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-05-29 08:29:37 +0200 | trev | (~trev@user/trev) |
| 2023-05-29 08:43:10 +0200 | CiaoSen | (~Jura@145.224.73.17) |
| 2023-05-29 08:50:08 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:dd23:c2d5:a9c6:1761) |
| 2023-05-29 09:02:04 +0200 | apache | (apache2@anubis.0x90.dk) |
| 2023-05-29 09:02:10 +0200 | juri__ | (~juri@79.140.121.73) |
| 2023-05-29 09:02:23 +0200 | phma_ | (phma@2001:5b0:2172:dd28:7911:911:8af7:7b23) |
| 2023-05-29 09:02:33 +0200 | apache2 | (apache2@anubis.0x90.dk) (Remote host closed the connection) |
| 2023-05-29 09:04:01 +0200 | phma | (phma@2001:5b0:2172:dd28:7911:911:8af7:7b23) (Ping timeout: 240 seconds) |
| 2023-05-29 09:04:23 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 240 seconds) |
| 2023-05-29 09:07:26 +0200 | acidjnk | (~acidjnk@p200300d6e7072f022ce4955b5237ad47.dip0.t-ipconnect.de) |
| 2023-05-29 09:09:29 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:dd23:c2d5:a9c6:1761) (Quit: WeeChat 2.8) |
| 2023-05-29 09:10:22 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-29 09:17:53 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55da:5941:f23:42b2) |
| 2023-05-29 09:21:23 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-05-29 09:27:26 +0200 | phma_ | phma |
| 2023-05-29 09:36:47 +0200 | chomwitt | (~chomwitt@2a02:587:7a16:6700:1ac0:4dff:fedb:a3f1) (Remote host closed the connection) |
| 2023-05-29 09:43:16 +0200 | brettgilio | (~brettgili@x-irc.gq) (Remote host closed the connection) |
| 2023-05-29 09:44:56 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-29 09:46:17 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-29 09:47:46 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-29 09:49:11 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-29 09:50:09 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-29 09:52:02 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 246 seconds) |
| 2023-05-29 10:00:28 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 240 seconds) |
| 2023-05-29 10:01:28 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) (Quit: oo_miguel) |
| 2023-05-29 10:02:45 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-05-29 10:03:14 +0200 | oo_miguel | (~Thunderbi@77.252.47.84) |
| 2023-05-29 10:05:11 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) |
| 2023-05-29 10:10:05 +0200 | lewisje | (~lewisje@74.215.20.3) (Read error: Connection reset by peer) |
| 2023-05-29 10:10:30 +0200 | lewisje | (~lewisje@74.215.20.3) |
| 2023-05-29 10:13:40 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-05-29 10:15:48 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-29 10:16:06 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 10:24:47 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 240 seconds) |
| 2023-05-29 10:41:45 +0200 | pharonix71 | (~pharonix7@user/pharonix71) (Remote host closed the connection) |
| 2023-05-29 10:42:19 +0200 | pharonix71 | (~pharonix7@user/pharonix71) |
| 2023-05-29 10:47:11 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-05-29 10:47:15 +0200 | jargon | (~jargon@184.101.78.160) (Remote host closed the connection) |
| 2023-05-29 10:49:20 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-05-29 10:54:26 +0200 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-05-29 10:56:05 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-05-29 10:56:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) (Remote host closed the connection) |
| 2023-05-29 10:57:13 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-05-29 10:59:42 +0200 | ub | (~Thunderbi@p200300ecdf000264e98521bdc43441b3.dip0.t-ipconnect.de) |
| 2023-05-29 11:00:25 +0200 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-05-29 11:00:25 +0200 | ub | ubert |
| 2023-05-29 11:02:08 +0200 | legion | (~queereen@user-5-173-168-41.play-internet.pl) |
| 2023-05-29 11:03:35 +0200 | CiaoSen | (~Jura@145.224.73.17) (Ping timeout: 240 seconds) |
| 2023-05-29 11:03:56 +0200 | legion | (~queereen@user-5-173-168-41.play-internet.pl) (Changing host) |
| 2023-05-29 11:03:56 +0200 | legion | (~queereen@user/queereen) |
| 2023-05-29 11:08:00 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.8) |
| 2023-05-29 11:09:15 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-05-29 11:09:21 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) |
| 2023-05-29 11:09:22 +0200 | Feuermagier_ | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2023-05-29 11:10:55 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 265 seconds) |
| 2023-05-29 11:11:35 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 240 seconds) |
| 2023-05-29 11:22:14 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::7fe) (Remote host closed the connection) |
| 2023-05-29 11:22:36 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::fba) |
| 2023-05-29 11:23:18 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-05-29 11:23:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-29 11:23:59 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 11:26:07 +0200 | mei | (~mei@user/mei) |
| 2023-05-29 11:42:53 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-29 11:45:17 +0200 | mei | (~mei@user/mei) |
| 2023-05-29 11:51:45 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 268 seconds) |
| 2023-05-29 11:53:15 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 11:57:06 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-05-29 11:58:34 +0200 | Luj | (~Luj@2a01:e0a:5f9:9681:e042:36a:f7a2:f7) |
| 2023-05-29 12:00:50 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-29 12:01:32 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-05-29 12:02:08 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-05-29 12:03:12 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-05-29 12:04:21 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 12:06:47 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-05-29 12:08:10 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 12:15:20 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-05-29 12:16:01 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-29 12:21:00 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 265 seconds) |
| 2023-05-29 12:21:29 +0200 | legion | (~queereen@user/queereen) (Ping timeout: 246 seconds) |
| 2023-05-29 12:24:23 +0200 | vandita | (~vandit@91-83-11-253.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-29 12:25:18 +0200 | ub | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 2023-05-29 12:25:20 +0200 | ubert | (~Thunderbi@p200300ecdf000264e98521bdc43441b3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-05-29 12:25:20 +0200 | ub | ubert |
| 2023-05-29 12:26:24 +0200 | vandita | (~vandit@92-249-185-199.pool.digikabel.hu) |
| 2023-05-29 12:27:12 +0200 | oxide | (~lambda@user/oxide) |
| 2023-05-29 12:29:35 +0200 | oxide | (~lambda@user/oxide) (Client Quit) |
| 2023-05-29 12:29:40 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-05-29 12:32:29 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 12:33:24 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-29 12:33:37 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-05-29 12:34:59 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-29 12:35:18 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 12:35:23 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 12:36:32 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 12:36:55 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 12:38:13 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Ping timeout: 250 seconds) |
| 2023-05-29 12:45:43 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 12:52:15 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 12:54:21 +0200 | modotte | (~modotte@user/modotte) |
| 2023-05-29 12:55:05 +0200 | texasmynsted | (~username@99.96.221.112) (Ping timeout: 240 seconds) |
| 2023-05-29 12:55:44 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 12:57:08 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-05-29 12:58:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-29 12:58:39 +0200 | juri__ | (~juri@79.140.121.73) (Read error: Connection reset by peer) |
| 2023-05-29 12:59:11 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e65f:279c:d22a:bbb4) |
| 2023-05-29 12:59:12 +0200 | <modotte> | hello! How do I print help info with colored command names using optparse-applicative? I've raised this issue on optparse-applicative repo here - https://github.com/pcapriotti/optparse-applicative/issues/478, but maintainers probably busy atm. |
| 2023-05-29 13:00:33 +0200 | <modotte> | I anyone know how to do this, I would really appreciate if you could share the trick with solving this. ty! |
| 2023-05-29 13:00:54 +0200 | <modotte> | if anyone* |
| 2023-05-29 13:02:07 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 13:02:43 +0200 | juri_ | (~juri@79.140.121.73) |
| 2023-05-29 13:05:54 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 13:06:22 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-29 13:08:30 +0200 | <ncf> | glguy: does your parabox clone handle multi-infinities? |
| 2023-05-29 13:09:28 +0200 | <ncf> | oh i guess it does, just saw the levels |
| 2023-05-29 13:09:59 +0200 | <ncf> | i've been thinking about like, data Box a = Var a | Wall | Grid Int (Map Coord (Box a)) | Fix (Box (Maybe a)) |
| 2023-05-29 13:10:32 +0200 | <ncf> | then successive infinities are just nested Fixes |
| 2023-05-29 13:12:04 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-29 13:17:33 +0200 | juri_ | (~juri@79.140.121.73) (Ping timeout: 265 seconds) |
| 2023-05-29 13:18:48 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 13:19:22 +0200 | juri_ | (~juri@84-19-175-187.pool.ovpn.com) |
| 2023-05-29 13:23:05 +0200 | jrm | (~jrm@user/jrm) (Ping timeout: 240 seconds) |
| 2023-05-29 13:28:00 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-29 13:29:05 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 13:30:39 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 250 seconds) |
| 2023-05-29 13:32:11 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 13:32:32 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e65f:279c:d22a:bbb4) (Ping timeout: 265 seconds) |
| 2023-05-29 13:34:28 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-05-29 13:36:52 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-29 13:37:11 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 13:42:32 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 13:43:42 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-05-29 13:46:27 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 13:48:36 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-29 13:49:06 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 13:50:19 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-29 13:53:11 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-05-29 13:54:39 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Quit: use-value) |
| 2023-05-29 13:55:01 +0200 | ub | (~Thunderbi@p200300ecdf000264e98521bdc43441b3.dip0.t-ipconnect.de) |
| 2023-05-29 13:55:35 +0200 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-05-29 13:55:36 +0200 | ub | ubert |
| 2023-05-29 13:55:47 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-05-29 13:55:52 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Client Quit) |
| 2023-05-29 13:59:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) |
| 2023-05-29 13:59:26 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 14:01:20 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-29 14:03:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) (Ping timeout: 250 seconds) |
| 2023-05-29 14:06:31 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-05-29 14:07:50 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-05-29 14:08:27 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 14:08:37 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-29 14:09:46 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 14:12:53 +0200 | modotte | (~modotte@user/modotte) (Quit: Leaving) |
| 2023-05-29 14:17:57 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-05-29 14:18:45 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Ping timeout: 250 seconds) |
| 2023-05-29 14:27:35 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 14:27:37 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 14:28:06 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-29 14:30:29 +0200 | mei | (~mei@user/mei) |
| 2023-05-29 14:35:42 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-29 14:36:06 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-29 14:36:25 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 14:37:59 +0200 | dcleonarski | (~user@2804:d51:4793:c800:b0e2:a2e8:89a0:4c46) |
| 2023-05-29 14:41:04 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 14:41:10 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 265 seconds) |
| 2023-05-29 14:44:11 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 14:46:56 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-05-29 14:47:06 +0200 | DoxYourselfNow | (~DoxYourse@030-171-099-087.dynamic.caiway.nl) (Remote host closed the connection) |
| 2023-05-29 14:48:13 +0200 | vandita | (~vandit@92-249-185-199.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-29 14:48:58 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 14:49:49 +0200 | jrm | (~jrm@user/jrm) |
| 2023-05-29 14:50:13 +0200 | vandita | (~vandit@178-164-213-76.pool.digikabel.hu) |
| 2023-05-29 14:51:51 +0200 | n0den1te | (~~.~@157.119.87.13) |
| 2023-05-29 14:52:33 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 250 seconds) |
| 2023-05-29 14:54:14 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-05-29 14:54:19 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 14:59:15 +0200 | akegalj | (~akegalj@93-139-129-153.adsl.net.t-com.hr) |
| 2023-05-29 15:02:03 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 15:02:06 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 15:05:58 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-29 15:19:18 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-05-29 15:20:05 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-29 15:21:31 +0200 | n0den1te | (~~.~@157.119.87.13) () |
| 2023-05-29 15:21:43 +0200 | mei | (~mei@user/mei) |
| 2023-05-29 15:25:42 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 15:27:21 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 15:27:35 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-29 15:32:23 +0200 | gurkenglas | (~user@dynamic-046-114-182-030.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-05-29 15:34:12 +0200 | kupi_ | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-05-29 15:35:07 +0200 | ubert | (~Thunderbi@p200300ecdf000264e98521bdc43441b3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2023-05-29 15:35:13 +0200 | ub | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 2023-05-29 15:36:04 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 15:36:28 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-29 15:37:08 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-1912-96d1-9f83-aa24.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2023-05-29 15:37:30 +0200 | ub | ubert |
| 2023-05-29 15:40:06 +0200 | kuribas | (~user@ptr-17d51ep8se7mp8na2ey.18120a2.ip6.access.telenet.be) |
| 2023-05-29 15:47:52 +0200 | machinedgod | (~machinedg@93-136-113-216.adsl.net.t-com.hr) |
| 2023-05-29 15:49:28 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 15:50:37 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) (Ping timeout: 250 seconds) |
| 2023-05-29 15:53:36 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 15:53:58 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-29 15:57:25 +0200 | Henson | (~kvirc@24-246-24-203.cable.teksavvy.com) |
| 2023-05-29 15:58:24 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) |
| 2023-05-29 15:58:27 +0200 | HugoPeters1024 | (~HugoPeter@76pc105.sshunet.nl) (Read error: Connection reset by peer) |
| 2023-05-29 15:59:42 +0200 | <Henson> | with optparse-applicative, I've got a "command" subparser that can occur one or more times on the command line. This subparser takes an argument with "some" meaning it can be repeated one or more times. The problem I'm encountering is that since the command subparser can't have a short or long option, denoting the command with "--" or "-", the subparser is unable to tell when the "some" option.. |
| 2023-05-29 16:00:42 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) |
| 2023-05-29 16:01:05 +0200 | <Henson> | has ended and a new command has begun. For example "./command commandA arg1 arg2 arg3 commandA arg4 arg5". It's unable to tell that the second commandA is another commandA, and isn't just an additional "some" argument to the first commandA. |
| 2023-05-29 16:01:56 +0200 | <Henson> | if commandA could be called "--commandA" that would help the parser figure out when a new command has begun, but command subparsers don't seem to be allowed to do that. |
| 2023-05-29 16:02:29 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 16:03:11 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::1) |
| 2023-05-29 16:04:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) (Ping timeout: 250 seconds) |
| 2023-05-29 16:06:25 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 16:06:34 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 16:11:00 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 250 seconds) |
| 2023-05-29 16:11:00 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 250 seconds) |
| 2023-05-29 16:11:03 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-29 16:12:54 +0200 | TheCoffeMaker_ | (~TheCoffeM@190.245.110.129) |
| 2023-05-29 16:13:17 +0200 | danso_o | (~danso@user/danso) |
| 2023-05-29 16:13:23 +0200 | Jon | (jon@dow.land) (Quit: ZNC - http://znc.in) |
| 2023-05-29 16:13:29 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!) |
| 2023-05-29 16:13:38 +0200 | rune__ | (sid21167@id-21167.ilkley.irccloud.com) |
| 2023-05-29 16:13:44 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Remote host closed the connection) |
| 2023-05-29 16:13:52 +0200 | skippy_ | (sid26890@user/slice) |
| 2023-05-29 16:13:58 +0200 | <kuribas> | I don't think that's the intend use of a command |
| 2023-05-29 16:14:00 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | skippy | (uid26890@user/slice) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | danso | (~danso@user/danso) (Quit: quittin time) |
| 2023-05-29 16:14:00 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | jackdk | (sid373013@cssa/jackdk) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | rune_ | (sid21167@id-21167.ilkley.irccloud.com) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | RMSBach | (~guygastin@137.184.131.156) (Quit: ZNC - https://znc.in) |
| 2023-05-29 16:14:00 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | tureba | (~tureba@tureba.org) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:00 +0200 | davean | (~davean@davean.sciesnet.net) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:01 +0200 | skippy_ | skippy |
| 2023-05-29 16:14:01 +0200 | rune__ | rune_ |
| 2023-05-29 16:14:11 +0200 | jackdk | (sid373013@cssa/jackdk) |
| 2023-05-29 16:14:12 +0200 | AmyMalik | (~Ellenor@callbox.trd.is) (Read error: Connection reset by peer) |
| 2023-05-29 16:14:16 +0200 | <geekosaur> | yes, this sounds like an option with a list of parameters |
| 2023-05-29 16:14:20 +0200 | Jon | (jon@dow.land) |
| 2023-05-29 16:14:28 +0200 | tritlo | (sid58727@user/tritlo) (Ping timeout: 265 seconds) |
| 2023-05-29 16:14:29 +0200 | phileasfogg | (~phileasfo@user/phileasfogg) |
| 2023-05-29 16:14:41 +0200 | shawwwn | (sid6132@id-6132.helmsley.irccloud.com) |
| 2023-05-29 16:14:42 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2023-05-29 16:14:43 +0200 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2023-05-29 16:14:47 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2023-05-29 16:14:52 +0200 | RMSBach | (~guygastin@137.184.131.156) |
| 2023-05-29 16:14:56 +0200 | tureba | (~tureba@tureba.org) |
| 2023-05-29 16:14:56 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2023-05-29 16:14:56 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 265 seconds) |
| 2023-05-29 16:15:11 +0200 | tritlo | (sid58727@user/tritlo) |
| 2023-05-29 16:15:16 +0200 | davean | (~davean@davean.sciesnet.net) |
| 2023-05-29 16:15:25 +0200 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Ping timeout: 265 seconds) |
| 2023-05-29 16:18:02 +0200 | thegeekinside | (~thegeekin@189.180.7.42) |
| 2023-05-29 16:18:24 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2023-05-29 16:18:27 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 16:18:51 +0200 | <Henson> | I've looked for an option with a list of parameters before, and what I've found is that each argument is supposed to have only one prameter, and that it's a violation of some command-line option standard to have more than one, so optparse-applicative doesn't do it. Perhaps I'm wrong about that. |
| 2023-05-29 16:19:44 +0200 | machinedgod | (~machinedg@93-136-113-216.adsl.net.t-com.hr) (Ping timeout: 248 seconds) |
| 2023-05-29 16:21:43 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2023-05-29 16:22:39 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-29 16:23:16 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 16:23:31 +0200 | captnemo | (~captnemo@193.32.127.232) |
| 2023-05-29 16:25:29 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-05-29 16:26:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2023-05-29 16:26:28 +0200 | puke | (~puke@user/puke) |
| 2023-05-29 16:26:53 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2023-05-29 16:27:43 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-29 16:28:18 +0200 | Ellenor | (ellenor@callbox.trd.is) |
| 2023-05-29 16:28:45 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) |
| 2023-05-29 16:32:00 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-05-29 16:33:33 +0200 | <kuribas> | Maybe parse a string, and group the options? |
| 2023-05-29 16:33:57 +0200 | <kuribas> | --files "foo.png bar.jpeg". |
| 2023-05-29 16:34:31 +0200 | <kuribas> | or repeat: --file foo.png --file bar.jpeg |
| 2023-05-29 16:35:04 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-05-29 16:36:20 +0200 | <Henson> | kuribas: parsing the options as a string would likely work, thank you for the suggestion. I wish there were a more natural option, though. |
| 2023-05-29 16:37:44 +0200 | <geekosaur> | tbh I don't get "violates some standard". subcommands violate POSIX |
| 2023-05-29 16:38:01 +0200 | <geekosaur> | not that POSIX is a tech standard |
| 2023-05-29 16:39:21 +0200 | <Henson> | geekosaur: https://github.com/pcapriotti/optparse-applicative/issues/284 |
| 2023-05-29 16:39:38 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 16:39:49 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 16:40:43 +0200 | <Henson> | I think kuribas's suggestion will work. You need some way of denoting the end of a list of one or more items. I tried adding a "--done" option which was discarded using the <* combinator but that didn't work. A quote surrounding one or more items is a natural way of denoting the list, so that might be the best way |
| 2023-05-29 16:41:29 +0200 | <Henson> | I know Python's argparse library can do it the way I want, but I think this approach violates the posix recommendations, and optparse-applicative tries to stick within the recommendations and so isn't able to do it. |
| 2023-05-29 16:42:50 +0200 | <mauke> | if you use an --option to signal the end of the list, how do you pass an argument that starts with two dashes? |
| 2023-05-29 16:43:34 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-29 16:44:23 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-29 16:44:32 +0200 | hisa | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-05-29 16:44:54 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 265 seconds) |
| 2023-05-29 16:45:31 +0200 | <Henson> | mauke: I guess you either can't or you'd wrap it in quotes |
| 2023-05-29 16:46:10 +0200 | <mauke> | what, like --things "\"--arg\"" --done? |
| 2023-05-29 16:46:47 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 246 seconds) |
| 2023-05-29 16:47:15 +0200 | <probie> | but then how does one specify an arg which starts with a quote followed by two dashes? |
| 2023-05-29 16:47:54 +0200 | <ncf> | "\"\\\"--arg\\\"\"", of course |
| 2023-05-29 16:47:58 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-29 16:49:51 +0200 | puke | (~puke@user/puke) (Read error: Connection reset by peer) |
| 2023-05-29 16:50:38 +0200 | hisa | hisa38 |
| 2023-05-29 16:52:23 +0200 | puke | (~puke@user/puke) |
| 2023-05-29 16:55:47 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-05-29 16:56:04 +0200 | hisa38 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-05-29 16:57:04 +0200 | pyooque | (~puke@user/puke) |
| 2023-05-29 16:57:04 +0200 | puke | (~puke@user/puke) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2023-05-29 16:57:04 +0200 | pyooque | puke |
| 2023-05-29 16:57:44 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-05-29 16:57:47 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 16:57:54 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 16:58:14 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2023-05-29 17:02:18 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 245 seconds) |
| 2023-05-29 17:02:45 +0200 | <glguy> | ncf: it's been a while since I thought about parabox; gotta shift my mind back into that mode. I think the biggest challenge with the representation you showed would just be finding the Var corresponding to a Fix or vice versa when computing movements. It seems like you might end up wanting to compute another representation from this one. The other challenge would be editing the level as you move things around. Maybe you could write some kind of |
| 2023-05-29 17:02:45 +0200 | <glguy> | zipper structure for this. Minor point: grids don't have to be square, so you might want an extra Int on Grid if that Int is for size |
| 2023-05-29 17:02:47 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Ping timeout: 265 seconds) |
| 2023-05-29 17:04:42 +0200 | <ncf> | yeah, also this doesn't enforce that fixed points are linear, so you could have multiple occurrences of a box inside itself, without the information of which one is the original |
| 2023-05-29 17:05:08 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-05-29 17:05:32 +0200 | <ncf> | so you might reverse it and do Fix Location (Box a), co-de-Bruijn style, but then you make other invalid things representable |
| 2023-05-29 17:05:40 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-29 17:07:02 +0200 | <ncf> | i'm probably trying to be too clever |
| 2023-05-29 17:07:37 +0200 | kuribas | (~user@ptr-17d51ep8se7mp8na2ey.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-05-29 17:09:16 +0200 | <ncf> | well, maybe this would work better in agda |
| 2023-05-29 17:15:21 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 17:15:35 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 17:19:23 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Max SendQ exceeded) |
| 2023-05-29 17:19:47 +0200 | taupiqueur | (~taupiqueu@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) |
| 2023-05-29 17:24:11 +0200 | captnemo | (~captnemo@193.32.127.232) (Quit: WeeChat 3.8) |
| 2023-05-29 17:29:13 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-05-29 17:29:50 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55da:5941:f23:42b2) (Ping timeout: 246 seconds) |
| 2023-05-29 17:33:14 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-05-29 17:33:44 +0200 | gensyst | (~gensyst@user/gensyst) |
| 2023-05-29 17:34:00 +0200 | <gensyst> | Why is there no reverse withMVar that works on empty mvars? |
| 2023-05-29 17:34:04 +0200 | <gensyst> | withEmptyMVar |
| 2023-05-29 17:34:10 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 17:34:12 +0200 | <gensyst> | the idea being, have locks |
| 2023-05-29 17:35:17 +0200 | <gensyst> | of course i could have a full () mvar mean unlocked, and use withMVar while it's locked. Is that the normal way? (It just feels weird to have full meaning "unlocked") |
| 2023-05-29 17:35:32 +0200 | <gensyst> | full kinda feels like "locked", if you know what i mean |
| 2023-05-29 17:41:20 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 248 seconds) |
| 2023-05-29 17:50:20 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-29 17:50:37 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-29 17:50:56 +0200 | vandita | (~vandit@178-164-213-76.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 2023-05-29 17:52:14 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 246 seconds) |
| 2023-05-29 17:52:35 +0200 | vandita | (~vandit@176-241-45-180.pool.digikabel.hu) |
| 2023-05-29 17:54:59 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 250 seconds) |
| 2023-05-29 17:56:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-05-29 17:56:09 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-05-29 17:56:09 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-29 17:59:57 +0200 | <lyxia> | that's the normal way |
| 2023-05-29 18:00:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-05-29 18:00:35 +0200 | <probie> | I don't think `withEmptyMVar` sounds particularly useful. It sounds like it only implements a lock, since if other people are taking stuff out of the mvar, you wouldn't be able to safely re-empty it on an exception |
| 2023-05-29 18:01:32 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-357b-b9d7-e978-4dba.fixed6.kpn.net) |
| 2023-05-29 18:03:19 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-29 18:03:23 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2023-05-29 18:05:20 +0200 | acidjnk | (~acidjnk@p200300d6e7072f022ce4955b5237ad47.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-29 18:05:27 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-357b-b9d7-e978-4dba.fixed6.kpn.net) (Read error: Connection reset by peer) |
| 2023-05-29 18:06:25 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-05-29 18:09:02 +0200 | gaff | (~gaff@49.207.219.33) |
| 2023-05-29 18:09:08 +0200 | gaff | (~gaff@49.207.219.33) (Client Quit) |
| 2023-05-29 18:09:50 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-05-29 18:11:18 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-05-29 18:11:24 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-05-29 18:13:23 +0200 | HugoPeters1024 | (~HugoPeter@89.205.226.219) |
| 2023-05-29 18:14:16 +0200 | HugoPeters1024 | (~HugoPeter@89.205.226.219) (Read error: Connection reset by peer) |
| 2023-05-29 18:17:53 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-29 18:17:55 +0200 | pavonia | (~user@user/siracusa) |
| 2023-05-29 18:20:08 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 240 seconds) |
| 2023-05-29 18:22:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-05-29 18:23:17 +0200 | HugoPeters1024 | (~HugoPeter@89.205.226.219) |
| 2023-05-29 18:24:35 +0200 | zeenk | (~zeenk@2a02:2f04:a105:f00::fba) (Quit: Konversation terminated!) |
| 2023-05-29 18:29:51 +0200 | HugoPeters1024 | (~HugoPeter@89.205.226.219) (Read error: Connection reset by peer) |
| 2023-05-29 18:31:16 +0200 | HugoPeters1024 | (~HugoPeter@81-205-134-231.fixed.kpn.net) |
| 2023-05-29 18:31:56 +0200 | HugoPeters1024 | (~HugoPeter@81-205-134-231.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2023-05-29 18:32:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-05-29 18:35:07 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) |
| 2023-05-29 18:42:21 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) (Read error: Connection reset by peer) |
| 2023-05-29 18:44:03 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) |
| 2023-05-29 18:46:09 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 268 seconds) |
| 2023-05-29 18:46:28 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-05-29 18:46:42 +0200 | econo | (uid147250@user/econo) |
| 2023-05-29 18:49:33 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-05-29 18:53:37 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2023-05-29 18:54:50 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 18:56:22 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) (Ping timeout: 265 seconds) |
| 2023-05-29 18:58:08 +0200 | akegalj | (~akegalj@93-139-129-153.adsl.net.t-com.hr) (Quit: leaving) |
| 2023-05-29 19:06:45 +0200 | TheCoffeMaker_ | (~TheCoffeM@190.245.110.129) (Ping timeout: 240 seconds) |
| 2023-05-29 19:08:56 +0200 | vandita | (~vandit@176-241-45-180.pool.digikabel.hu) (Ping timeout: 265 seconds) |
| 2023-05-29 19:10:13 +0200 | vandita | (~vandit@178-164-206-86.pool.digikabel.hu) |
| 2023-05-29 19:12:15 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-29 19:12:37 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 19:17:01 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) |
| 2023-05-29 19:17:09 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-05-29 19:19:03 +0200 | Henson | (~kvirc@24-246-24-203.cable.teksavvy.com) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
| 2023-05-29 19:19:45 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2023-05-29 19:21:30 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) (Ping timeout: 265 seconds) |
| 2023-05-29 19:22:56 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-05-29 19:24:26 +0200 | akshitkr | (~user@183.82.152.194) |
| 2023-05-29 19:27:21 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) |
| 2023-05-29 19:29:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-05-29 19:31:18 +0200 | pyook | (~puke@user/puke) (Remote host closed the connection) |
| 2023-05-29 19:31:33 +0200 | pyook | (~puke@user/puke) |
| 2023-05-29 19:32:50 +0200 | barcisz | (~barcisz@83.6.194.51.ipv4.supernova.orange.pl) (Quit: Connection closed) |
| 2023-05-29 19:33:33 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) |
| 2023-05-29 19:33:58 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 245 seconds) |
| 2023-05-29 19:37:41 +0200 | HugoPeters1024 | (~HugoPeter@2a02-a462-6259-1-3f99-9b4a-9ea2-6bc6.fixed6.kpn.net) (Ping timeout: 250 seconds) |
| 2023-05-29 19:38:49 +0200 | acidjnk | (~acidjnk@p200300d6e7072f02f87078db41c940f7.dip0.t-ipconnect.de) |
| 2023-05-29 19:47:44 +0200 | <hammond> | what webserver is being used on haskell these days ? |
| 2023-05-29 19:48:43 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) |
| 2023-05-29 19:51:22 +0200 | <monochrom> | I heard of warp. There may be others. |
| 2023-05-29 19:51:38 +0200 | <monochrom> | I don't follow web programming so my memory is vague. |
| 2023-05-29 19:54:22 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-05-29 19:54:59 +0200 | <geekosaur> | servant (type-level-heavy), scotty, spock, yesod |
| 2023-05-29 19:57:35 +0200 | akshitkr | (~user@183.82.152.194) (Ping timeout: 240 seconds) |
| 2023-05-29 19:57:50 +0200 | <hammond> | wrap seems simple, yesod seems heavy and overbloated. idk aout servant. |
| 2023-05-29 19:58:11 +0200 | <Lycurgus> | servant is a web server |
| 2023-05-29 19:58:18 +0200 | <Lycurgus> | *isn't |
| 2023-05-29 19:58:29 +0200 | <hammond> | oh |
| 2023-05-29 19:59:35 +0200 | <Lycurgus> | and yeah you could guess that by the pretentious name |
| 2023-05-29 19:59:36 +0200 | <stefan-_> | scotty uses warp under the hood |
| 2023-05-29 19:59:48 +0200 | <Lycurgus> | (heavy and bloated) |
| 2023-05-29 19:59:59 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 246 seconds) |
| 2023-05-29 20:00:39 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 2023-05-29 20:01:45 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-05-29 20:02:15 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 20:09:35 +0200 | <monochrom> | yesod is a complete suite of web programming. Yeah therefore heavy. Also jealous. >:) |
| 2023-05-29 20:10:45 +0200 | vandita | (~vandit@178-164-206-86.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-05-29 20:12:20 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-29 20:12:37 +0200 | vandita | (~vandit@92-249-182-10.pool.digikabel.hu) |
| 2023-05-29 20:13:53 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-05-29 20:14:23 +0200 | gensyst | (~gensyst@user/gensyst) (Quit: Leaving) |
| 2023-05-29 20:20:16 +0200 | gurkenglas | (~user@dynamic-046-114-182-030.46.114.pool.telefonica.de) |
| 2023-05-29 20:22:42 +0200 | cheater | (~Username@user/cheater) |
| 2023-05-29 20:32:45 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 240 seconds) |
| 2023-05-29 20:33:05 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Remote host closed the connection) |
| 2023-05-29 20:34:53 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-05-29 20:41:16 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-05-29 20:43:02 +0200 | xameer | (~xameer@144.48.224.57) |
| 2023-05-29 20:52:39 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 250 seconds) |
| 2023-05-29 20:56:37 +0200 | <sm> | also IHP |
| 2023-05-29 20:56:55 +0200 | <sm> | if you really want heavy |
| 2023-05-29 20:57:10 +0200 | <sm> | morning all |
| 2023-05-29 20:57:15 +0200 | xameer | (~xameer@144.48.224.57) (Quit: Quit) |
| 2023-05-29 20:59:34 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-05-29 21:03:59 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2023-05-29 21:04:08 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-29 21:06:36 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-29 21:07:21 +0200 | gurkenglas | (~user@dynamic-046-114-182-030.46.114.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2023-05-29 21:12:35 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 250 seconds) |
| 2023-05-29 21:13:35 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2023-05-29 21:14:08 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-29 21:17:54 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-05-29 21:31:15 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-29 21:31:37 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 21:31:39 +0200 | vandita | (~vandit@92-249-182-10.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-05-29 21:33:18 +0200 | vandita | (~vandit@94-21-131-99.pool.digikabel.hu) |
| 2023-05-29 21:36:53 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2023-05-29 21:37:53 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-05-29 21:40:32 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2023-05-29 21:41:22 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-05-29 21:43:24 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-05-29 21:50:48 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Remote host closed the connection) |
| 2023-05-29 21:51:11 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 21:51:40 +0200 | nate2 | (~nate@98.45.169.16) |
| 2023-05-29 21:56:25 +0200 | nate2 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2023-05-29 21:56:50 +0200 | ormaaj | (~ormaaj@user/ormaaj) (Remote host closed the connection) |
| 2023-05-29 22:02:23 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 240 seconds) |
| 2023-05-29 22:08:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-05-29 22:11:03 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-05-29 22:11:04 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-05-29 22:11:04 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-05-29 22:13:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2023-05-29 22:14:05 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-05-29 22:17:45 +0200 | gurkenglas | (~user@dynamic-046-114-182-030.46.114.pool.telefonica.de) |
| 2023-05-29 22:20:20 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 265 seconds) |
| 2023-05-29 22:22:23 +0200 | thegeekinside | (~thegeekin@189.180.7.42) (Ping timeout: 240 seconds) |
| 2023-05-29 22:25:33 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-05-29 22:26:06 +0200 | thegeekinside | (~thegeekin@189.180.65.206) |
| 2023-05-29 22:27:50 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2023-05-29 22:29:11 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-05-29 22:33:15 +0200 | gentauro | (~gentauro@user/gentauro) |
| 2023-05-29 22:36:06 +0200 | ub | (~Thunderbi@p200300ecdf000264e98521bdc43441b3.dip0.t-ipconnect.de) |
| 2023-05-29 22:36:13 +0200 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2023-05-29 22:36:14 +0200 | ub | ubert |
| 2023-05-29 22:36:59 +0200 | <cheater> | hi |
| 2023-05-29 22:37:11 +0200 | <juri_> | hello. |
| 2023-05-29 22:37:37 +0200 | <cheater> | is there a standard pair-like where map f {a, b} = {map f a, map f b} ? |
| 2023-05-29 22:38:33 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2023-05-29 22:38:56 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) (Ping timeout: 248 seconds) |
| 2023-05-29 22:38:56 +0200 | <mauke> | https://hackage.haskell.org/package/ghc-9.6.1/docs/GHC-Data-Pair.html#t:Pair wanna depend on ghc internals? |
| 2023-05-29 22:39:59 +0200 | <monochrom> | Write your own "data P a = P a a deriving Functor" then the auto-generated fmap does that. |
| 2023-05-29 22:40:16 +0200 | <monochrom> | needs the DeriveFunctor extension |
| 2023-05-29 22:43:22 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-05-29 22:43:32 +0200 | <ncf> | do the curly braces imply that you want *unordered* pairs? |
| 2023-05-29 22:44:37 +0200 | <monochrom> | Do we even have an unordered pair type in base? |
| 2023-05-29 22:45:08 +0200 | <mauke> | class Unordered a where { uncompare :: a -> a -> Void } |
| 2023-05-29 22:46:54 +0200 | <cheater> | it's ordered |
| 2023-05-29 22:47:22 +0200 | <cheater> | i just wish i knew how to search for something like this on hoogle |
| 2023-05-29 22:47:26 +0200 | <cheater> | but there doesn't seem to be a way |
| 2023-05-29 22:47:40 +0200 | <mauke> | I hoogled "Pair" |
| 2023-05-29 22:47:53 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 265 seconds) |
| 2023-05-29 22:48:20 +0200 | <cheater> | i was thinking more of like, "find me a type that has the following laws" |
| 2023-05-29 22:49:02 +0200 | <cheater> | just like you can search for types by shape etc |
| 2023-05-29 22:50:47 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-05-29 22:51:37 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) (Remote host closed the connection) |
| 2023-05-29 22:52:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) |
| 2023-05-29 22:54:26 +0200 | thegeekinside | (~thegeekin@189.180.65.206) (Ping timeout: 250 seconds) |
| 2023-05-29 22:54:32 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-05-29 22:54:40 +0200 | thegeekinside | (~thegeekin@189.180.32.39) |
| 2023-05-29 22:54:44 +0200 | biberu | (~biberu@user/biberu) |
| 2023-05-29 22:55:10 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-05-29 22:59:21 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-05-29 23:06:30 +0200 | ub | (~Thunderbi@p200300ecdf0002063c1d2db889bb964c.dip0.t-ipconnect.de) |
| 2023-05-29 23:07:12 +0200 | ubert | (~Thunderbi@p200300ecdf000264e98521bdc43441b3.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-29 23:07:12 +0200 | ub | ubert |
| 2023-05-29 23:11:20 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 250 seconds) |
| 2023-05-29 23:13:59 +0200 | thegeekinside | (~thegeekin@189.180.32.39) (Ping timeout: 265 seconds) |
| 2023-05-29 23:14:49 +0200 | thegeekinside | (~thegeekin@189.180.118.0) |
| 2023-05-29 23:15:35 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2023-05-29 23:16:12 +0200 | reach | (~reach@2607:fea8:4c0:990:f891:b512:3659:bf1b) |
| 2023-05-29 23:16:28 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-05-29 23:21:28 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:e022:89b6:5591:cbde) (Ping timeout: 240 seconds) |
| 2023-05-29 23:23:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-05-29 23:24:16 +0200 | ubert | (~Thunderbi@p200300ecdf0002063c1d2db889bb964c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-05-29 23:24:45 +0200 | ubert | (~Thunderbi@p548c91e0.dip0.t-ipconnect.de) |
| 2023-05-29 23:26:33 +0200 | thegeekinside | (~thegeekin@189.180.118.0) (Ping timeout: 265 seconds) |
| 2023-05-29 23:27:25 +0200 | thegeekinside | (~thegeekin@189.180.77.161) |
| 2023-05-29 23:27:25 +0200 | dtman34 | (~dtman34@2601:447:d000:93c9:165c:a993:55fe:cf4b) |
| 2023-05-29 23:28:45 +0200 | alexherbo2 | (~alexherbo@2a02-842a-8180-4601-655d-eb2e-b97d-d4ca.rev.sfr.net) (Remote host closed the connection) |
| 2023-05-29 23:38:11 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 250 seconds) |
| 2023-05-29 23:40:08 +0200 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-05-29 23:43:04 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-05-29 23:46:51 +0200 | thegeekinside | (~thegeekin@189.180.77.161) (Ping timeout: 250 seconds) |
| 2023-05-29 23:47:14 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-05-29 23:48:17 +0200 | thegeekinside | (~thegeekin@189.180.18.187) |
| 2023-05-29 23:58:56 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2023-05-29 23:59:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:6c9c:9af5:8708:5fc6) (Remote host closed the connection) |