├── .gitignore ├── Eq.yml ├── LICENSE ├── Makefile ├── README.md ├── examples ├── captureResponse.idr └── noCapture.idr ├── package.ipkg └── src ├── Derive ├── Common.idr ├── Enum.idr ├── Newtype.idr └── Prim.idr ├── Network └── Curl │ ├── Easy.idr │ ├── Global.idr │ ├── Multi.idr │ ├── Network.idr │ ├── Prim.idr │ ├── Prim │ ├── Easy.idr │ ├── Global.idr │ ├── Mime.idr │ ├── Multi.idr │ └── Other.idr │ ├── Types.idr │ └── Types │ ├── Code.idr │ ├── CurlECode.idr │ ├── CurlEOption.idr │ ├── CurlMCode.idr │ ├── CurlMOption.idr │ ├── Handle.idr │ ├── OptType.idr │ └── SSL.idr └── Util.idr /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/.gitignore -------------------------------------------------------------------------------- /Eq.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/Eq.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/README.md -------------------------------------------------------------------------------- /examples/captureResponse.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/examples/captureResponse.idr -------------------------------------------------------------------------------- /examples/noCapture.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/examples/noCapture.idr -------------------------------------------------------------------------------- /package.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/package.ipkg -------------------------------------------------------------------------------- /src/Derive/Common.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Derive/Common.idr -------------------------------------------------------------------------------- /src/Derive/Enum.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Derive/Enum.idr -------------------------------------------------------------------------------- /src/Derive/Newtype.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Derive/Newtype.idr -------------------------------------------------------------------------------- /src/Derive/Prim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Derive/Prim.idr -------------------------------------------------------------------------------- /src/Network/Curl/Easy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Easy.idr -------------------------------------------------------------------------------- /src/Network/Curl/Global.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Global.idr -------------------------------------------------------------------------------- /src/Network/Curl/Multi.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Multi.idr -------------------------------------------------------------------------------- /src/Network/Curl/Network.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Network.idr -------------------------------------------------------------------------------- /src/Network/Curl/Prim.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Prim.idr -------------------------------------------------------------------------------- /src/Network/Curl/Prim/Easy.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Prim/Easy.idr -------------------------------------------------------------------------------- /src/Network/Curl/Prim/Global.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Prim/Global.idr -------------------------------------------------------------------------------- /src/Network/Curl/Prim/Mime.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Prim/Mime.idr -------------------------------------------------------------------------------- /src/Network/Curl/Prim/Multi.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Prim/Multi.idr -------------------------------------------------------------------------------- /src/Network/Curl/Prim/Other.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Prim/Other.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/Code.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/Code.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/CurlECode.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/CurlECode.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/CurlEOption.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/CurlEOption.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/CurlMCode.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/CurlMCode.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/CurlMOption.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/CurlMOption.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/Handle.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/Handle.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/OptType.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/OptType.idr -------------------------------------------------------------------------------- /src/Network/Curl/Types/SSL.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Network/Curl/Types/SSL.idr -------------------------------------------------------------------------------- /src/Util.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MarcelineVQ/idris2-curl/HEAD/src/Util.idr --------------------------------------------------------------------------------