Newest at the top
2024-03-28 15:21:01 +0100 | mechap | (~mechap@user/mechap) (Ping timeout: 268 seconds) |
2024-03-28 15:18:10 +0100 | magus3 | (~Thunderbi@189.6.35.139) (Ping timeout: 256 seconds) |
2024-03-28 15:03:29 +0100 | <ncf> | can you be more specific |
2024-03-28 15:03:21 +0100 | <ncf> | surely what *type* is being used is not a property of the default *value* |
2024-03-28 15:02:23 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-03-28 14:54:53 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
2024-03-28 14:54:28 +0100 | <hackyhacker> | Does anyone know why this is? It gives me trouble because then I can't just use pack and unpack. |
2024-03-28 14:53:53 +0100 | <hackyhacker> | Hello I've been tinkering with Pandoc and the def object for the default reader and writer settings use Data.Text.Internal.Text instead of just the normal Text. |
2024-03-28 14:48:20 +0100 | bwe_ | bwe |
2024-03-28 14:45:16 +0100 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-03-28 14:30:46 +0100 | hackyhacker | (~hackyhack@194.78.171.126) |
2024-03-28 14:22:08 +0100 | <ph88> | :D |
2024-03-28 14:21:34 +0100 | mmhat | (~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de) |
2024-03-28 14:21:13 +0100 | mmhat | (~mmh@p200300f1c706a2a6ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-03-28 14:21:09 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-03-28 14:19:03 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
2024-03-28 14:18:26 +0100 | magus3 | (~Thunderbi@189.6.35.139) |
2024-03-28 14:17:27 +0100 | <jackdk> | ph88: great, I'm glad to hear it! |
2024-03-28 14:17:07 +0100 | <ph88> | jackdk, i just figured it out as you typed :P streamData :: MVar ServerState -> SockAddr -> WS.PendingConnection -> AppM () type WebSocketApi = "ws" :> RemoteHost :> WS.WebSocketPending api :: Proxy WebSocketApi |
2024-03-28 14:16:18 +0100 | <jackdk> | ph88: where is your declaration of `api` and the corresponding API type? |
2024-03-28 14:15:25 +0100 | mechap | (~mechap@user/mechap) |
2024-03-28 14:15:00 +0100 | mechap | (~mechap@user/mechap) (Max SendQ exceeded) |
2024-03-28 14:14:49 +0100 | magus3 | (~Thunderbi@189.6.35.139) (Ping timeout: 256 seconds) |
2024-03-28 14:14:41 +0100 | mechap | (~mechap@user/mechap) |
2024-03-28 14:14:14 +0100 | mechap | (~mechap@user/mechap) (Max SendQ exceeded) |
2024-03-28 14:13:55 +0100 | mechap | (~mechap@user/mechap) |
2024-03-28 14:08:59 +0100 | danse-nr3 | (~danse-nr3@151.47.128.56) (Ping timeout: 264 seconds) |
2024-03-28 13:56:04 +0100 | magus3 | (~Thunderbi@189.6.35.139) |
2024-03-28 13:52:24 +0100 | magus3 | (~Thunderbi@189.6.35.139) (Ping timeout: 260 seconds) |
2024-03-28 13:50:18 +0100 | <ph88> | jackdk, thanks. I'm not familiar with Capture parameters. This is my first servant project and i only have a single route. This is my code https://bpa.st/GQUA i need the ip address in websocketRoute. Where should i put an extra parameter ? |
2024-03-28 13:45:58 +0100 | tv | (~tv@user/tv) |
2024-03-28 13:45:07 +0100 | <jackdk> | ph88: That type has a `HasServer` instance in `servant-server`: https://hackage.haskell.org/package/servant-server-0.20/docs/src/Servant.Server.Internal.html#lineā¦ use it as you would a `Capture` parameter or whatever and your handler function should grow an extra parameter, that being the remote ip |
2024-03-28 13:41:29 +0100 | euleritian | (~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de) |
2024-03-28 13:41:26 +0100 | danse-nr3 | (~danse-nr3@151.47.128.56) |
2024-03-28 13:41:01 +0100 | danse-nr3 | (~danse-nr3@151.47.128.56) (Remote host closed the connection) |
2024-03-28 13:40:30 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-03-28 13:40:15 +0100 | euleritian | (~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-03-28 13:32:53 +0100 | tv | (~tv@user/tv) (Ping timeout: 256 seconds) |
2024-03-28 13:31:47 +0100 | euleritian | (~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de) |
2024-03-28 13:31:46 +0100 | <ph88> | ye there is something here https://hackage.haskell.org/package/wai-3.2.4/docs/Network-Wai.html#v:remoteHost i'll take a look whether i can use that |
2024-03-28 13:29:34 +0100 | <danse-nr3> | might be to be looked into some abstraction that is closer to the network. Not very knowledgeable about this ... maybe WAI? |
2024-03-28 13:29:32 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
2024-03-28 13:28:01 +0100 | <ph88> | How can i get the client ip in servant? I saw this https://hackage.haskell.org/package/servant-0.20.1/docs/Servant-API.html#t:RemoteHost i was expecting a function that gives the ip address |
2024-03-28 13:26:38 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-03-28 13:25:02 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-03-28 13:24:44 +0100 | euleritian | (~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-03-28 13:23:54 +0100 | magus3 | (~Thunderbi@189.6.35.139) |
2024-03-28 13:19:52 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
2024-03-28 13:14:55 +0100 | euleritian | (~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de) |
2024-03-28 13:14:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |