├── .editorconfig ├── .github ├── linters │ └── .ecrc └── workflows │ ├── ci-lib.yml │ └── ci-super-linter.yml ├── .gitignore ├── .idris-version ├── LICENSE ├── README.md ├── docs ├── docs.ipkg └── src │ ├── Docs │ └── Tutorial.md │ └── README.md ├── json.ipkg ├── pack.toml ├── simple ├── json-simple.ipkg ├── src │ ├── Derive │ │ ├── FromJSON │ │ │ └── Simple.idr │ │ └── ToJSON │ │ │ └── Simple.idr │ └── JSON │ │ ├── Simple.idr │ │ └── Simple │ │ ├── Derive.idr │ │ ├── FromJSON.idr │ │ ├── Option.idr │ │ └── ToJSON.idr └── test │ ├── src │ └── Main.idr │ └── test.ipkg ├── src ├── Derive │ ├── FromJSON.idr │ └── ToJSON.idr ├── JSON.idr └── JSON │ ├── Derive.idr │ ├── Encoder.idr │ ├── FromJSON.idr │ ├── Option.idr │ └── ToJSON.idr └── test ├── src └── Main.idr └── test.ipkg /.editorconfig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/.editorconfig -------------------------------------------------------------------------------- /.github/linters/.ecrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/.github/linters/.ecrc -------------------------------------------------------------------------------- /.github/workflows/ci-lib.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/.github/workflows/ci-lib.yml -------------------------------------------------------------------------------- /.github/workflows/ci-super-linter.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/.github/workflows/ci-super-linter.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | *.*~ 3 | -------------------------------------------------------------------------------- /.idris-version: -------------------------------------------------------------------------------- 1 | v0.5.1-324-g7c5650e9 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/README.md -------------------------------------------------------------------------------- /docs/docs.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/docs/docs.ipkg -------------------------------------------------------------------------------- /docs/src/Docs/Tutorial.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/docs/src/Docs/Tutorial.md -------------------------------------------------------------------------------- /docs/src/README.md: -------------------------------------------------------------------------------- 1 | ../../README.md -------------------------------------------------------------------------------- /json.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/json.ipkg -------------------------------------------------------------------------------- /pack.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/pack.toml -------------------------------------------------------------------------------- /simple/json-simple.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/json-simple.ipkg -------------------------------------------------------------------------------- /simple/src/Derive/FromJSON/Simple.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/src/Derive/FromJSON/Simple.idr -------------------------------------------------------------------------------- /simple/src/Derive/ToJSON/Simple.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/src/Derive/ToJSON/Simple.idr -------------------------------------------------------------------------------- /simple/src/JSON/Simple.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/src/JSON/Simple.idr -------------------------------------------------------------------------------- /simple/src/JSON/Simple/Derive.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/src/JSON/Simple/Derive.idr -------------------------------------------------------------------------------- /simple/src/JSON/Simple/FromJSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/src/JSON/Simple/FromJSON.idr -------------------------------------------------------------------------------- /simple/src/JSON/Simple/Option.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/src/JSON/Simple/Option.idr -------------------------------------------------------------------------------- /simple/src/JSON/Simple/ToJSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/src/JSON/Simple/ToJSON.idr -------------------------------------------------------------------------------- /simple/test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/test/src/Main.idr -------------------------------------------------------------------------------- /simple/test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/simple/test/test.ipkg -------------------------------------------------------------------------------- /src/Derive/FromJSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/Derive/FromJSON.idr -------------------------------------------------------------------------------- /src/Derive/ToJSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/Derive/ToJSON.idr -------------------------------------------------------------------------------- /src/JSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/JSON.idr -------------------------------------------------------------------------------- /src/JSON/Derive.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/JSON/Derive.idr -------------------------------------------------------------------------------- /src/JSON/Encoder.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/JSON/Encoder.idr -------------------------------------------------------------------------------- /src/JSON/FromJSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/JSON/FromJSON.idr -------------------------------------------------------------------------------- /src/JSON/Option.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/JSON/Option.idr -------------------------------------------------------------------------------- /src/JSON/ToJSON.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/src/JSON/ToJSON.idr -------------------------------------------------------------------------------- /test/src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/test/src/Main.idr -------------------------------------------------------------------------------- /test/test.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stefan-hoeck/idris2-json/HEAD/test/test.ipkg --------------------------------------------------------------------------------