Logs: liberachat/#haskell
| 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.