2024/03/28

Newest at the top

2024-03-28 15:21:01 +0100mechap(~mechap@user/mechap) (Ping timeout: 268 seconds)
2024-03-28 15:18:10 +0100magus3(~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 +0100lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2024-03-28 14:54:53 +0100waleee(~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 +0100bwe_bwe
2024-03-28 14:45:16 +0100tri(~tri@ool-18bbef1a.static.optonline.net)
2024-03-28 14:30:46 +0100hackyhacker(~hackyhack@194.78.171.126)
2024-03-28 14:22:08 +0100 <ph88> :D
2024-03-28 14:21:34 +0100mmhat(~mmh@p200300f1c706a268ee086bfffe095315.dip0.t-ipconnect.de)
2024-03-28 14:21:13 +0100mmhat(~mmh@p200300f1c706a2a6ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2024-03-28 14:21:09 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
2024-03-28 14:19:03 +0100noumenon(~noumenon@113.51-175-156.customer.lyse.net)
2024-03-28 14:18:26 +0100magus3(~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 +0100mechap(~mechap@user/mechap)
2024-03-28 14:15:00 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2024-03-28 14:14:49 +0100magus3(~Thunderbi@189.6.35.139) (Ping timeout: 256 seconds)
2024-03-28 14:14:41 +0100mechap(~mechap@user/mechap)
2024-03-28 14:14:14 +0100mechap(~mechap@user/mechap) (Max SendQ exceeded)
2024-03-28 14:13:55 +0100mechap(~mechap@user/mechap)
2024-03-28 14:08:59 +0100danse-nr3(~danse-nr3@151.47.128.56) (Ping timeout: 264 seconds)
2024-03-28 13:56:04 +0100magus3(~Thunderbi@189.6.35.139)
2024-03-28 13:52:24 +0100magus3(~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 +0100tv(~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 +0100euleritian(~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de)
2024-03-28 13:41:26 +0100danse-nr3(~danse-nr3@151.47.128.56)
2024-03-28 13:41:01 +0100danse-nr3(~danse-nr3@151.47.128.56) (Remote host closed the connection)
2024-03-28 13:40:30 +0100waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-03-28 13:40:15 +0100euleritian(~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-28 13:32:53 +0100tv(~tv@user/tv) (Ping timeout: 256 seconds)
2024-03-28 13:31:47 +0100euleritian(~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 +0100euleritian(~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 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2024-03-28 13:25:02 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-03-28 13:24:44 +0100euleritian(~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-03-28 13:23:54 +0100magus3(~Thunderbi@189.6.35.139)
2024-03-28 13:19:52 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1)
2024-03-28 13:14:55 +0100euleritian(~euleritia@dynamic-176-006-202-041.176.6.pool.telefonica.de)
2024-03-28 13:14:25 +0100euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds)