Newest at the top
2024-05-20 16:38:44 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-20 16:36:51 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-05-20 16:36:11 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) |
2024-05-20 16:36:10 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-05-20 16:34:33 +0200 | zetef | (~quassel@5.2.182.99) |
2024-05-20 16:20:12 +0200 | danse-nr3 | (~danse-nr3@151.57.192.203) (Ping timeout: 260 seconds) |
2024-05-20 16:09:54 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
2024-05-20 16:06:34 +0200 | rvalue | (~rvalue@user/rvalue) |
2024-05-20 16:06:04 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
2024-05-20 16:05:44 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) () |
2024-05-20 16:04:34 +0200 | yin | (~yin@user/zero) |
2024-05-20 16:03:40 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
2024-05-20 16:00:30 +0200 | <lambdabot> | System.Process.Typed data StreamType |
2024-05-20 16:00:30 +0200 | <lambdabot> | Streamly.Internal.Data.Stream.Serial type StreamT = SerialT |
2024-05-20 16:00:30 +0200 | <lambdabot> | Streamly type StreamT = SerialT |
2024-05-20 16:00:30 +0200 | <carbolymer> | @hoogle StreamT |
2024-05-20 15:59:29 +0200 | <carbolymer> | I'm wondering if there's a datatype in hackage similar to `data Stream m a = StreamT (m a) (m (Stream m a))` |
2024-05-20 15:57:27 +0200 | <carbolymer> | yeah maybe untilJust is a good idea |
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) |