Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→ 1,803,153 events total
2021-07-21 03:38:39 tubogram joins (~tubogram@user/tubogram)
2021-07-21 03:40:09 <pisenbig222> c_wraith: sorry for that
2021-07-21 03:40:10 × pisenbig222 quits (~user@49.5.6.87) (Quit: ERC (IRC client for Emacs 27.1))
2021-07-21 03:41:33 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-07-21 03:42:19 chris_ joins (~chris@81.96.113.213)
2021-07-21 03:46:16 derelict joins (~derelict@user/derelict)
2021-07-21 03:50:53 × zebrag quits (~chris@user/zebrag) (Remote host closed the connection)
2021-07-21 03:52:48 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-07-21 03:53:36 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-21 03:55:06 <albet70> how to get a from IO (Maybe a)?
2021-07-21 03:55:22 <albet70> since there's no IOT
2021-07-21 03:57:10 <h98> do (Just a <- ioMaybeA) is the dirty way
2021-07-21 03:57:33 drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-07-21 03:57:35 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-21 03:59:27 <glguy> or better, do mb <- ioMaybeA; case mb of Nothing -> _; Just a -> _
2021-07-21 04:00:57 oxide joins (~lambda@user/oxide)
2021-07-21 04:02:51 falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net)
2021-07-21 04:03:51 <albet70> main = do {let a = return Nothing :: MaybeT IO Int; runMaybeT (a >>= (\n -> MaybeT $ print (n+1)))
2021-07-21 04:04:01 <albet70> what's wrong with it?
2021-07-21 04:04:28 <albet70> should n be Int?
2021-07-21 04:04:40 <nshepperd2> return Nothing :: MaybeT IO Int is a type error
2021-07-21 04:04:54 <albet70> oh
2021-07-21 04:06:17 <nshepperd2> and so is MaybeT $ print (n+1)
2021-07-21 04:06:45 × adinf quits (~adinfinit@2600:6c40:653f:5f00:a650:d8d7:fe0b:8c1f) (Ping timeout: 255 seconds)
2021-07-21 04:09:40 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-07-21 04:10:05 Null_A joins (~null_a@2601:645:8700:2290:a92e:e23d:59b7:f2e9)
2021-07-21 04:11:45 × Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection)
2021-07-21 04:12:22 Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com)
2021-07-21 04:12:32 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 265 seconds)
2021-07-21 04:15:20 × lambdap quits (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap)
2021-07-21 04:15:58 lambdap joins (~lambdap@static.167.190.119.168.clients.your-server.de)
2021-07-21 04:16:49 × Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 258 seconds)
2021-07-21 04:16:50 × eL_Bart0- quits (eL_Bart0@dietunichtguten.org) (Read error: Connection reset by peer)
2021-07-21 04:17:25 <albet70> :t MaybeT $ print 1
2021-07-21 04:17:26 <lambdabot> error:
2021-07-21 04:17:26 <lambdabot> • Data constructor not in scope: MaybeT :: IO () -> t
2021-07-21 04:17:26 <lambdabot> • Perhaps you meant variable ‘maybe’ (imported from Data.Maybe)
2021-07-21 04:18:25 <albet70> I forget Maybe in it
2021-07-21 04:20:02 eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
2021-07-21 04:21:29 × tubogram quits (~tubogram@user/tubogram) (Quit: See ya later!)
2021-07-21 04:25:23 tubogram joins (~tubogram@user/tubogram)
2021-07-21 04:26:46 juhp joins (~juhp@128.106.188.220)
2021-07-21 04:29:56 <aegon> c_wraith: dsal: omg, i had no clue there was a search in haddock, mind is blown
2021-07-21 04:31:30 × drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 255 seconds)
2021-07-21 04:31:56 michalz joins (~michalz@185.246.204.50)
2021-07-21 04:37:57 slycelote joins (~slycelote@user/slycelote)
2021-07-21 04:42:10 Codaraxis__ joins (~Codaraxis@193.138.218.171)
2021-07-21 04:44:11 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-07-21 04:45:34 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds)
2021-07-21 04:45:47 × aegon quits (~mike@174.127.249.180) (Quit: leaving)
2021-07-21 04:45:56 × Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 252 seconds)
2021-07-21 04:50:11 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-21 04:51:27 aegon joins (~mike@174.127.249.180)
2021-07-21 04:51:43 <aegon> is there a command line verision of the haddock search?
2021-07-21 04:52:12 × xff0x_ quits (~xff0x@2001:1a81:530d:8900:36a5:b6bb:ee85:bc72) (Ping timeout: 255 seconds)
2021-07-21 04:53:07 xff0x_ joins (~xff0x@2001:1a81:530d:8900:7b7c:d7d5:bd71:1e50)
2021-07-21 04:55:10 <geekosaur> you can install haddock locally and this is in fact recommended if you want to index your own libraries, or everything you've installed with cabal, etc. it includes a command line utility
2021-07-21 04:56:08 <geekosaur> @hackage haddock
2021-07-21 04:56:08 <lambdabot> https://hackage.haskell.org/package/haddock
2021-07-21 04:57:00 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds)
2021-07-21 04:57:17 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-21 05:07:30 × ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d)
2021-07-21 05:08:22 ablutor joins (~quassel@wasscher.com)
2021-07-21 05:10:18 × h98 quits (~h98@187.83.249.216.dyn.smithville.net) (Quit: Client closed)
2021-07-21 05:10:45 dunkeln joins (~dunkeln@94.128.224.230)
2021-07-21 05:21:48 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-07-21 05:22:04 ptmxroot joins (~ptmxroot@191.13.28.194)
2021-07-21 05:22:18 × ptmxroot quits (~ptmxroot@191.13.28.194) (Remote host closed the connection)
2021-07-21 05:24:30 MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-07-21 05:27:30 × MorrowM quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Quit: ZNC 1.8.2 - https://znc.in)
2021-07-21 05:27:45 Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-07-21 05:28:55 Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com)
2021-07-21 05:33:44 × Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 265 seconds)
2021-07-21 05:34:14 MasseR joins (~MasseR@51.15.143.128)
2021-07-21 05:44:22 takuan joins (~takuan@178-116-218-225.access.telenet.be)
2021-07-21 05:51:55 × Axman6 quits (~Axman6@user/axman6) (Quit: Ping timeout (120 seconds))
2021-07-21 05:51:56 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-21 05:53:55 <aegon> is there a stack way to do that automagically?
2021-07-21 05:57:27 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds)
2021-07-21 05:58:02 Axman6 joins (~Axman6@user/axman6)
2021-07-21 06:01:15 × Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer)
2021-07-21 06:01:58 Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi)
2021-07-21 06:08:35 wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-07-21 06:10:18 × sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 240 seconds)
2021-07-21 06:11:17 Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es)
2021-07-21 06:12:58 <sm> aegon: stack hoogle something something ?
2021-07-21 06:13:34 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds)
2021-07-21 06:14:07 <jophish> I use https://gist.github.com/bc87359253777b0e223f25134bdc9092
2021-07-21 06:14:17 × danso quits (~danso@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 245 seconds)
2021-07-21 06:14:17 <sm> can't figure out how that works
2021-07-21 06:14:58 <jophish> better link: https://github.com/expipiplus1/dotfiles/blob/9e32d09b143a516655332713508cbec693f6e04f/config/nixpkgs/home/haskell.nix#L161-L169
2021-07-21 06:15:06 <jophish> it watches package.yaml (or .cabal)
2021-07-21 06:15:21 <jophish> and reloads a hoogle server when they change
2021-07-21 06:15:53 myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-07-21 06:16:51 × echoreply quits (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) (Quit: WeeChat 2.8)
2021-07-21 06:17:21 echoreply joins (~echoreply@45.32.163.16)
2021-07-21 06:20:49 aman joins (~aman@user/aman)
2021-07-21 06:24:11 × abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2021-07-21 06:25:07 × jlamothe quits (~jlamothe@198.251.60.157) (Ping timeout: 250 seconds)
2021-07-21 06:25:17 sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca)

All times are in UTC.