Logs: liberachat/#haskell
| 2021-07-07 15:54:32 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-07 15:55:37 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-07 15:57:18 | → | azeem joins (~azeem@176.201.11.138) |
| 2021-07-07 15:57:57 | → | re101-bombay-4 joins (~re101-bom@2601:203:c200:d6f0:2d33:506:5f01:fb2c) |
| 2021-07-07 15:58:17 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-07-07 16:00:01 | → | ptr_frac7al joins (~longlong@user/ptr-frac7al/x-0038398) |
| 2021-07-07 16:03:07 | → | MiguelNegrao joins (~MiguelNeg@2001:818:dc71:d100:9e5a:44ff:fe17:1240) |
| 2021-07-07 16:04:34 | × | ptr_frac7al quits (~longlong@user/ptr-frac7al/x-0038398) (Ping timeout: 252 seconds) |
| 2021-07-07 16:04:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-07 16:05:15 | → | fengctor joins (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) |
| 2021-07-07 16:05:27 | <MiguelNegrao> | Hi. I'd like to define a function (Arrow a, Traversable f, more constraints here...) => t (a b c) -> a (t b) (t c) Are there constraints I can add to make this possible ? |
| 2021-07-07 16:05:49 | × | michalz quits (~michalz@185.246.204.126) (Remote host closed the connection) |
| 2021-07-07 16:05:59 | <MiguelNegrao> | I've already implemeted it for lists (requiring ArrowChoice) |
| 2021-07-07 16:06:35 | <MiguelNegrao> | and for vector-sized Vector (not requiring ArrrowChoice) |
| 2021-07-07 16:06:57 | <MiguelNegrao> | https://github.com/miguel-negrao/arrow-utils/blob/main/src/Control/Arrow/Utils.hs |
| 2021-07-07 16:09:00 | × | dunkeln_ quits (~dunkeln@188.70.10.207) (Ping timeout: 265 seconds) |
| 2021-07-07 16:09:26 | <MiguelNegrao> | it also looks similar to traverse' :: Traversable f => p a b -> p (f a) (f b) from profunctors |
| 2021-07-07 16:09:50 | → | derelict joins (~derelict@user/derelict) |
| 2021-07-07 16:10:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-07 16:10:57 | <amesgen[m]> | Is there a "standard" `StateT`-ish transformer for `Quote` from recent template-haskell? |
| 2021-07-07 16:10:59 | <jle`> | MiguelNegrao: what do you want it to do? |
| 2021-07-07 16:11:21 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-07-07 16:11:47 | <MiguelNegrao> | If I have a container of arrows, I want to create a new arrow that takes a container of inputs, applies each arrow to each input generating a container of outputs |
| 2021-07-07 16:12:16 | <MiguelNegrao> | It's useful for FRP stuff with arrows |
| 2021-07-07 16:13:33 | <MiguelNegrao> | On that link you can see it implemented for lists |
| 2021-07-07 16:13:58 | <MiguelNegrao> | It's called sequenceArrList |
| 2021-07-07 16:14:10 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-07 16:16:32 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 2021-07-07 16:17:09 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-07 16:17:53 | × | re101-bombay-4 quits (~re101-bom@2601:203:c200:d6f0:2d33:506:5f01:fb2c) (Quit: Client closed) |
| 2021-07-07 16:18:50 | × | isekaijin quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-07-07 16:19:04 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-07-07 16:19:04 | × | Deide quits (~Deide@217.155.19.23) (Changing host) |
| 2021-07-07 16:19:04 | → | Deide joins (~Deide@user/deide) |
| 2021-07-07 16:22:41 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-07-07 16:23:26 | → | fef joins (~thedawn@user/thedawn) |
| 2021-07-07 16:26:02 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-07 16:27:19 | × | Guest8466 quits (~Guest84@188.27.129.10) (Quit: Client closed) |
| 2021-07-07 16:27:37 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-07 16:28:55 | × | radw quits (~radw@user/radw) (Ping timeout: 246 seconds) |
| 2021-07-07 16:29:02 | × | azeem quits (~azeem@176.201.11.138) (Read error: Connection reset by peer) |
| 2021-07-07 16:30:04 | → | radw joins (~radw@user/radw) |
| 2021-07-07 16:30:23 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-07 16:34:49 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-07-07 16:35:29 | → | pfurla_ joins (~pfurla@216.151.180.130) |
| 2021-07-07 16:36:27 | → | dunkeln joins (~dunkeln@188.70.10.207) |
| 2021-07-07 16:37:47 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-07-07 16:38:13 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-07-07 16:38:58 | × | nschoe quits (~quassel@178.251.84.79) (Ping timeout: 240 seconds) |
| 2021-07-07 16:40:07 | × | fendor quits (~fendor@178.165.171.166.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-07 16:40:08 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 2021-07-07 16:41:36 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-07 16:43:35 | × | notzmv quits (~zmv@user/notzmv) (Remote host closed the connection) |
| 2021-07-07 16:47:47 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-07 16:48:43 | × | fengctor quits (~fengctor@bras-base-ngflon0508w-grc-11-76-68-2-143.dsl.bell.ca) (Read error: Connection reset by peer) |
| 2021-07-07 16:49:52 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-07-07 16:50:26 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-07 16:51:05 | <exarkun> | Anyone know how to get a non-Haskell dependency into the latest Haskell.nix-generated Nix expressions? |
| 2021-07-07 16:51:21 | <exarkun> | non-Haskell, non-nixpkgs |
| 2021-07-07 16:51:42 | <exarkun> | I have an overlay defining it that worked fine with older Haskell.nix but the new recommended default.nix doesn't have an obvious place for overlays |
| 2021-07-07 16:52:01 | <exarkun> | And jamming it in the non-obvious place leaves me with the failure "Setup: The pkg-config package 'libchallenge_bypass_ristretto_ffi' is required" |
| 2021-07-07 16:52:10 | <exarkun> | "but it could not be found" |
| 2021-07-07 16:53:36 | → | chris-the-slurpa joins (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) |
| 2021-07-07 16:54:19 | × | radw quits (~radw@user/radw) (Ping timeout: 246 seconds) |
| 2021-07-07 16:54:37 | <glguy> | Using GHC-8.10.5 I seem to be getting messages like "Currently only 10 to 12 is supported. System LLVM version: 9.0.1" but I was under the impression LLVM-9 was the only one supported |
| 2021-07-07 16:55:05 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-07 16:55:42 | → | radw joins (~radw@user/radw) |
| 2021-07-07 16:55:44 | <glguy> | I don't think these details matter, but: armv7l, running `cabal install cabal-install`, raspberry pi |
| 2021-07-07 17:00:02 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-07-07 17:00:19 | × | chris-the-slurpa quits (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-07 17:00:51 | → | chris-the-slurpa joins (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) |
| 2021-07-07 17:01:04 | <maerwald> | it's just a GHC bug afair... the message is incorrect |
| 2021-07-07 17:02:02 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-07 17:03:48 | × | chris-the-slurpa quits (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-07 17:04:00 | → | chris-the-slurpa joins (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) |
| 2021-07-07 17:04:53 | × | chris-the-slurpa quits (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-07 17:05:07 | <glguy> | maerwald: so I should stick with 9? |
| 2021-07-07 17:05:23 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 2021-07-07 17:05:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-07 17:05:35 | → | chris-the-slurpa joins (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) |
| 2021-07-07 17:05:52 | <maerwald> | glguy: https://gitlab.haskell.org/ghc/ghc/-/issues/19959 |
| 2021-07-07 17:06:16 | × | chris-the-slurpa quits (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-07 17:06:22 | <glguy> | maerwald: thank you |
| 2021-07-07 17:06:29 | → | chris-the-slurpa joins (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) |
| 2021-07-07 17:07:44 | <monochrom> | Nice, there will be a 8.10.6 |
| 2021-07-07 17:09:11 | × | chris-the-slurpa quits (~chris@cpc68332-cdif16-2-0-cust330.5-1.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-07 17:09:26 | → | argento joins (~argent0@168-227-97-29.ptr.westnet.com.ar) |
| 2021-07-07 17:09:43 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 246 seconds) |
| 2021-07-07 17:10:29 | × | dunkeln quits (~dunkeln@188.70.10.207) (Ping timeout: 252 seconds) |
| 2021-07-07 17:10:30 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-07 17:10:30 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-07-07 17:10:36 | × | mikail quits (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) (Ping timeout: 252 seconds) |
| 2021-07-07 17:11:05 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 2021-07-07 17:11:20 | → | azeem joins (~azeem@176.201.13.131) |
| 2021-07-07 17:12:43 | × | rostero quits (uid236576@id-236576.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-07 17:13:22 | × | azeem quits (~azeem@176.201.13.131) (Read error: Connection reset by peer) |
| 2021-07-07 17:13:36 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-07 17:15:26 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-07 17:16:04 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-07 17:18:19 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
All times are in UTC.