
  0 | module Pact.Client
  1 | 
  2 | import Network.HTTP
  3 | import Utils.String
  4 | import public Pact.Client.Core
  5 | import public Network.HTTP.URL
  6 | import Data.Either
  7 | 
  8 | import Control.Monad.Either
  9 | 
 10 | test : String
 11 | test = "Hello from Idris2!"
 12 | 
 13 | url2 : String
 14 | url2 = "https://www.mugeda.com/"
 15 | 
 16 | main: IO ()
 17 | main = do
 18 |   Right _ <- runEitherT $ get (url' url2)
 19 |   | Left err => printLn err
 20 |   pure ()