Newest at the top
2024-05-20 15:41:16 +0200 | <danse-nr3> | well i was thinking of something like untilJust anyways |
2024-05-20 15:39:48 +0200 | <ncf> | you can use /query to figure it out |
2024-05-20 15:39:24 +0200 | <yahb2> | <no location info>: error: ; Could not find module ‘Control.Monad.Extra’ ; Perhaps you meant ; Control.Monad.Catch (from exceptions-0.10.5) ; Control.Monad.Error (from mtl-2.2.2... |
2024-05-20 15:39:24 +0200 | <danse-nr3> | % import Control.Monad.Extra |
2024-05-20 15:39:18 +0200 | <danse-nr3> | huh i forgot how to use the bots ... |
2024-05-20 15:37:52 +0200 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
2024-05-20 15:37:50 +0200 | <danse-nr3> | > import Control.Monad.Extra |
2024-05-20 15:37:45 +0200 | <danse-nr3> | import Control.Monad.Extra |
2024-05-20 15:37:05 +0200 | <ncf> | if so, you could just have poll :: IO Thing; then, given a callback :: Thing -> IO (Maybe x), you have untilJust (poll >>= callback) :: IO x |
2024-05-20 15:36:53 +0200 | <lambdabot> | Language.C.Syntax While :: Exp -> Stm -> SrcLoc -> Stm |
2024-05-20 15:36:53 +0200 | <lambdabot> | Development.NSIS while :: Exp Bool -> Action () -> Action () |
2024-05-20 15:36:53 +0200 | <lambdabot> | Sound.Tidal.UI while :: Pattern Bool -> (Pattern a -> Pattern a) -> Pattern a -> Pattern a |
2024-05-20 15:36:53 +0200 | <danse-nr3> | @hoogle while |
2024-05-20 15:36:40 +0200 | <lambdabot> | error: Variable not in scope: while |
2024-05-20 15:36:39 +0200 | <danse-nr3> | :t while |
2024-05-20 15:35:07 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
2024-05-20 15:33:47 +0200 | <ncf> | but in your use case, they're all doing the same polling action, right? |
2024-05-20 15:33:05 +0200 | <carbolymer> | no because those are `IO Thing`, so each element can do whatever IO action it wants |
2024-05-20 15:33:04 +0200 | haveo | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.2) |
2024-05-20 15:30:26 +0200 | <ncf> | wouldn't all the elements of the list be the same? |
2024-05-20 15:29:47 +0200 | <carbolymer> | myFunction is polling some data source every 500ms, I guess it could be possible to do `[IO Thing]` ... |
2024-05-20 15:28:28 +0200 | <carbolymer> | hmm, maybe [IO Thing] ... |
2024-05-20 15:27:59 +0200 | <carbolymer> | it does |
2024-05-20 15:27:54 +0200 | <ncf> | or does reading require IO |
2024-05-20 15:27:38 +0200 | <ncf> | myFunction :: [Thing] ? |
2024-05-20 15:25:42 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-05-20 15:25:21 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-05-20 15:25:20 +0200 | <carbolymer> | I have a function executing a callback function endlessly. The callback type should allow stopping of the processing. I'm wondering what's the best way to represent this type? e.g. https://bpa.st/N6HQ |
2024-05-20 15:23:36 +0200 | ocra8 | (ocra8@user/ocra8) (Ping timeout: 256 seconds) |
2024-05-20 15:23:33 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) |
2024-05-20 15:20:10 +0200 | sayola | (~sayola@ip-109-42-243-154.web.vodafone.de) (Read error: Connection reset by peer) |
2024-05-20 15:20:06 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-05-20 15:12:02 +0200 | haveo | (~weechat@pacamara.iuwt.fr) |
2024-05-20 15:11:38 +0200 | haveo_ | (~weechat@pacamara.iuwt.fr) (Quit: WeeChat 4.2.1) |
2024-05-20 15:06:51 +0200 | <dmj`> | unique within a record |
2024-05-20 15:04:30 +0200 | <dmj`> | https://hackage.haskell.org/package/generic-lens-2.2.2.0/docs/Data-Generics-Product-Typed.html |
2024-05-20 15:04:13 +0200 | <dmj`> | markasoftware_: generic-lens has a getTyped accessor (myUser ^. typed @EmailAddress), some limitations though, the types /have/ to be unique. |
2024-05-20 14:56:49 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
2024-05-20 14:54:40 +0200 | <markasoftware_> | I know IxSet does some similar stuff internally to make `ixGen` work but I'm wondering if there's any simple standalone module for it |
2024-05-20 14:54:18 +0200 | <markasoftware_> | is there a library providing an easy way to get a field of a Data-implementing type with the given type? If all the fields of my type have unique types, it'd be much nicer to be able to say `getField myUser :: EmailAddress` rather than either (a) having to declare it as a proper record with accessors or (b) having to destructure it |
2024-05-20 14:43:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 14:40:09 +0200 | agent314 | (~quassel@184.75.215.3) |
2024-05-20 14:39:05 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) |
2024-05-20 14:38:37 +0200 | agent314_ | (~quassel@184.75.215.3) (Quit: No Ping reply in 180 seconds.) |
2024-05-20 14:32:52 +0200 | lg188 | (~lg188@82.18.98.230) (Quit: Bye.) |
2024-05-20 14:31:41 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 240 seconds) |
2024-05-20 14:18:44 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
2024-05-20 14:16:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-20 13:55:31 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-20 13:42:01 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |