文件名称：responsible:Idris 2 HTTP Api服务器
文件大小：12KB
文件格式：ZIP
更新时间：2024-04-14 06:55:27
Idris
responsible responsible是一个Idris2 HTTP RESTful API服务器。 激励示例： import Control.App.Http main : Io () main = run $ serve "127.0.0.1:8000" $ route "hello" <$> [ get $ pure ok "Hello, Http !" , param $ \name => get $ pure $ ok $ "Hello, " ++ name ] 构建并运行： ./run.sh
【文件预览】：
responsible-main
----responsible.ipkg(405B)
----Examples()
--------Conduit.idr(2KB)
--------Model.idr(1KB)
--------Hello.idr(1015B)
----run.sh(48B)
----.gitignore(7B)
----Http.idr(447B)
----README.md(392B)
----build.sh(49B)
----Control()
--------App()
----clean.sh(22B)
----Data()
--------Http()