I am looking for example of POST request to a HTTP service

bigos · July 20, 2025, 8:47pm

I am trying a simple example with the Flame framework. I want to extend it so that it sends a POST request to a service and decodes the JSON response.

The Pursuit makes no sense to me, so I ask you for a link to an example that will work.

bigos · July 20, 2025, 11:29pm

github.com

JordanMartinez/purescript-cookbook/blob/master/recipes/AffjaxPostNode/src/Main.purs

module AffjaxPostNode.Main where

import Data.Argonaut

import Affjax.Node as AX
import Affjax.RequestBody (json)
import Affjax.ResponseFormat as ResponseFormat
import Data.Argonaut as J
import Data.Either (Either(..))
import Data.Maybe (Maybe(..))
import Effect (Effect)
import Effect.Aff (launchAff_)
import Effect.Class.Console (log)
import Prelude (Unit, bind, show, ($), (<>))

-- expected response: (at least if `http://jsonplaceholder.typicode.com/posts` is available to you)
-- POST http://jsonplaceholder.typicode.com/posts response: (Right { body: "body", id: (Just 101), title: "title", userId: 22 })

type Post =
  { id :: Maybe Int

This file has been truncated. show original

I found it in PureScript-Cookbook almost by accident. Google is useless.

bigos · July 21, 2025, 12:56am

github.com

bigos/trying-elm-ui/blob/6a1b830d45f7f21a01e22a49bd65a4dfd7277b4d/vendor/purescript/flame/counter/src/Main.purs#L112


      
            FAE.diff <<< { result: _ } $ case response of
              Left error → Error $ A.printError error
              Right payload → Ok payload.body
          FetchFiles -> do
            display $ FAE.diff' { resulFiles: FetchingFile }
            -- https://github.com/JordanMartinez/purescript-cookbook/blob/d6256a70d609fabeb3674dad62fb4d436895b1c6/recipes/AffjaxPostNode/src/Main.purs#L46
            response <-
              ( A.post AR.json ((fromMaybe "" model.flags.base_url) <> "/api/list-files")
                  ( Just
                      ( AR.json
                          ( fetchingFilePostToJson
                              ( -- FetchingFilePost "/home/jacek/" false
                                { pwd: "/home/jacek/"
                                , show_hidden: false
                                }
                              )
                          )
                      )
                  )
          
          
    )

I still do not know how to encode the values