├── .envrc ├── .gitignore ├── Dockerfile ├── LICENSE.txt ├── Makefile ├── README.md ├── client ├── .gitignore ├── Makefile ├── packages.dhall ├── spago.dhall └── src │ ├── Books │ ├── Create.purs │ ├── Delete.purs │ ├── Edit.purs │ ├── List.purs │ └── Shared.purs │ ├── Client.purs │ ├── Main.purs │ ├── Navigation.purs │ ├── Shared.purs │ └── shared ├── deployment ├── build_no ├── label ├── major_ver └── minor_ver ├── files └── gatsby.json ├── migrating.txt ├── priv └── www │ ├── assets │ ├── bootstrap-4.2.1-dist │ │ ├── css │ │ │ ├── bootstrap-grid.css │ │ │ ├── bootstrap-grid.css.map │ │ │ ├── bootstrap-grid.min.css │ │ │ ├── bootstrap-grid.min.css.map │ │ │ ├── bootstrap-reboot.css │ │ │ ├── bootstrap-reboot.css.map │ │ │ ├── bootstrap-reboot.min.css │ │ │ ├── bootstrap-reboot.min.css.map │ │ │ ├── bootstrap.css │ │ │ ├── bootstrap.css.map │ │ │ ├── bootstrap.min.css │ │ │ └── bootstrap.min.css.map │ │ └── js │ │ │ ├── bootstrap.bundle.js │ │ │ ├── bootstrap.bundle.js.map │ │ │ ├── bootstrap.bundle.min.js │ │ │ ├── bootstrap.bundle.min.js.map │ │ │ ├── bootstrap.js │ │ │ ├── bootstrap.js.map │ │ │ ├── bootstrap.min.js │ │ │ └── bootstrap.min.js.map │ └── dashboard.css │ └── index.html ├── rebar.config ├── rebar.config.script ├── rebar.lock ├── release-files └── sys.config ├── run ├── run_docker_image.sh ├── server ├── .gitignore ├── Makefile ├── packages.dhall ├── shell.nix ├── spago.dhall └── src │ ├── BookApp.purs │ ├── BookConfig.erl │ ├── BookConfig.purs │ ├── BookLibrary.purs │ ├── BookSup.purs │ ├── BookWeb.purs │ ├── CounterExample.purs │ ├── EmptyGenServer.purs │ ├── HandleInfoExample.purs │ ├── MonitorExample.erl │ ├── MonitorExample.purs │ ├── Native │ ├── Redis.erl │ └── Redis.purs │ ├── OneForOneGen.erl │ ├── OneForOneGen.purs │ ├── OneForOneSup.purs │ ├── ProcessSpawnLink.purs │ └── shared ├── shared ├── Books.purs ├── GenericJson.purs └── Routes.purs ├── shell.nix └── src └── demo_ps.app.src /.envrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/.envrc -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/.gitignore -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/README.md -------------------------------------------------------------------------------- /client/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/.gitignore -------------------------------------------------------------------------------- /client/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/Makefile -------------------------------------------------------------------------------- /client/packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/packages.dhall -------------------------------------------------------------------------------- /client/spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/spago.dhall -------------------------------------------------------------------------------- /client/src/Books/Create.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Books/Create.purs -------------------------------------------------------------------------------- /client/src/Books/Delete.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Books/Delete.purs -------------------------------------------------------------------------------- /client/src/Books/Edit.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Books/Edit.purs -------------------------------------------------------------------------------- /client/src/Books/List.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Books/List.purs -------------------------------------------------------------------------------- /client/src/Books/Shared.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Books/Shared.purs -------------------------------------------------------------------------------- /client/src/Client.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Client.purs -------------------------------------------------------------------------------- /client/src/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Main.purs -------------------------------------------------------------------------------- /client/src/Navigation.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Navigation.purs -------------------------------------------------------------------------------- /client/src/Shared.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/client/src/Shared.purs -------------------------------------------------------------------------------- /client/src/shared: -------------------------------------------------------------------------------- 1 | ../../shared/ -------------------------------------------------------------------------------- /deployment/build_no: -------------------------------------------------------------------------------- 1 | 8 2 | -------------------------------------------------------------------------------- /deployment/label: -------------------------------------------------------------------------------- 1 | v0.0.8-master 2 | -------------------------------------------------------------------------------- /deployment/major_ver: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /deployment/minor_ver: -------------------------------------------------------------------------------- 1 | 0 2 | -------------------------------------------------------------------------------- /files/gatsby.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/files/gatsby.json -------------------------------------------------------------------------------- /migrating.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/migrating.txt -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.css -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.css.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.min.css -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-grid.min.css.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.css -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.css.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.min.css -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap-reboot.min.css.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.css -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.css.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.min.css -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.min.css.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/css/bootstrap.min.css.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.js -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.js.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.min.js -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.min.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.bundle.min.js.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.js -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.js.map -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.min.js -------------------------------------------------------------------------------- /priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.min.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/bootstrap-4.2.1-dist/js/bootstrap.min.js.map -------------------------------------------------------------------------------- /priv/www/assets/dashboard.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/assets/dashboard.css -------------------------------------------------------------------------------- /priv/www/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/priv/www/index.html -------------------------------------------------------------------------------- /rebar.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/rebar.config -------------------------------------------------------------------------------- /rebar.config.script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/rebar.config.script -------------------------------------------------------------------------------- /rebar.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/rebar.lock -------------------------------------------------------------------------------- /release-files/sys.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/release-files/sys.config -------------------------------------------------------------------------------- /run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/run -------------------------------------------------------------------------------- /run_docker_image.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/run_docker_image.sh -------------------------------------------------------------------------------- /server/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/.gitignore -------------------------------------------------------------------------------- /server/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/Makefile -------------------------------------------------------------------------------- /server/packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/packages.dhall -------------------------------------------------------------------------------- /server/shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/shell.nix -------------------------------------------------------------------------------- /server/spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/spago.dhall -------------------------------------------------------------------------------- /server/src/BookApp.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/BookApp.purs -------------------------------------------------------------------------------- /server/src/BookConfig.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/BookConfig.erl -------------------------------------------------------------------------------- /server/src/BookConfig.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/BookConfig.purs -------------------------------------------------------------------------------- /server/src/BookLibrary.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/BookLibrary.purs -------------------------------------------------------------------------------- /server/src/BookSup.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/BookSup.purs -------------------------------------------------------------------------------- /server/src/BookWeb.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/BookWeb.purs -------------------------------------------------------------------------------- /server/src/CounterExample.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/CounterExample.purs -------------------------------------------------------------------------------- /server/src/EmptyGenServer.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/EmptyGenServer.purs -------------------------------------------------------------------------------- /server/src/HandleInfoExample.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/HandleInfoExample.purs -------------------------------------------------------------------------------- /server/src/MonitorExample.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/MonitorExample.erl -------------------------------------------------------------------------------- /server/src/MonitorExample.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/MonitorExample.purs -------------------------------------------------------------------------------- /server/src/Native/Redis.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/Native/Redis.erl -------------------------------------------------------------------------------- /server/src/Native/Redis.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/Native/Redis.purs -------------------------------------------------------------------------------- /server/src/OneForOneGen.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/OneForOneGen.erl -------------------------------------------------------------------------------- /server/src/OneForOneGen.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/OneForOneGen.purs -------------------------------------------------------------------------------- /server/src/OneForOneSup.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/OneForOneSup.purs -------------------------------------------------------------------------------- /server/src/ProcessSpawnLink.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/server/src/ProcessSpawnLink.purs -------------------------------------------------------------------------------- /server/src/shared: -------------------------------------------------------------------------------- 1 | ../../shared/ -------------------------------------------------------------------------------- /shared/Books.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/shared/Books.purs -------------------------------------------------------------------------------- /shared/GenericJson.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/shared/GenericJson.purs -------------------------------------------------------------------------------- /shared/Routes.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/shared/Routes.purs -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/shell.nix -------------------------------------------------------------------------------- /src/demo_ps.app.src: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/id3as/demo-ps/HEAD/src/demo_ps.app.src --------------------------------------------------------------------------------