haskell – 如何从happs转换 – > happstack？

2023年2月24日 143次阅读

任何人都可以帮我“翻译”下面的从幸福到快乐的堆栈：

module Main where

import HAppS.Server.AlternativeHTTP
import HAppS.Server.HTTP.AltFileServe
import Control.Monad.State
import Numeric

import Contracts

instance FromData ExContr where
  fromData = do c    <- look "contract"
                arg1 <- look "arg1"
                arg2 <- look "arg2"
                img  <- look "image"
                return $ExContr (c, map fst $readFloat arg1
                                            ++ readFloat arg2, read img)

main :: IO ()
main = do simpleHTTP [dir "contractEx"
                        [withData $\(ExContr t) ->
                           [anyRequest $liftIO $liftM toResponse =<< renderEx (ExContr t)]
                        ,anyRequest $ok $toResponse renderExDefault]
                     ,fileServe ["Contracts.html"] "public" -- fileserving


   ]

Contracts.hs包含：

newtype ExContr = ExContr (String, [Double], Bool) deriving (Read,Show,Eq)

renderEx :: ExContr -> IO Html
 renderEx exSpec@(ExContr (contractId, args, lattice)) =
   let pr = evalEx exSpec
       expValChart = if contractId == "probs" then noHtml -- expected value is meaningless for the probabilities it relies on
                     else h3 << "Expected value" +++ image ! [src (chartUrl $expectedValuePr pr)]
       imageType = "png"
   in if useLatticeImage exSpec
      then do baseName <- mkUniqueName baseDotFilename
              exitCode <- latticeImage pr (webPath ++ tmpImgPath ++ baseName) imageType
              let pageContents =
                    case exitCode of
                      ExitSuccess -> renderExampleForm exSpec (image ! [src latticeUrl, border 1]) expValChart
                                      where latticeUrl = "/" ++ tmpImgPath ++ baseName ++ "." ++ imageType
                      _ -> p << "renderEx: error generating lattice image"
              return $renderExamplePage pageContents
      else return $renderExamplePage $renderExampleForm exSpec (prToTable pr) expValChart

renderExDefault = renderExamplePage $
                 renderExampleForm (ExContr ("zcb", [fromIntegral t1Horizon, 10], True))
                                   noHtml noHtml

另外,我想了解如何安装与上述代码兼容的旧版HappS.不用说,我对Haskell很新.

最佳答案 这应该有效,假设你的代码中没有提供的ExContr类型和renderEx函数与我在这里的类似.我实际上无法运行您的代码以确保它的行为相同.

module Main where

import Control.Monad
import Control.Monad.Trans (liftIO)
import Happstack.Server.Internal.Monads (anyRequest)
import Happstack.Server.SimpleHTTP
import Happstack.Server.FileServe
import Numeric

-- data ExContr = ExContr (String, [Double], String)


-- renderEx :: ExContr -> IO String
-- renderEx = undefined

instance FromData ExContr where
  fromData = do c    <- look "contract"
                arg1 <- look "arg1"
                arg2 <- look "arg2"
                img  <- look "image" 
                return $ExContr (c, map fst $readFloat arg1
                                            ++ readFloat arg2, read img)

main :: IO ()
main = do
  simpleHTTP (nullConf { port = 80 }) $msum [
         dir "contractEx" $withData $\(ExContr t) -> msum $[
                anyRequest $fmap toResponse $liftIO $renderEx (ExContr t)
              , anyRequest $ok $toResponse renderExDefault
              ]
       , serveDirectory DisableBrowsing ["Contracts.html"] "public"
       ]

编辑：忘记了renderExDefault行.

点赞