Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 .. 5022
— 502,152 events total
2020-11-17 23:59:44 × ystael quits (~ystael@209.6.50.55) (Ping timeout: 256 seconds)
2020-11-18 00:00:01 × havenwood1 quits (~havenwood@185.204.1.185) ()
2020-11-18 00:00:36 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds)
2020-11-18 00:00:58 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-11-18 00:01:06 × juri_ quits (~juri@178.63.35.222) (Ping timeout: 272 seconds)
2020-11-18 00:01:10 <unclechu> currently i have define a type family and another type family which is a multiple version of first one
2020-11-18 00:02:04 → jedws joins (~jedws@101.184.175.183)
2020-11-18 00:02:41 → juri_ joins (~juri@178.63.35.222)
2020-11-18 00:02:45 × peutri quits (~peutri@ns317027.ip-94-23-46.eu) (Ping timeout: 240 seconds)
2020-11-18 00:02:52 → peutri joins (~peutri@ns317027.ip-94-23-46.eu)
2020-11-18 00:02:54 <unclechu> like `type family FooMultiple (a ∷ [κ]) ∷ [b] where FooMultiple '[] = '[]; FooMultiple (x ': xs) = Foo x ': FooMultiple xs`
2020-11-18 00:03:14 → jzl joins (~jzl@ip238.ip-149-56-250.net)
2020-11-18 00:03:14 × jzl quits (~jzl@ip238.ip-149-56-250.net) (Changing host)
2020-11-18 00:03:14 → jzl joins (~jzl@unaffiliated/jzl)
2020-11-18 00:03:52 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:94c2:72b2:8a99:7096) (Ping timeout: 260 seconds)
2020-11-18 00:04:12 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Ping timeout: 260 seconds)
2020-11-18 00:04:31 → cosimone joins (~cosimone@5.171.25.59)
2020-11-18 00:06:15 × ben_m quits (~ben_m@unaffiliated/ben-m/x-8385872) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-18 00:06:34 → ben_m joins (~ben_m@56.ip-51-38-127.eu)
2020-11-18 00:06:34 × ben_m quits (~ben_m@56.ip-51-38-127.eu) (Changing host)
2020-11-18 00:06:34 → ben_m joins (~ben_m@unaffiliated/ben-m/x-8385872)
2020-11-18 00:07:46 × lemald quits (~eddie@capybara.lemald.org) (Ping timeout: 246 seconds)
2020-11-18 00:10:04 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Read error: Connection reset by peer)
2020-11-18 00:10:10 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-18 00:14:03 → mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-18 00:14:09 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-18 00:15:31 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-18 00:15:56 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:1bc1:d518:fbf:6e25)
2020-11-18 00:20:04 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-18 00:21:52 → Nolar joins (~Nolar@185.163.110.116)
2020-11-18 00:24:38 → arw_ joins (~arw@impulse.informatik.uni-erlangen.de)
2020-11-18 00:25:07 → AWizzArd_ joins (~code@gehrels.uberspace.de)
2020-11-18 00:25:07 → w2gz joins (~do@159.89.11.133)
2020-11-18 00:25:37 × w1gz quits (~do@159.89.11.133) (Ping timeout: 260 seconds)
2020-11-18 00:25:37 × arw quits (~arw@impulse.informatik.uni-erlangen.de) (Ping timeout: 260 seconds)
2020-11-18 00:25:37 × AWizzArd quits (~code@unaffiliated/awizzard) (Ping timeout: 260 seconds)
2020-11-18 00:26:42 → mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de)
2020-11-18 00:26:49 × dxld quits (~dxld@80-109-136-248.cable.dynamic.surfer.at) (Quit: Bye)
2020-11-18 00:28:34 × daGrevis quits (~daGrevis@unaffiliated/dagrevis) (Ping timeout: 256 seconds)
2020-11-18 00:28:35 → dxld joins (~dxld@rush.pub.dxld.at)
2020-11-18 00:28:43 → daGrevis joins (~daGrevis@unaffiliated/dagrevis)
2020-11-18 00:29:07 × LKoen quits (~LKoen@9.253.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2020-11-18 00:29:17 → da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-78-149.revip7.asianet.co.th)
2020-11-18 00:31:23 × jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds)
2020-11-18 00:31:48 → jb55 joins (~jb55@gateway/tor-sasl/jb55)
2020-11-18 00:33:11 × mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Quit: mputz)
2020-11-18 00:33:45 → jedws joins (~jedws@101.184.175.183)
2020-11-18 00:34:17 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-18 00:34:41 × st8less quits (~st8less@2603:a060:11fd:0:68fe:5aed:dd91:2111) (Quit: WeeChat 2.7.1)
2020-11-18 00:34:57 → lemald joins (~eddie@capybara.lemald.org)
2020-11-18 00:36:03 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-18 00:36:55 → fendor_ joins (~fendor@77.119.128.218.wireless.dyn.drei.com)
2020-11-18 00:37:35 → carlomagno joins (~cararell@148.87.23.12)
2020-11-18 00:38:37 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:95c1:f982:82e4:2d79) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-18 00:39:49 × fendor quits (~fendor@178.115.128.157.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2020-11-18 00:40:13 × alp quits (~alp@2a01:e0a:58b:4920:ac08:1079:c3a9:84b6) (Remote host closed the connection)
2020-11-18 00:43:55 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-18 00:44:11 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-18 00:44:13 × benjamingr__ quits (uid23465@gateway/web/irccloud.com/x-hiupvfuftqbhepbs) (Quit: Connection closed for inactivity)
2020-11-18 00:44:41 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-18 00:44:43 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-18 00:45:00 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-18 00:45:19 × ph88 quits (~ph88@2a02:8109:9e00:7e5c:bc50:2174:75e6:7e22) (Ping timeout: 272 seconds)
2020-11-18 00:45:32 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-18 00:45:49 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-18 00:46:18 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:95c1:f982:82e4:2d79)
2020-11-18 00:46:20 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-18 00:46:38 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-18 00:47:08 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-11-18 00:49:31 hackage Frames-streamly 0.1.0.1 - A streamly layer for Frames I/O https://hackage.haskell.org/package/Frames-streamly-0.1.0.1 (adamCS)
2020-11-18 00:52:29 × Aquazi quits (uid312403@gateway/web/irccloud.com/x-fwnbgopbizdwfbcr) (Quit: Connection closed for inactivity)
2020-11-18 00:52:29 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-11-18 00:53:47 <koz_> When GHC describes a type variable as 'rigid', what does it mean exactly?
2020-11-18 00:58:22 <dolio> koz_: It means it can't be unified with any type but itself, basically.
2020-11-18 01:01:25 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 240 seconds)
2020-11-18 01:06:15 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2020-11-18 01:06:42 → gentauro joins (~gentauro@unaffiliated/gentauro)
2020-11-18 01:07:40 × jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-18 01:08:10 × crdrost quits (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net) (Quit: This computer has gone to sleep)
2020-11-18 01:09:13 × m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 264 seconds)
2020-11-18 01:09:39 → jedws joins (~jedws@101.184.175.183)
2020-11-18 01:21:28 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-11-18 01:21:42 × ManiacTwister quits (~Twister@2a01:4f8:171:4de::40:2) (Quit: Servus!)
2020-11-18 01:22:02 × pjb quits (~t@2a01cb04063ec5006d6abee34943d090.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-11-18 01:22:24 → ManiacTwister joins (~Twister@2a01:4f8:171:4de::40:2)
2020-11-18 01:22:38 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds)
2020-11-18 01:23:50 <koz_> dolio: Ah.
2020-11-18 01:26:30 <jchia> Any general guidelines for making Arbitrary instances for my own types especially wrt orphaned instances?
2020-11-18 01:27:02 <dibblego> newtype or use hedgehog
2020-11-18 01:28:12 × falafel quits (~falafel@2601:547:1303:b30:7811:313f:d0f3:f9f4) (Ping timeout: 260 seconds)
2020-11-18 01:28:13 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-18 01:28:15 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:95c1:f982:82e4:2d79) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-18 01:28:35 → Guest_87 joins (b644cd01@182.68.205.1)
2020-11-18 01:28:37 → conal joins (~conal@64.71.133.70)
2020-11-18 01:31:58 → Lord_of_Life_ joins (~Lord@46.217.217.18)
2020-11-18 01:33:05 × Lord_of_Life quits (~Lord@46.217.219.70) (Ping timeout: 240 seconds)
2020-11-18 01:33:25 → abrar joins (~abrar@static-108-30-103-121.nycmny.fios.verizon.net)
2020-11-18 01:34:09 <koz_> You can also avoid the need for Arbitrary if you just define 'Gen a' for your stuff, and use combinators like https://hackage.haskell.org/package/QuickCheck-2.14.2/docs/Test-QuickCheck.html#v:forAll
2020-11-18 01:34:22 <koz_> Or rather, define stuff like 'genFoo :: Gen Foo' and use those.
2020-11-18 01:34:45 <koz_> It's more tedious though.
←Prev  Next→
Page 1 .. 1346 1347 1348 1349 1350 1351 1352 1353 1354 1355 1356 .. 5022

All times are in UTC.