Logs: liberachat/#haskell
| 2021-07-30 14:46:48 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-30 14:49:29 | → | timCF joins (~timCF@200-149-20-81.sta.estpak.ee) |
| 2021-07-30 14:51:04 | × | juhp quits (~juhp@bb116-14-48-29.singnet.com.sg) (Quit: juhp) |
| 2021-07-30 14:51:21 | → | juhp joins (~juhp@bb116-14-48-29.singnet.com.sg) |
| 2021-07-30 14:52:11 | Soft | is now known as soft |
| 2021-07-30 14:52:44 | <timCF> | Hello! I'm trying to do some compile-time magic with TH (generate parsers) and I need to identify somehow from `Proxy a` information about fields of `a` contructors. Ideally I want to know is every particular field `Maybe a` or something else. Any ideas how to get this data on compile-time only from `a` constructor name? |
| 2021-07-30 14:53:07 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-30 14:59:26 | × | azeem quits (~azeem@176.201.36.49) (Ping timeout: 272 seconds) |
| 2021-07-30 15:00:02 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-30 15:02:34 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 15:03:08 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 15:03:30 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Quit: WeeChat 2.8) |
| 2021-07-30 15:04:10 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 265 seconds) |
| 2021-07-30 15:06:14 | → | azeem joins (~azeem@176.201.36.49) |
| 2021-07-30 15:07:40 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-07-30 15:08:18 | × | Guest9 quits (~Guest9@43.241.144.27) (Ping timeout: 240 seconds) |
| 2021-07-30 15:09:05 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-07-30 15:10:21 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-30 15:10:34 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 15:10:46 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 15:11:20 | → | alx741 joins (~alx741@181.196.69.85) |
| 2021-07-30 15:16:58 | → | Guest9 joins (~Guest9@43.241.144.27) |
| 2021-07-30 15:17:47 | × | wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal) |
| 2021-07-30 15:20:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-07-30 15:20:18 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-30 15:20:21 | allbery_b | is now known as geekosaur |
| 2021-07-30 15:20:50 | → | Null_A joins (~null_a@2601:645:8700:2290:44f7:81a6:341:7abe) |
| 2021-07-30 15:20:58 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 2021-07-30 15:25:07 | × | pschorf quits (~user@c-73-77-28-188.hsd1.tx.comcast.net) (Ping timeout: 245 seconds) |
| 2021-07-30 15:27:51 | × | azeem quits (~azeem@176.201.36.49) (Ping timeout: 265 seconds) |
| 2021-07-30 15:28:02 | → | hydroxide joins (~hydroxide@ool-18bab6fd.dyn.optonline.net) |
| 2021-07-30 15:28:23 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-30 15:29:26 | × | Kammao quits (~Kammao@188.27.128.31) (Quit: Client closed) |
| 2021-07-30 15:31:06 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 15:31:16 | × | stevenxl quits (uid133530@id-133530.highgate.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-30 15:35:04 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-30 15:35:04 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-30 15:35:22 | → | azeem joins (~azeem@176.201.36.49) |
| 2021-07-30 15:36:10 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 272 seconds) |
| 2021-07-30 15:36:20 | <Boarders> | timCF: sounds like something you'd want to use Generic (or similar) for |
| 2021-07-30 15:36:35 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-07-30 15:40:12 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-30 15:41:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-30 15:45:06 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 240 seconds) |
| 2021-07-30 15:45:53 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-30 15:45:58 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-30 15:47:20 | × | qontinuum quits (qontinuum@user/qontinuum) (Ping timeout: 252 seconds) |
| 2021-07-30 15:50:44 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-30 15:52:17 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-30 15:54:46 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-30 15:55:08 | × | chris_ quits (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-07-30 15:55:32 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 2021-07-30 16:01:52 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-30 16:06:51 | → | pbrisbin joins (~patrick@47-208-172-238.trckcmtc01.res.dyn.suddenlink.net) |
| 2021-07-30 16:09:24 | → | bitmapper joins (uid464869@id-464869.tooting.irccloud.com) |
| 2021-07-30 16:10:25 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-30 16:11:12 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-30 16:12:42 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-30 16:12:47 | → | MorrowM joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-07-30 16:13:17 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds) |
| 2021-07-30 16:13:47 | × | azeem quits (~azeem@176.201.36.49) (Read error: Connection reset by peer) |
| 2021-07-30 16:13:47 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-30 16:14:03 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-30 16:14:03 | → | mastarija joins (~mastarija@31.217.8.174) |
| 2021-07-30 16:14:04 | → | mastarija_ joins (~mastarija@31.217.8.174) |
| 2021-07-30 16:14:06 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-07-30 16:16:04 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-30 16:16:53 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-30 16:17:11 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-30 16:18:51 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-07-30 16:20:06 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-30 16:21:07 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-30 16:22:11 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-30 16:22:31 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-30 16:22:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-07-30 16:23:55 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-30 16:24:53 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-30 16:25:02 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-07-30 16:25:21 | × | mastarija_ quits (~mastarija@31.217.8.174) (Quit: Leaving) |
| 2021-07-30 16:27:35 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-30 16:28:08 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 252 seconds) |
| 2021-07-30 16:28:26 | × | deshalb quits (~deshalb@user/deshalb) (Quit: leaving) |
| 2021-07-30 16:30:18 | → | mattil joins (~mattilinn@87-92-0-72.bb.dnainternet.fi) |
| 2021-07-30 16:30:20 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-07-30 16:31:13 | × | mattil quits (~mattilinn@87-92-0-72.bb.dnainternet.fi) (Remote host closed the connection) |
| 2021-07-30 16:31:36 | → | mattil joins (~mattilinn@87-92-0-72.bb.dnainternet.fi) |
| 2021-07-30 16:32:39 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:b4cc:f31a:f38e:2215) |
| 2021-07-30 16:33:30 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-07-30 16:37:25 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-30 16:40:08 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-30 16:41:46 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 240 seconds) |
| 2021-07-30 16:42:26 | × | mastarija quits (~mastarija@31.217.8.174) (Read error: Connection reset by peer) |
| 2021-07-30 16:42:44 | → | mastarija joins (~mastarija@31.217.8.174) |
| 2021-07-30 16:45:48 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-30 16:45:56 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-30 16:46:58 | × | fossdd quits (~fossdd@sourcehut/user/fossdd) (Ping timeout: 240 seconds) |
| 2021-07-30 16:47:39 | → | fossdd joins (~fossdd@sourcehut/user/fossdd) |
| 2021-07-30 16:50:54 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 272 seconds) |
| 2021-07-30 16:52:02 | ← | jakalx parts (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2021-07-30 16:52:03 | → | jakalx joins (~jakalx@base.jakalx.net) |
All times are in UTC.