Logs: freenode/#haskell
| 2021-05-14 07:42:32 | <hololeap> | oops, i guess i meant IsList |
| 2021-05-14 07:42:33 | <boxscape> | That looks like IsList rather than IsString? |
| 2021-05-14 07:42:35 | <boxscape> | okay |
| 2021-05-14 07:42:51 | <Rembane> | Common typo. :) |
| 2021-05-14 07:43:36 | → | Codaraxis__ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-05-14 07:43:49 | <hololeap> | i wonder if they mean Nothing or (Just []) |
| 2021-05-14 07:43:59 | <sshine> | yeah |
| 2021-05-14 07:44:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 07:44:49 | <sshine> | toList Nothing == ? |
| 2021-05-14 07:45:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 07:46:07 | <Rembane> | > toList Nothing |
| 2021-05-14 07:46:08 | <lambdabot> | [] |
| 2021-05-14 07:46:28 | <Rembane> | > fromList [] :: Maybe Int |
| 2021-05-14 07:46:29 | <lambdabot> | error: |
| 2021-05-14 07:46:29 | <lambdabot> | • Variable not in scope: fromList :: [a0] -> Maybe Int |
| 2021-05-14 07:46:29 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-05-14 07:46:33 | <Rembane> | Meh |
| 2021-05-14 07:47:07 | <hololeap> | % fromList [] :: Maybe Text |
| 2021-05-14 07:47:07 | <yahb> | hololeap: ; <interactive>:55:22: error: Not in scope: type constructor or class `Text' |
| 2021-05-14 07:47:26 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-14 07:47:59 | <Rembane> | There are analogues in Data.Maybe, but they only work on lists. |
| 2021-05-14 07:49:04 | <hololeap> | well this is from https://github.com/purescript/spago/blob/master/src/Spago/Version.hs#L73 |
| 2021-05-14 07:49:16 | <hololeap> | i assume it compiles on some systems |
| 2021-05-14 07:50:37 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-05-14 07:52:10 | <boxscape> | hololeap the fifth parameter of SemVer had a different type a while ago https://hackage.haskell.org/package/versions-3.3.1/docs/Data-Versions.html#t:SemVer |
| 2021-05-14 07:53:04 | <boxscape> | hololeap looks like it was changed in the latest version, 5.0.0 |
| 2021-05-14 07:54:53 | <boxscape> | the spago .cabal file doesn't use upper bounds for most of its dependecies |
| 2021-05-14 07:55:37 | <hololeap> | i'll just patch it, but i was wondering what broke it |
| 2021-05-14 07:57:46 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-14 07:57:59 | <hololeap> | boxscape: ah that explains it then :) |
| 2021-05-14 07:59:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 08:01:00 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 2021-05-14 08:01:42 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-14 08:05:05 | → | hololeap joins (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-05-14 08:05:11 | → | chimera joins (~chimera@120-192-113-92.pool.ukrtel.net) |
| 2021-05-14 08:05:19 | <hololeap> | boxscape: thanks for finding that |
| 2021-05-14 08:05:30 | <boxscape> | np |
| 2021-05-14 08:06:28 | → | arahael1 joins (~arahael@203-206-83-196.tpgi.com.au) |
| 2021-05-14 08:06:51 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-05-14 08:07:03 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-05-14 08:07:21 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-14 08:08:59 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-14 08:09:09 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-14 08:09:17 | × | Arahael quits (~arahael@114.198.16.164) (Ping timeout: 260 seconds) |
| 2021-05-14 08:10:44 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-14 08:13:10 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-14 08:14:23 | → | xprl-gjf joins (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-05-14 08:15:57 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-14 08:16:14 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-14 08:17:18 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-14 08:18:31 | → | z88 joins (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) |
| 2021-05-14 08:19:14 | → | fendor joins (~fendor@77.119.131.196.wireless.dyn.drei.com) |
| 2021-05-14 08:26:04 | <absence> | is there a way to perform a monadic bind on the left side of an either instead of the right, i.e. (e -> Either e' a) -> Either e a -> Either e' a? |
| 2021-05-14 08:26:23 | <absence> | other than copying the code for the monad instance and switching left and right |
| 2021-05-14 08:26:56 | <Rembane> | :t (=<<) |
| 2021-05-14 08:26:58 | <lambdabot> | Monad m => (a -> m b) -> m a -> m b |
| 2021-05-14 08:27:00 | <Rembane> | Like that? |
| 2021-05-14 08:27:32 | <tomboy64> | when i want [ (a,b) | a <- [1,2], b <- [1,2] ], is there a way so i can conflate the definition of a and b? |
| 2021-05-14 08:27:35 | × | nek0 quits (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-05-14 08:27:51 | <tomboy64> | as a,b are created from the same list |
| 2021-05-14 08:27:52 | <boxscape> | Hmm, the bifunctors package has Flip but it doesn't have a Monad instance |
| 2021-05-14 08:28:04 | <Rembane> | absence: Or is it the Left part you want to interact with? |
| 2021-05-14 08:28:38 | <Rembane> | > (,) <$> [1,2,3] <*> [1,2,3] -- tomboy64 |
| 2021-05-14 08:28:40 | <lambdabot> | [(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)] |
| 2021-05-14 08:29:05 | <absence> | Rembane: left yes |
| 2021-05-14 08:29:08 | <tomboy64> | uh, nifty |
| 2021-05-14 08:29:13 | <boxscape> | tomboy64 [ (a, b) | let xs = [1,2,3], a <- xs, b <- xs ] |
| 2021-05-14 08:29:16 | <tomboy64> | thanks, gonna check that out |
| 2021-05-14 08:30:03 | <Rembane> | > first (+2) (Left 3) |
| 2021-05-14 08:30:05 | <lambdabot> | error: |
| 2021-05-14 08:30:05 | <lambdabot> | • Couldn't match type ‘(b, d)’ with ‘Either a0 b0’ |
| 2021-05-14 08:30:05 | <lambdabot> | Expected type: Either a0 b0 -> (b, d) |
| 2021-05-14 08:30:10 | <Rembane> | Hm... |
| 2021-05-14 08:30:34 | <boxscape> | We have Biapplicative but not Bimonad, eh |
| 2021-05-14 08:30:46 | <boxscape> | I imagine there's a mathematical reason for that |
| 2021-05-14 08:31:14 | <Rembane> | absence: Do you need Monad or is Applicative enough? |
| 2021-05-14 08:31:28 | × | hololeap quits (~hololeap@gateway/tor-sasl/hololeap) (Quit: Bye) |
| 2021-05-14 08:32:17 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 2021-05-14 08:33:56 | <boxscape> | ...though Either isn't even a Biapplicative so that wouldn't help |
| 2021-05-14 08:34:17 | <Rembane> | Oh |
| 2021-05-14 08:34:18 | <Rembane> | Meh |
| 2021-05-14 08:37:04 | × | berberman__ quits (berberma4@gateway/shell/matrix.org/x-oqwwmsvupcxuxpnp) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:29 | × | anandprabhu-M quits (anandprabh@gateway/shell/kde/matrix/x-knnbylqxaiupdwue) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:43 | <absence> | seems like the "swapped" lens won't do the trick either |
| 2021-05-14 08:37:53 | → | kuribas joins (~user@ptr-25vy0i97aequnpt08mb.18120a2.ip6.access.telenet.be) |
| 2021-05-14 08:37:54 | × | enya[m] quits (enyaismatr@gateway/shell/matrix.org/x-vbxbmzfxfyfdzpkm) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 | × | Noughtmare[m] quits (naughtmare@gateway/shell/matrix.org/x-eudjrzrcgrkbadyq) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 | × | jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-oykouxifvdgxkysk) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-ygcqfwwgjhaithrv) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 | × | JaakkoLuttinen[m quits (jluttinema@gateway/shell/matrix.org/x-kwtghircdmpnsjld) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 | × | l-as quits (lasmatrixo@gateway/shell/matrix.org/x-uqygpgsipnzcjvky) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 | × | hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-lxilvmapenritogw) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 | × | hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-urtbejfwazafnhmf) (Ping timeout: 245 seconds) |
| 2021-05-14 08:38:19 | × | maerwald[m] quits (maerwaldma@gateway/shell/matrix.org/x-fklrirjztisrhpuf) (Ping timeout: 245 seconds) |
| 2021-05-14 08:38:19 | × | ServerStatsDisco quits (serverstat@gateway/shell/matrix.org/x-fmdpukzknleoofkk) (Ping timeout: 245 seconds) |
| 2021-05-14 08:38:19 | × | dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-upahawlsktdxgrvb) (Ping timeout: 245 seconds) |
| 2021-05-14 08:39:01 | → | anandprabhu-M joins (anandprabh@gateway/shell/kde/matrix/x-bvhldoupnbmlqysg) |
| 2021-05-14 08:39:42 | → | hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-zxgylrwrlsislond) |
| 2021-05-14 08:39:56 | <boxscape> | maybe there should be a `Symmetrical` class that allows you to get a Monad instance over the first argument if there is one over the second argument |
| 2021-05-14 08:40:00 | → | enya[m] joins (enyaismatr@gateway/shell/matrix.org/x-sfvtspwjmmnvmqkn) |
All times are in UTC.