Logs: liberachat/#haskell
| 2021-08-21 14:43:10 | <_bin> | Does anyone know what the `(..)` syntax in an import means? Specifically, `import Colog.Core (LogAction (..), (<&), logStringStdout)`. |
| 2021-08-21 14:43:37 | <Clint> | _bin: yes |
| 2021-08-21 14:44:13 | <Clint> | it means to import everything "within" LogAction |
| 2021-08-21 14:44:22 | <Clint> | i'm sure there's a better word for that |
| 2021-08-21 14:44:56 | <tomsmeding> | if LogAction is a class, that imports LogAction as well as the methods of the class; if it's a datatype, it imporst the datatype as well as the constructors of that datatype |
| 2021-08-21 14:45:08 | <tomsmeding> | importing just 'LogAction' would only import that one name |
| 2021-08-21 14:45:28 | <_bin> | Clint, tomsmeding: Thanks, that helps. |
| 2021-08-21 14:47:11 | → | neo joins (~neo3@cpe-292712.ip.primehome.com) |
| 2021-08-21 14:47:15 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-21 14:47:17 | × | fresheyeball quits (~fresheyeb@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-08-21 14:48:48 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-21 14:48:57 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 14:49:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-21 14:50:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-08-21 14:52:58 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 14:52:58 | × | burnside_ quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-08-21 14:53:01 | → | nuncanada joins (~dude@181.213.52.63) |
| 2021-08-21 14:53:37 | × | nuncanada quits (~dude@181.213.52.63) (Remote host closed the connection) |
| 2021-08-21 14:53:43 | × | tomsmeding quits (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-21 14:54:09 | × | Skyfire quits (~pyon@user/pyon) (Remote host closed the connection) |
| 2021-08-21 14:54:17 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 14:54:27 | → | Skyfire joins (~pyon@user/pyon) |
| 2021-08-21 14:56:38 | → | burnside_ joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-08-21 14:56:42 | × | burnside_ quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-08-21 14:57:54 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-21 14:59:22 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-08-21 15:02:37 | → | tomsmeding joins (~tomsmedin@tomsmeding.com) |
| 2021-08-21 15:05:04 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 15:08:50 | → | o1lo01ol1o joins (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) |
| 2021-08-21 15:10:37 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-21 15:12:28 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 15:13:02 | × | o1lo01ol1o quits (~o1lo01ol1@5.181.115.89.rev.vodafone.pt) (Ping timeout: 250 seconds) |
| 2021-08-21 15:15:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-21 15:15:19 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2021-08-21 15:17:20 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 15:23:49 | × | Guest9404 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-21 15:24:35 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-21 15:24:39 | chris | is now known as Guest1299 |
| 2021-08-21 15:26:35 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 15:29:04 | × | Guest1299 quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-08-21 15:30:10 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2021-08-21 15:31:09 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-08-21 15:32:32 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 250 seconds) |
| 2021-08-21 15:33:32 | × | ystael quits (~ystael@user/ystael) (Quit: Lost terminal) |
| 2021-08-21 15:35:46 | → | ystael joins (~ystael@user/ystael) |
| 2021-08-21 15:36:01 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 248 seconds) |
| 2021-08-21 15:37:30 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 244 seconds) |
| 2021-08-21 15:38:40 | → | Jack joins (~Jack@node-1w7jra24ayur83r37n177ovv8.ipv6.telus.net) |
| 2021-08-21 15:41:30 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-08-21 15:46:58 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 15:48:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-21 15:49:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-21 15:51:29 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 248 seconds) |
| 2021-08-21 15:52:54 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-08-21 15:54:53 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 15:56:55 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-08-21 15:58:04 | → | Guest|60 joins (~Guest|60@181.171.68.90) |
| 2021-08-21 15:58:07 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-21 15:58:19 | × | Guest|60 quits (~Guest|60@181.171.68.90) (Client Quit) |
| 2021-08-21 15:58:40 | → | econo joins (uid147250@user/econo) |
| 2021-08-21 16:05:21 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 16:05:23 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-08-21 16:06:23 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 16:08:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-21 16:09:59 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-21 16:10:01 | → | mastarija joins (~mastarija@78-3-210-70.adsl.net.t-com.hr) |
| 2021-08-21 16:11:12 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 16:11:32 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-08-21 16:11:34 | → | hololeap joins (~hololeap@user/hololeap) |
| 2021-08-21 16:14:09 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 2021-08-21 16:14:52 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-21 16:19:21 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-08-21 16:20:12 | × | azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-08-21 16:21:00 | → | azeem joins (~azeem@176.200.245.90) |
| 2021-08-21 16:22:58 | × | keutoi quits (~keutoi@106.208.52.196) (Ping timeout: 252 seconds) |
| 2021-08-21 16:23:31 | × | aman quits (~aman@user/aman) (Ping timeout: 252 seconds) |
| 2021-08-21 16:24:39 | × | benin036932 quits (~benin@183.82.178.142) (Ping timeout: 268 seconds) |
| 2021-08-21 16:25:01 | → | keutoi joins (~keutoi@223.238.95.231) |
| 2021-08-21 16:25:20 | → | aman joins (~aman@user/aman) |
| 2021-08-21 16:37:55 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-21 16:38:20 | × | azeem quits (~azeem@176.200.245.90) (Read error: Connection reset by peer) |
| 2021-08-21 16:38:45 | → | azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) |
| 2021-08-21 16:42:33 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-21 16:47:10 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-08-21 16:50:48 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-21 16:52:19 | → | vpan joins (~vilius@212.117.1.172) |
| 2021-08-21 16:55:29 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-08-21 16:56:57 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-21 16:59:24 | → | goepsilongo_ joins (~goepsilon@2603-7000-ab00-62ed-c9e0-8f19-de85-1d2f.res6.spectrum.com) |
| 2021-08-21 17:00:40 | × | goepsilongo quits (~goepsilon@2603-7000-ab00-62ed-0d8f-34df-93a6-03c1.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-08-21 17:05:19 | × | mastarija quits (~mastarija@78-3-210-70.adsl.net.t-com.hr) (Ping timeout: 252 seconds) |
| 2021-08-21 17:06:31 | → | mdunnio joins (~mdunn@205.178.28.97) |
| 2021-08-21 17:09:56 | <Athas> | What is the simplest Haskell library for writing a very simple TUI, with a few input fields and such? |
| 2021-08-21 17:10:07 | <Athas> | I know of Brick, which can be used for anything, but is there something simpler? |
| 2021-08-21 17:10:35 | → | mestre joins (~mestre@191.177.175.57) |
| 2021-08-21 17:10:44 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 2021-08-21 17:11:14 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 2021-08-21 17:11:16 | <sm> | Athas: there's wizards |
| 2021-08-21 17:11:17 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-21 17:12:02 | → | Guest2172 joins (~Guest21@2a02:8109:a080:6368:d5d2:328b:373c:5b57) |
All times are in UTC.