Logs: liberachat/#haskell
| 2021-07-21 01:50:32 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-21 01:52:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-07-21 01:56:02 | × | x_kuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2021-07-21 01:57:44 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-21 01:57:54 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 240 seconds) |
| 2021-07-21 01:59:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-21 02:00:09 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-07-21 02:01:51 | ← | zyklotomic parts (~ethan@2604:a880:800:10::79f:8001) (WeeChat 2.8) |
| 2021-07-21 02:05:37 | <Boarders> | is there some way to get from a type level list of types to the flattened tuple of each element? |
| 2021-07-21 02:06:51 | geekosaur | can't even imagine the type of such a function |
| 2021-07-21 02:07:42 | <h98> | Boarders do you have an example of the kind of signature you want? |
| 2021-07-21 02:07:54 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 2021-07-21 02:07:59 | <Boarders> | it is a type family like: type Tuplify :: [Type] -> Type |
| 2021-07-21 02:08:26 | <Boarders> | the naive thing you would write is either left or right biased where you have a bunch of nested pairs |
| 2021-07-21 02:08:57 | <Boarders> | like I could write this as an open type family where I just write it all the way up to lists of length 63 or whatever GHC supports tuples for |
| 2021-07-21 02:09:00 | <Boarders> | in principle |
| 2021-07-21 02:09:06 | <h98> | if you want a flat tuple you almost certainly have to hardcode it, or use something like https://hackage.haskell.org/package/tuple-hlist |
| 2021-07-21 02:10:15 | × | td_ quits (~td@muedsl-82-207-238-004.citykom.de) (Ping timeout: 265 seconds) |
| 2021-07-21 02:11:14 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-21 02:11:15 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-07-21 02:11:52 | → | td_ joins (~td@muedsl-82-207-238-072.citykom.de) |
| 2021-07-21 02:13:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-07-21 02:13:48 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-07-21 02:14:12 | → | Axman6 joins (~Axman6@user/axman6) |
| 2021-07-21 02:16:52 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-21 02:18:26 | <dsal> | % :k (,,,) |
| 2021-07-21 02:18:26 | <yahb> | dsal: * -> * -> * -> * -> * |
| 2021-07-21 02:18:43 | <dsal> | % :t (,,,) |
| 2021-07-21 02:18:44 | <yahb> | dsal: a -> b -> c -> d -> (a, b, c, d) |
| 2021-07-21 02:21:11 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2021-07-21 02:27:23 | <aegon> | I'm trying to find the definition of Object in that library and I've been searching for 15 minutes, lol |
| 2021-07-21 02:32:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-21 02:34:10 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-07-21 02:34:10 | FinnElija | is now known as Guest222 |
| 2021-07-21 02:34:10 | finn_elija | is now known as FinnElija |
| 2021-07-21 02:35:13 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-21 02:36:05 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@69.4.234.80) (Quit: Leaving) |
| 2021-07-21 02:37:14 | × | Guest222 quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2021-07-21 02:38:57 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@69.4.234.80) |
| 2021-07-21 02:44:06 | <Boarders> | is it possible to go from the k -> Type sort of things in GHC.Generics to the underlying type again (if that makes sense what I am saying)? |
| 2021-07-21 02:45:14 | <Boarders> | I guess you can write a type family to do it |
| 2021-07-21 02:49:20 | <dsal> | aegon: which Object? There's usually a link. |
| 2021-07-21 02:49:56 | <c_wraith> | aegon: if you're in the haddock, just hit "s" and then type "Object" into the window that pops up. No need to do work the computer can do for you. |
| 2021-07-21 02:50:08 | <c_wraith> | Or you can go to the index page |
| 2021-07-21 02:50:20 | <dsal> | aegon: this one? https://hackage.haskell.org/package/gogol-storage-0.5.0/docs/Network-Google-Storage-Types.html#g:51 |
| 2021-07-21 02:50:22 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-07-21 02:50:28 | <c_wraith> | You should never *search* the haddocks. |
| 2021-07-21 02:51:45 | <dsal> | I didn't know about the `s` thing. When did computers gain capabilities? |
| 2021-07-21 02:52:34 | × | horatioh2 quits (~horatiohb@161.35.107.60) (Ping timeout: 268 seconds) |
| 2021-07-21 02:54:47 | <c_wraith> | in the big haddock output redesign a few years ago |
| 2021-07-21 02:54:58 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-21 02:55:58 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-21 02:59:33 | × | alx741 quits (~alx741@186.178.108.174) (Quit: alx741) |
| 2021-07-21 03:00:06 | × | Null_A quits (~null_a@2601:645:8700:2290:51:7614:ed:3f42) (Remote host closed the connection) |
| 2021-07-21 03:03:40 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-21 03:04:22 | → | pisenbig joins (~user@49.5.6.87) |
| 2021-07-21 03:05:22 | <pisenbig> | let i = Just "abc", how to `isPrefixOf "ab" i` get a Bool for if-else-then? |
| 2021-07-21 03:05:40 | <pisenbig> | isPrefixOf "ab" <$> i would get [Bool] |
| 2021-07-21 03:05:50 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-07-21 03:05:53 | <pisenbig> | and if-then-else need a Bool, not [Bool] |
| 2021-07-21 03:06:58 | <pisenbig> | and inside IO's do notation, can we use >>= for Maybe? |
| 2021-07-21 03:07:42 | <pisenbig> | main = do {let i = Nothing; i >>= (\n -> if isPrefixOf "ab" n then ...) } ok? |
| 2021-07-21 03:08:10 | <h98> | yes ish but probably not in the way you're thinking, >>= will work on the "top" monad layer if you have m1 ( m2 ( ...)) |
| 2021-07-21 03:08:15 | × | guest720 quits (~user@49.5.6.87) (Ping timeout: 265 seconds) |
| 2021-07-21 03:08:30 | <geekosaur> | sometimes you just want to pattern match |
| 2021-07-21 03:08:36 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds) |
| 2021-07-21 03:10:02 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-21 03:10:38 | → | pisenbig223 joins (~user@49.5.6.87) |
| 2021-07-21 03:10:47 | <pisenbig223> | would Nothing shortcircle whole IO's computation? |
| 2021-07-21 03:11:23 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.0.1) |
| 2021-07-21 03:11:48 | <geekosaur> | it would shortcircuit the isPrefixOf but not the IO |
| 2021-07-21 03:12:47 | <pisenbig223> | and what about if-then-else? |
| 2021-07-21 03:12:48 | × | pisenbig quits (~user@49.5.6.87) (Ping timeout: 258 seconds) |
| 2021-07-21 03:14:49 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@69.4.234.80) (Quit: Leaving) |
| 2021-07-21 03:15:25 | <geekosaur> | again, sometimes you just want to pattern match. or use fromMaybe |
| 2021-07-21 03:15:28 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-21 03:16:03 | <geekosaur> | :t fromMaybe False (isPrefixOf "abc" <$> Just "a") |
| 2021-07-21 03:16:04 | <lambdabot> | Bool |
| 2021-07-21 03:16:27 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-21 03:17:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-21 03:17:08 | <geekosaur> | change the Flase to True if you want Nothing to evaluate to True |
| 2021-07-21 03:17:51 | × | pisenbig223 quits (~user@49.5.6.87) (Ping timeout: 268 seconds) |
| 2021-07-21 03:17:55 | <geekosaur> | *False |
| 2021-07-21 03:18:00 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-21 03:18:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-21 03:20:02 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-21 03:22:11 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-07-21 03:26:29 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2021-07-21 03:29:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-21 03:29:55 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 2021-07-21 03:30:29 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 250 seconds) |
| 2021-07-21 03:32:11 | → | pisenbig222 joins (~user@49.5.6.87) |
| 2021-07-21 03:32:39 | × | juhp quits (~juhp@128.106.188.66) (Ping timeout: 268 seconds) |
| 2021-07-21 03:32:43 | <pisenbig222> | in IO's donation, how to shortcircle if-then-else? |
| 2021-07-21 03:34:32 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-21 03:35:43 | × | tubogram quits (~tubogram@user/tubogram) (Quit: See ya later!) |
| 2021-07-21 03:35:46 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 2021-07-21 03:36:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-21 03:37:05 | × | chris_ quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-21 03:38:09 | <c_wraith> | pisenbig222: are you typing on a phone? If so, you might want to watch out for autocorrect. |
All times are in UTC.