Logs: freenode/#haskell
| 2021-04-14 03:13:25 | <justsomeguy> | Hrm, that's pretty similar to forM, which I've been using for a while now without understanding. |
| 2021-04-14 03:13:28 | → | guest414 joins (~user@49.5.6.87) |
| 2021-04-14 03:13:53 | <monochrom> | Just different argument orders. |
| 2021-04-14 03:14:32 | <guest414> | how to take out 3 and 4 from [Just 3, Just 4] with fmap? turn List and Maybe into a monad transformer? |
| 2021-04-14 03:14:58 | <monochrom> | fmap fromJust |
| 2021-04-14 03:15:21 | <monochrom> | perhaps catMaybes |
| 2021-04-14 03:16:04 | <guest414> | monochrom: what if it's not Just 3, if it's T 3, data T a = T a |
| 2021-04-14 03:16:13 | <guest414> | T 3 :: T Int |
| 2021-04-14 03:16:20 | <monochrom> | fmap (\(T i) -> i) |
| 2021-04-14 03:16:22 | <guest414> | [T 3, T 4] |
| 2021-04-14 03:18:13 | <guest414> | monochrom: fmap f [T 3, T 4], I would like want f to take 3 or 4 |
| 2021-04-14 03:18:38 | <guest414> | like fmap (+1) [T 3, T 4] |
| 2021-04-14 03:18:47 | <monochrom> | Clearly f cannot take 3 or 4. has to take T 3 or T 4. |
| 2021-04-14 03:18:48 | <guest414> | return [T 4, T 5] |
| 2021-04-14 03:18:57 | <monochrom> | \(T i) -> i+1 |
| 2021-04-14 03:19:09 | <guest414> | monochrom: if [T] is a functor, it can |
| 2021-04-14 03:19:31 | <guest414> | [T a] |
| 2021-04-14 03:20:23 | <monochrom> | fmap (fmap (+1)) |
| 2021-04-14 03:20:48 | <guest414> | fmap f (T x) = T (f x) could make T as a functor |
| 2021-04-14 03:20:51 | <guest414> | and [] is a functor |
| 2021-04-14 03:21:00 | <guest414> | so I wonder if [T ] would be a functor? |
| 2021-04-14 03:21:19 | <monochrom> | Did you see my <monochrom> fmap (fmap (+1)) ? |
| 2021-04-14 03:22:09 | × | aerona quits (~aerona@2600:6c54:4600:f300:92f6:b406:86cc:ef76) (Quit: Leaving) |
| 2021-04-14 03:22:53 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-04-14 03:23:16 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving) |
| 2021-04-14 03:24:47 | <guest414> | ok |
| 2021-04-14 03:25:25 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-04-14 03:26:53 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 03:37:01 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 2021-04-14 03:45:32 | × | horatiohb quits (~horatiohb@104.236.81.226) (Ping timeout: 240 seconds) |
| 2021-04-14 03:52:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-14 03:52:55 | <Axman6> | justsomeguy: assuming you have getURL :: URL -> IO ByteString and urls :: Tree URL, you can traverse getUrl urls will give you back a tree with identical structure as urls but with all URLs replaced with their contents, IO (Tree ByteString) |
| 2021-04-14 03:53:10 | <Axman6> | :t forM |
| 2021-04-14 03:53:11 | <lambdabot> | (Traversable t, Monad m) => t a -> (a -> m b) -> m (t b) |
| 2021-04-14 03:53:16 | <Axman6> | :t traverse |
| 2021-04-14 03:53:17 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2021-04-14 03:56:01 | × | infinisil quits (~infinisil@NixOS/user/infinisil) (Ping timeout: 246 seconds) |
| 2021-04-14 03:56:24 | → | infinisil joins (~infinisil@NixOS/user/infinisil) |
| 2021-04-14 03:56:45 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-14 03:57:01 | × | Benett quits (~Benett@unaffiliated/benett) (Ping timeout: 245 seconds) |
| 2021-04-14 03:57:07 | × | noexcept quits (~noexcept@noexcept.org) (Ping timeout: 248 seconds) |
| 2021-04-14 03:57:09 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds) |
| 2021-04-14 03:57:12 | → | Black joins (~Benett@unaffiliated/benett) |
| 2021-04-14 03:57:18 | Black | is now known as Benett |
| 2021-04-14 03:57:31 | → | snowflake joins (~snowflake@gateway/tor-sasl/snowflake) |
| 2021-04-14 03:57:40 | × | DustyDin1o quits (~nonamen@v2202001112302107134.ultrasrv.de) (Ping timeout: 276 seconds) |
| 2021-04-14 03:57:42 | × | mupf quits (~micha@v22017094964653601.ultrasrv.de) (Ping timeout: 252 seconds) |
| 2021-04-14 03:58:15 | × | flow quits (~none@salem.informatik.uni-erlangen.de) (Ping timeout: 250 seconds) |
| 2021-04-14 03:59:02 | → | DustyDingo joins (~nonamen@v2202001112302107134.ultrasrv.de) |
| 2021-04-14 03:59:03 | → | noexcept joins (~noexcept@2a03:b0c0:3:d0::33:9001) |
| 2021-04-14 03:59:12 | → | Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 2021-04-14 03:59:31 | → | mupf joins (~micha@v22017094964653601.ultrasrv.de) |
| 2021-04-14 04:00:22 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-04-14 04:00:23 | → | flow joins (~none@salem.informatik.uni-erlangen.de) |
| 2021-04-14 04:00:26 | → | Alleria joins (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) |
| 2021-04-14 04:00:49 | Alleria | is now known as Guest52501 |
| 2021-04-14 04:02:13 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 2021-04-14 04:02:15 | → | olligobber1 joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 04:04:45 | × | Guest52501 quits (~textual@2603-7000-3040-0000-9df5-86d2-c184-c1c0.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-04-14 04:08:13 | × | mawk quits (mawk@serveur.io) (Ping timeout: 260 seconds) |
| 2021-04-14 04:08:57 | → | lawt joins (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) |
| 2021-04-14 04:10:50 | × | pjb quits (~t@2a01cb04063ec500d887d9fd1a878571.ipv6.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2021-04-14 04:11:16 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-04-14 04:11:18 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Ping timeout: 240 seconds) |
| 2021-04-14 04:14:56 | × | olligobber1 quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 260 seconds) |
| 2021-04-14 04:15:16 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-04-14 04:15:35 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-04-14 04:24:32 | → | mawk joins (mawk@serveur.io) |
| 2021-04-14 04:26:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-14 04:26:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a04b:d074:eb9e:ca69) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 04:29:16 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 04:30:05 | → | olligobber1 joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 04:31:16 | → | torei joins (~torei@c-174-56-229-139.hsd1.ga.comcast.net) |
| 2021-04-14 04:37:11 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-modavknqpmqvbcri) (Quit: Connection closed for inactivity) |
| 2021-04-14 04:41:44 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-14 04:44:13 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 04:44:51 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 04:45:12 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 04:45:25 | → | pfurla_ joins (~pfurla@64.145.79.9) |
| 2021-04-14 04:46:19 | × | olligobber1 quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 252 seconds) |
| 2021-04-14 04:48:31 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-14 04:50:47 | × | alx741 quits (~alx741@181.196.69.92) (Quit: alx741) |
| 2021-04-14 04:51:33 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-04-14 04:51:35 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 2021-04-14 04:52:54 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) () |
| 2021-04-14 04:52:58 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
| 2021-04-14 04:53:16 | <nineonine> | Q about readMVar |
| 2021-04-14 04:53:23 | <nineonine> | does it leave an MVar empty? |
| 2021-04-14 04:55:02 | <cjay> | no |
| 2021-04-14 04:55:52 | <nineonine> | thanks |
| 2021-04-14 04:56:38 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-14 04:56:55 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 04:57:35 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 04:57:53 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) |
| 2021-04-14 04:58:15 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:8122:644a:c675:df20) (Client Quit) |
| 2021-04-14 04:58:24 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-14 04:59:47 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-04-14 05:01:46 | <Axman6> | nineonine: you want takeMVar for that |
| 2021-04-14 05:02:16 | × | pfurla_ quits (~pfurla@64.145.79.9) (Ping timeout: 252 seconds) |
| 2021-04-14 05:03:41 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-vrscawlvxnzknimj) |
All times are in UTC.