Newest at the top
| 2025-05-13 13:43:15 +0200 | <tomsmeding> | because the former is most likely "backwards compatibility, liftA2 was not in the class originally" |
| 2025-05-13 13:41:33 +0200 | <tomsmeding> | yin: why as in socially why, or as in technically how is it possible? |
| 2025-05-13 13:32:28 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-05-13 13:31:02 +0200 | <yin> | <*> is defined in terms of it, isn't it? |
| 2025-05-13 13:30:44 +0200 | <yin> | why is it not re-exported then? |
| 2025-05-13 13:30:09 +0200 | <tomsmeding> | no, as part of the Applicative class |
| 2025-05-13 13:29:45 +0200 | <yin> | is liftA2 defined at the top level in GHC.Base? |
| 2025-05-13 13:29:13 +0200 | <tomsmeding> | but ghci cares not, it just shows the facts as they are |
| 2025-05-13 13:28:50 +0200 | <tomsmeding> | the fact that Applicative is not defined in Control.Applicative but in GHC.Base, however, is an implementation detail that you should generally not need to rely on |
| 2025-05-13 13:28:05 +0200 | <tomsmeding> | the class and its members _except_ liftA2 are additionally re-exported from Prelude |
| 2025-05-13 13:27:56 +0200 | <tomsmeding> | yin: because the Applicative class, including its liftA2 member, is defined in GHC.Base and only re-exported from Control.Applicative |
| 2025-05-13 13:26:23 +0200 | <yin> | why is it GHC.Base.liftA2 and not Control.Applicative.liftA2 then? |
| 2025-05-13 13:25:54 +0200 | <yin> | this is so confusing |
| 2025-05-13 13:23:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fab1:2ba7:ff3c:d0fc) |
| 2025-05-13 13:22:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 13:19:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-13 13:12:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 13:10:11 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 2025-05-13 13:02:20 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-13 13:02:02 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 13:00:05 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-05-13 12:51:58 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-05-13 12:47:44 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-05-13 12:47:25 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 12:46:28 +0200 | <tomsmeding> | yin: import Control.Applicative, and it won't be qualified any more |
| 2025-05-13 12:42:53 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-05-13 12:30:59 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 272 seconds) |
| 2025-05-13 12:29:44 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 12:28:30 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-05-13 12:23:53 +0200 | <Leary> | yin: Because it isn't in scope. |
| 2025-05-13 12:23:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-13 12:22:42 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Remote host closed the connection) |
| 2025-05-13 12:21:20 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-05-13 12:19:12 +0200 | <yin> | https://paste.jrvieira.com/1747131542069 |
| 2025-05-13 12:18:47 +0200 | <yin> | oops wrong paste |
| 2025-05-13 12:18:29 +0200 | <yin> | https://paste.jrvieira.com/1747131475164 why is liftA2 qualified like this? |
| 2025-05-13 11:53:06 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-13 11:51:24 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-05-13 11:46:38 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-13 11:45:10 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 11:42:35 +0200 | Guest22 | (~Guest22@c-24-218-7-58.hsd1.ct.comcast.net) (Quit: Client closed) |
| 2025-05-13 11:37:27 +0200 | Guest22 | (~Guest22@c-24-218-7-58.hsd1.ct.comcast.net) |
| 2025-05-13 11:32:40 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2025-05-13 11:28:39 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) fp |
| 2025-05-13 11:25:02 +0200 | cyphase | (~cyphase@user/cyphase) (Quit: cyphase.com) |
| 2025-05-13 11:15:19 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:86a6:bb33:585:67c4) ubert |
| 2025-05-13 11:13:52 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 276 seconds) |
| 2025-05-13 11:10:10 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-05-13 11:06:39 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-05-13 11:06:33 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Read error: Connection reset by peer) |