| 2025-05-05 00:00:19 +0200 | <hellwolf> | that becomes the essence of the if-then-else control structure, the codegen will translate that to the target language code, which is rather short. |
| 2025-05-05 00:02:43 +0200 | <hellwolf> | in contrast, my current YulITE :: YulCat eff a b -> YulCat eff a b -> YulCat eff (BOOL, a) b |
| 2025-05-05 00:03:16 +0200 | <EvanR> | Yultide |
| 2025-05-05 00:03:55 +0200 | <hellwolf> | the currently one doesn't compose, makes some code duplication. Anyways, perhaps too specific. |
| 2025-05-05 00:06:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-05 00:07:10 +0200 | Square2 | (~Square@user/square) (Quit: Leaving) |
| 2025-05-05 00:07:36 +0200 | Square2 | (~Square@user/square) Square |
| 2025-05-05 00:08:29 +0200 | Square2 | (~Square@user/square) (Client Quit) |
| 2025-05-05 00:08:33 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2025-05-05 00:18:43 +0200 | Typedfern | (~Typedfern@213.red-83-37-26.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2025-05-05 00:18:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-05 00:23:16 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-05 00:29:31 +0200 | sm | (znc@plaintextaccounting/sm) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
| 2025-05-05 00:31:10 +0200 | sm | (znc@plaintextaccounting/sm) sm |
| 2025-05-05 00:34:44 +0200 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-05-05 00:50:49 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-05-05 00:52:27 +0200 | jbalint | (~jbalint@syn-071-090-119-177.res.spectrum.com) |
| 2025-05-05 00:55:47 +0200 | sprotte24 | (~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) |
| 2025-05-05 00:58:05 +0200 | <hellwolf> | here you go, |
| 2025-05-05 00:58:08 +0200 | <hellwolf> | YulCurry :: forall eff a b c. YulO3 a b c => YulCat eff (a ⊗ b) c -> YulCat eff a (YulCat eff b c) |
| 2025-05-05 00:58:12 +0200 | <hellwolf> | YulSwitch :: [(B32, YulCat eff a b)] -> YulCat eff (a ⊗ B32) b |
| 2025-05-05 00:58:17 +0200 | <hellwolf> | a curry and a switch, job done. |
| 2025-05-05 00:59:06 +0200 | <hellwolf> | no more specialized ITE, but a switch statement, which the target langauge is using anyways. |
| 2025-05-05 00:59:36 +0200 | <hellwolf> | YulSwitch constructs the specialized switch statement |
| 2025-05-05 00:59:48 +0200 | <hellwolf> | and curry is general categorical operation |
| 2025-05-05 01:00:37 +0200 | <hellwolf> | YulCurry (YulSwitch [(True, ..), (False, ..)]) :: YulCat eff (a ⊗ BOOL) c |
| 2025-05-05 01:01:21 +0200 | <hellwolf> | to complete, apply is: |
| 2025-05-05 01:01:21 +0200 | <hellwolf> | YulApply :: forall eff a b. YulO2 a b => YulCat eff (YulCat eff a b ⊗ a) b |
| 2025-05-05 01:01:24 +0200 | <hellwolf> | good night. |
| 2025-05-05 01:15:06 +0200 | Googulator33 | (~Googulato@2a01-036d-0106-4a24-1dc7-297e-fae3-e794.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-05-05 01:20:30 +0200 | sajenim | (~sajenim@user/sajenim) sajenim |
| 2025-05-05 01:21:16 +0200 | sprotte24 | (~sprotte24@p200300d16f243100f18c0be91bdc6e3d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-05-05 01:21:50 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-05-05 01:25:10 +0200 | Square | (~Square@user/square) Square |
| 2025-05-05 01:28:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e71c4f52d4f1201e65d300bb.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-05-05 01:34:04 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 01:37:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-05-05 01:37:35 +0200 | Axma14181 | (~Axman6@user/axman6) Axman6 |
| 2025-05-05 01:39:49 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-05-05 01:40:26 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-05 01:40:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 01:41:38 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-05 01:41:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 2025-05-05 01:43:19 +0200 | <monochrom> | onoes, is that the much fabled monad with tensor strength? |
| 2025-05-05 01:46:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-05 01:46:02 +0200 | ljdarj1 | ljdarj |
| 2025-05-05 01:55:21 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-05 01:56:54 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-05 01:56:54 +0200 | ljdarj1 | ljdarj |
| 2025-05-05 02:00:21 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-05-05 02:07:02 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:08:34 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 2025-05-05 02:10:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-05 02:12:41 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-05 02:14:58 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 02:16:29 +0200 | sm | (znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:17:01 +0200 | sm_ | (~znc@plaintextaccounting/sm) (Ping timeout: 276 seconds) |
| 2025-05-05 02:17:16 +0200 | finsternis | (~X@23.226.237.192) finsternis |
| 2025-05-05 02:18:21 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-05 02:26:42 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-05-05 02:29:49 +0200 | haskellbridge | shapr stretches a monad to check its tensor strength |
| 2025-05-05 02:32:17 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-05-05 02:33:59 +0200 | <monochrom> | haha |
| 2025-05-05 02:35:31 +0200 | califax | (~califax@user/califx) califx |
| 2025-05-05 02:36:01 +0200 | Tikosh | (~Tikosh@user/Tikosh) Tikosh |
| 2025-05-05 02:36:58 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Ping timeout: 252 seconds) |
| 2025-05-05 02:37:01 +0200 | <Tikosh> | I have taffybar and am attempting to put a battery widget on my taffybar with no luck. does anyone know any documentation or know how to make a battery widget for taffybar? |
| 2025-05-05 02:39:10 +0200 | <geekosaur> | there's a slight chance you'll do better asking in #xmonad, fwiw |
| 2025-05-05 02:39:48 +0200 | <Tikosh> | alright! thanks |
| 2025-05-05 02:39:57 +0200 | Tikosh | (~Tikosh@user/Tikosh) () |
| 2025-05-05 02:55:19 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 02:57:25 +0200 | sm | (znc@plaintextaccounting/sm) (Ping timeout: 248 seconds) |
| 2025-05-05 02:58:49 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-05-05 03:05:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-05 03:07:42 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-05-05 03:07:43 +0200 | la1n2 | (~la1n@176.59.41.59) (Read error: Connection reset by peer) |
| 2025-05-05 03:09:13 +0200 | la1n2 | (~la1n@109.197.204.68) |
| 2025-05-05 03:11:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 03:12:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-05 03:28:00 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 03:28:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-05-05 03:32:45 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.92)) |
| 2025-05-05 03:33:02 +0200 | sm | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 03:33:48 +0200 | sm_ | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2025-05-05 03:38:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-05-05 03:40:11 +0200 | tolgo | (~Thunderbi@199.115.144.130) |
| 2025-05-05 03:41:04 +0200 | tolgo | (~Thunderbi@199.115.144.130) (Client Quit) |
| 2025-05-05 03:42:07 +0200 | sm_ | (~znc@plaintextaccounting/sm) sm |
| 2025-05-05 03:44:04 +0200 | sm | (~znc@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2025-05-05 03:49:51 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 252 seconds) |
| 2025-05-05 03:57:00 +0200 | mulk | (~mulk@pd95149c0.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-05-05 03:57:07 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) smalltalkman |
| 2025-05-05 03:58:27 +0200 | mulk | (~mulk@p5b2dca5a.dip0.t-ipconnect.de) mulk |
| 2025-05-05 04:09:56 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-05-05 04:11:20 +0200 | img | (~img@user/img) img |
| 2025-05-05 04:15:36 +0200 | td_ | (~td@i53870915.versanet.de) (Ping timeout: 252 seconds) |
| 2025-05-05 04:17:22 +0200 | td_ | (~td@i5387090D.versanet.de) td_ |
| 2025-05-05 04:17:26 +0200 | joeyadams | (~textual@syn-162-154-010-038.res.spectrum.com) |
| 2025-05-05 04:22:38 +0200 | mulk | (~mulk@p5b2dca5a.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 2025-05-05 04:25:32 +0200 | mulk | (~mulk@p5b2dc83b.dip0.t-ipconnect.de) mulk |
| 2025-05-05 04:33:39 +0200 | droideqa | (uid499291@user/droideqa) droideqa |
| 2025-05-05 04:53:31 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-05-05 04:58:52 +0200 | Square | (~Square@user/square) (Ping timeout: 276 seconds) |
| 2025-05-05 05:08:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-05-05 05:14:50 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-05-05 05:16:24 +0200 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-05 05:21:49 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-05 05:22:20 +0200 | inedia_ | inedia |
| 2025-05-05 05:23:56 +0200 | jmcantrell_ | unterzicht |
| 2025-05-05 05:33:20 +0200 | unterzicht | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.2) |
| 2025-05-05 05:33:40 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-05 05:37:09 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) () |
| 2025-05-05 05:42:56 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
| 2025-05-05 05:44:02 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-05-05 05:44:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 05:46:32 +0200 | sp1ff` | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2025-05-05 05:47:13 +0200 | aforemny_ | (~aforemny@i59F4C6FD.versanet.de) (Ping timeout: 272 seconds) |
| 2025-05-05 05:47:19 +0200 | aforemny | (~aforemny@2001:9e8:6ce9:ae00:f066:85cb:935a:63da) aforemny |
| 2025-05-05 05:49:05 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (NickServ (GHOST command used by unterzicht!~weechat@user/jmcantrell))) |
| 2025-05-05 05:49:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) |
| 2025-05-05 06:03:24 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-05-05 06:05:25 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
| 2025-05-05 06:06:42 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@2a03:6000:1812:100::1150) (Changing host) |
| 2025-05-05 06:07:17 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) jmcantrell |
| 2025-05-05 06:11:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 252 seconds) |
| 2025-05-05 06:16:32 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) robobub |
| 2025-05-05 06:17:14 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-05 06:17:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-05-05 06:18:57 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-05-05 06:21:39 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) () |
| 2025-05-05 06:23:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@116-255-1-119.ip4.superloop.au) (Changing host) |
| 2025-05-05 06:24:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) dibblego |
| 2025-05-05 06:28:22 +0200 | <Square2> | A 3rd party dependency requires me to use https://hackage.haskell.org/package/base-4.16.3.0/docs/Numeric-Natural.html |
| 2025-05-05 06:28:55 +0200 | <Square2> | Sadly there are dead links to source and the "NS" constructor they link |
| 2025-05-05 06:29:56 +0200 | <Square2> | Anyone know what's up with that? |
| 2025-05-05 06:32:36 +0200 | <EvanR> | I was about to pull up the source another way |
| 2025-05-05 06:33:28 +0200 | <EvanR> | https://hackage.haskell.org/package/ghc-bignum-1.2/docs/src/GHC.Num.Natural.html#Natural |
| 2025-05-05 06:34:20 +0200 | <EvanR> | which is where it seemed to want to go but the haddocks had weird urls |
| 2025-05-05 06:35:57 +0200 | <EvanR> | (I wonder if it was unintentional for WORD_MAXBOUND in the doc comment to be preprocessed) |
| 2025-05-05 06:36:08 +0200 | <Square2> | Thanks. I seemed to get past the hurdle |
| 2025-05-05 06:36:31 +0200 | <Square2> | ghci let me create one with "123 :: Natural" |
| 2025-05-05 06:36:56 +0200 | <Square2> | ...and hopefully I'll get by with some fromInteger/toInteger hackery in my code. =D |
| 2025-05-05 06:38:01 +0200 | user363627 | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-05-05 06:38:02 +0200 | <EvanR> | > fromInteger 123 :: Natural |
| 2025-05-05 06:38:04 +0200 | <lambdabot> | error: |
| 2025-05-05 06:38:04 +0200 | <lambdabot> | Not in scope: type constructor or class ‘Natural’ |
| 2025-05-05 06:38:09 +0200 | <EvanR> | :( |
| 2025-05-05 06:38:18 +0200 | <monochrom> | yahb2 probably has it. |
| 2025-05-05 06:38:19 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-05-05 06:38:21 +0200 | <EvanR> | @let import Data.Natural |
| 2025-05-05 06:38:21 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:110:1: error: |
| 2025-05-05 06:38:21 +0200 | <lambdabot> | Could not find module ‘Data.Natural’ |
| 2025-05-05 06:38:21 +0200 | <lambdabot> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 2025-05-05 06:38:24 +0200 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-05-05 06:38:32 +0200 | jmcantrell_ | jmcantrell |
| 2025-05-05 06:38:35 +0200 | <monochrom> | Numeric.Natural |
| 2025-05-05 06:38:39 +0200 | <EvanR> | @let import Numeric.Natural |
| 2025-05-05 06:38:40 +0200 | <lambdabot> | Defined. |
| 2025-05-05 06:38:44 +0200 | <EvanR> | > fromInteger 123 :: Natural |
| 2025-05-05 06:38:45 +0200 | <lambdabot> | 123 |
| 2025-05-05 06:38:50 +0200 | <EvanR> | > fromInteger (-123) :: Natural |
| 2025-05-05 06:38:51 +0200 | <lambdabot> | *Exception: arithmetic underflow |
| 2025-05-05 06:39:16 +0200 | <EvanR> | error: unnatural |
| 2025-05-05 06:44:36 +0200 | <EvanR> | :t naturalBit |
| 2025-05-05 06:44:37 +0200 | <lambdabot> | error: Variable not in scope: naturalBit |
| 2025-05-05 06:46:44 +0200 | <EvanR> | if ghc-bignum is a dependency of base and every program has base as a dependency does that mean every program depends on ghc-bignum |
| 2025-05-05 06:50:09 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-05-05 06:58:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) |
| 2025-05-05 07:00:00 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
| 2025-05-05 07:00:00 +0200 | tavare | (~tavare@user/tavare) tavare |
| 2025-05-05 07:00:02 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-05-05 07:02:18 +0200 | <probie> | EvanR: Programs which depend on an old enough version of base certainly don't depend on ghc-bignum |
| 2025-05-05 07:03:43 +0200 | la1n23 | (~la1n@45.129.78.70) |
| 2025-05-05 07:06:06 +0200 | la1n2 | (~la1n@109.197.204.68) (Ping timeout: 252 seconds) |
| 2025-05-05 07:06:33 +0200 | erdem | (~null@user/erdem) (Leaving) |