Logs: liberachat/#haskell
| 2021-07-30 07:34:01 | <sergio812> | tomsmeding: YMMV, I would have preferred yet an extra pair of parentheses, i.e. "fmap Positive ((fmap abs arbitrary) `suchThat` (> 0))" instead of "fmap Positive (fmap abs arbitrary `suchThat` (> 0))", that is if I understood correctly |
| 2021-07-30 07:34:44 | × | radw quits (~radw@user/radw) (Ping timeout: 258 seconds) |
| 2021-07-30 07:35:44 | <tomsmeding> | sergio812: I guess. I know that record syntax (r { key = value }) goes before normal function application (f a b) which goes before all infix operators (a + b, or x `div` y), so I don't find quickcheck's version confusing |
| 2021-07-30 07:36:21 | <tomsmeding> | if you have (a `f` b `g` c), however, then someone may have explicitly messed with the precedences of f and g using infix* statements, which may shift the meaning :p |
| 2021-07-30 07:36:37 | <tomsmeding> | from the default left-associative binding |
| 2021-07-30 07:36:57 | → | radw joins (~radw@user/radw) |
| 2021-07-30 07:37:43 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-30 07:42:24 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-30 07:43:18 | → | fendor joins (~fendor@178.165.162.84.wireless.dyn.drei.com) |
| 2021-07-30 07:45:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-30 07:45:57 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-30 07:46:25 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 07:49:39 | → | vysn joins (~vysn@user/vysn) |
| 2021-07-30 07:51:06 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
| 2021-07-30 07:51:21 | → | zeenk joins (~zeenk@2a02:2f04:a008:d600:18f2:3421:bac6:8f38) |
| 2021-07-30 07:54:34 | ← | neurocyte parts (~neurocyte@user/neurocyte) (The Lounge - https://thelounge.chat) |
| 2021-07-30 07:56:23 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 07:57:41 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-07-30 07:58:33 | → | anandprabhu joins (~anandprab@185.65.135.253) |
| 2021-07-30 07:59:34 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-30 07:59:58 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-30 08:00:15 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-30 08:00:16 | → | deejaytee joins (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) |
| 2021-07-30 08:04:09 | × | bens quits (~bens@www.typius.com) (Ping timeout: 265 seconds) |
| 2021-07-30 08:06:00 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-30 08:09:06 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-30 08:10:15 | → | betelgeuse joins (~john2gb@94-225-47-8.access.telenet.be) |
| 2021-07-30 08:14:16 | → | sergio81242 joins (~sergio812@141.143.193.76) |
| 2021-07-30 08:14:19 | × | sergio81242 quits (~sergio812@141.143.193.76) (Client Quit) |
| 2021-07-30 08:14:38 | → | kuribas joins (~user@ptr-25vy0i948b7pircazuk.18120a2.ip6.access.telenet.be) |
| 2021-07-30 08:15:28 | × | xff0x quits (~xff0x@2001:1a81:532e:4200:e3f6:df0f:3d23:2506) (Ping timeout: 256 seconds) |
| 2021-07-30 08:15:43 | deejaytee | is now known as Guest578 |
| 2021-07-30 08:15:43 | × | Guest578 quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Killed (silver.libera.chat (Nickname regained by services))) |
| 2021-07-30 08:15:47 | → | deejaytee joins (~deejaytee@193.46-255-62.static.virginmediabusiness.co.uk) |
| 2021-07-30 08:16:52 | → | rain3 joins (~rain3___@79.115.250.43) |
| 2021-07-30 08:17:13 | ← | rain3 parts (~rain3___@79.115.250.43) (Leaving) |
| 2021-07-30 08:17:46 | × | sergio812 quits (~sergio812@lfbn-ren-1-403-102.w2-10.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2021-07-30 08:17:48 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-30 08:17:48 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-30 08:17:51 | allbery_b | is now known as geekosaur |
| 2021-07-30 08:17:51 | → | pesada joins (~agua@191.177.175.57) |
| 2021-07-30 08:18:32 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 252 seconds) |
| 2021-07-30 08:22:00 | × | agua quits (~agua@2804:18:4f:b157:1:0:6976:119) (Ping timeout: 268 seconds) |
| 2021-07-30 08:22:05 | × | koz quits (~koz@121.99.240.58) (Remote host closed the connection) |
| 2021-07-30 08:22:45 | × | aegon quits (~mike@174.127.249.180) (Quit: leaving) |
| 2021-07-30 08:23:44 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-30 08:24:42 | × | _xor quits (~xor@74.215.232.67) (Ping timeout: 240 seconds) |
| 2021-07-30 08:25:40 | → | _xor joins (~xor@74.215.232.67) |
| 2021-07-30 08:26:42 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 2021-07-30 08:27:42 | × | anandprabhu quits (~anandprab@185.65.135.253) (Quit: Leaving) |
| 2021-07-30 08:28:22 | → | koz joins (~koz@121.99.240.58) |
| 2021-07-30 08:32:06 | × | kuribas quits (~user@ptr-25vy0i948b7pircazuk.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-07-30 08:32:58 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-30 08:33:44 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-30 08:33:57 | → | kuribas joins (~user@ptr-25vy0i948b7pircazuk.18120a2.ip6.access.telenet.be) |
| 2021-07-30 08:37:51 | × | silverwhitefish quits (~hidden@47.202.102.10) (Remote host closed the connection) |
| 2021-07-30 08:38:02 | × | [exa] quits (exa@user/exa/x-3587197) (Ping timeout: 245 seconds) |
| 2021-07-30 08:38:21 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 2021-07-30 08:38:36 | × | caubert quits (~caubert@136.244.111.235) (Ping timeout: 252 seconds) |
| 2021-07-30 08:38:49 | → | [exa] joins (exa@srv3.blesmrt.net) |
| 2021-07-30 08:39:36 | → | caubert joins (~caubert@136.244.111.235) |
| 2021-07-30 08:42:17 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-07-30 08:42:18 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-30 08:42:31 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-07-30 08:42:36 | → | agua joins (~agua@2804:18:4f:b157:1:0:6976:119) |
| 2021-07-30 08:42:53 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-30 08:42:59 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-07-30 08:44:14 | → | oxide joins (~lambda@user/oxide) |
| 2021-07-30 08:44:49 | × | pesada quits (~agua@191.177.175.57) (Ping timeout: 268 seconds) |
| 2021-07-30 08:47:11 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 258 seconds) |
| 2021-07-30 08:47:16 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-30 08:50:46 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-30 08:53:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-30 08:56:14 | → | xff0x joins (~xff0x@2001:1a81:532e:4200:e3f6:df0f:3d23:2506) |
| 2021-07-30 08:56:22 | → | gensyst joins (gensyst@user/gensyst) |
| 2021-07-30 09:04:50 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2021-07-30 09:10:12 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-07-30 09:12:59 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-07-30 09:15:03 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-30 09:16:15 | × | michalz quits (~michalz@185.246.204.61) (Remote host closed the connection) |
| 2021-07-30 09:16:36 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 2021-07-30 09:18:42 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2021-07-30 09:20:41 | × | xff0x quits (~xff0x@2001:1a81:532e:4200:e3f6:df0f:3d23:2506) (Ping timeout: 252 seconds) |
| 2021-07-30 09:21:25 | → | xff0x joins (~xff0x@2001:1a81:532e:4200:7940:4f25:14fa:5c3e) |
| 2021-07-30 09:22:01 | → | pesada joins (~agua@2804:14c:8793:8e2f:4825:de59:6a63:adc7) |
| 2021-07-30 09:26:12 | × | agua quits (~agua@2804:18:4f:b157:1:0:6976:119) (Ping timeout: 276 seconds) |
| 2021-07-30 09:32:49 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-30 09:33:32 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 268 seconds) |
| 2021-07-30 09:34:10 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 240 seconds) |
| 2021-07-30 09:34:19 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-30 09:38:56 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-07-30 09:39:55 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-30 09:42:05 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Read error: No route to host) |
| 2021-07-30 09:43:33 | → | eggplant_ joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-30 09:44:41 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-07-30 09:45:36 | → | michalz joins (~michalz@185.246.204.40) |
| 2021-07-30 09:46:10 | <dexterfoo> | Data.Vector has 'Foldable' instance. But Data.Vector.Unboxed does not. why? |
| 2021-07-30 09:47:07 | <dminuoso> | % :t fold |
| 2021-07-30 09:47:07 | <yahb> | dminuoso: (Foldable t, Monoid m) => t m -> m |
| 2021-07-30 09:47:12 | <dminuoso> | % :t foldr |
All times are in UTC.