├── .gitignore ├── Data ├── Bool │ └── BoolTheorems.idr ├── Nat │ └── NatTheorems.idr └── String │ └── StringUtils.idr ├── LICENSE ├── Network ├── DefaultHttpEngine.idr ├── ST │ ├── IOUtils.idr │ └── TcpSockets.idr └── Wai.idr ├── README.md ├── examples ├── PerfTest.jmx └── Simple.idr └── http4idris.ipkg /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/.gitignore -------------------------------------------------------------------------------- /Data/Bool/BoolTheorems.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/Data/Bool/BoolTheorems.idr -------------------------------------------------------------------------------- /Data/Nat/NatTheorems.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/Data/Nat/NatTheorems.idr -------------------------------------------------------------------------------- /Data/String/StringUtils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/Data/String/StringUtils.idr -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/LICENSE -------------------------------------------------------------------------------- /Network/DefaultHttpEngine.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/Network/DefaultHttpEngine.idr -------------------------------------------------------------------------------- /Network/ST/IOUtils.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/Network/ST/IOUtils.idr -------------------------------------------------------------------------------- /Network/ST/TcpSockets.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/Network/ST/TcpSockets.idr -------------------------------------------------------------------------------- /Network/Wai.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/Network/Wai.idr -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/README.md -------------------------------------------------------------------------------- /examples/PerfTest.jmx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/examples/PerfTest.jmx -------------------------------------------------------------------------------- /examples/Simple.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/examples/Simple.idr -------------------------------------------------------------------------------- /http4idris.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/A1kmm/http4idris/HEAD/http4idris.ipkg --------------------------------------------------------------------------------