├── README.md ├── client ├── .env.development ├── .gitignore ├── .proxyrc.js ├── .psc-ide-port ├── .vscode │ └── settings.json ├── craco.config.js ├── dev │ ├── index.html │ └── index.js ├── package.json ├── packages.dhall ├── spago.dhall ├── src │ ├── Data │ │ ├── Argonaut │ │ │ └── JSONDateTime.purs │ │ └── UUID │ │ │ └── Argonaut.purs │ ├── Foreign │ │ ├── Toast.js │ │ └── Toast.purs │ ├── GenTypesDemo │ │ ├── API │ │ │ ├── Auth.purs │ │ │ ├── Call.purs │ │ │ ├── Error.purs │ │ │ └── Types.purs │ │ ├── Aggregate │ │ │ ├── Class.purs │ │ │ └── Events.purs │ │ ├── AppM.purs │ │ ├── Capability │ │ │ ├── Global.purs │ │ │ ├── Halo.purs │ │ │ ├── Log.purs │ │ │ ├── Now.purs │ │ │ ├── Routing.purs │ │ │ └── Users.purs │ │ ├── Component │ │ │ ├── GlobalContext.purs │ │ │ ├── NewUserRow.purs │ │ │ └── Routing.purs │ │ ├── Config.js │ │ ├── Config.purs │ │ ├── Data │ │ │ ├── Log.purs │ │ │ └── Route.purs │ │ ├── Page │ │ │ └── Home.purs │ │ ├── Root.purs │ │ └── Utilities │ │ │ └── Email.purs │ ├── Main.purs │ ├── ServerAPI.purs │ ├── input.css │ └── styles.css ├── tailwind.config.js ├── test │ └── Main.purs ├── theme.js └── yarn.lock ├── demo.gif └── server ├── .gitignore ├── ChangeLog.md ├── LICENSE ├── Setup.hs ├── app └── Main.hs ├── codegen.sh ├── codegen └── Main.hs ├── gentypes-server.cabal ├── hie.yaml ├── package.yaml ├── run.sh ├── src └── GenTypesDemo │ ├── API │ ├── Auth.hs │ ├── CodeGen.hs │ ├── Definition.hs │ ├── DomainError.hs │ ├── ManageUsers.hs │ ├── Types.hs │ └── Types │ │ └── NotEmptyText.hs │ └── Run.hs ├── stack.yaml ├── stack.yaml.lock └── test └── Spec.hs /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/README.md -------------------------------------------------------------------------------- /client/.env.development: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/.env.development -------------------------------------------------------------------------------- /client/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/.gitignore -------------------------------------------------------------------------------- /client/.proxyrc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/.proxyrc.js -------------------------------------------------------------------------------- /client/.psc-ide-port: -------------------------------------------------------------------------------- 1 | 15476 -------------------------------------------------------------------------------- /client/.vscode/settings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/.vscode/settings.json -------------------------------------------------------------------------------- /client/craco.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/craco.config.js -------------------------------------------------------------------------------- /client/dev/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/dev/index.html -------------------------------------------------------------------------------- /client/dev/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/dev/index.js -------------------------------------------------------------------------------- /client/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/package.json -------------------------------------------------------------------------------- /client/packages.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/packages.dhall -------------------------------------------------------------------------------- /client/spago.dhall: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/spago.dhall -------------------------------------------------------------------------------- /client/src/Data/Argonaut/JSONDateTime.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/Data/Argonaut/JSONDateTime.purs -------------------------------------------------------------------------------- /client/src/Data/UUID/Argonaut.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/Data/UUID/Argonaut.purs -------------------------------------------------------------------------------- /client/src/Foreign/Toast.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/Foreign/Toast.js -------------------------------------------------------------------------------- /client/src/Foreign/Toast.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/Foreign/Toast.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/API/Auth.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/API/Auth.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/API/Call.purs: -------------------------------------------------------------------------------- 1 | module GenTypesDemo.API.Call where 2 | 3 | import Prelude -------------------------------------------------------------------------------- /client/src/GenTypesDemo/API/Error.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/API/Error.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/API/Types.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/API/Types.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Aggregate/Class.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Aggregate/Class.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Aggregate/Events.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Aggregate/Events.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/AppM.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/AppM.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Capability/Global.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Capability/Global.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Capability/Halo.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Capability/Halo.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Capability/Log.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Capability/Log.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Capability/Now.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Capability/Now.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Capability/Routing.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Capability/Routing.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Capability/Users.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Capability/Users.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Component/GlobalContext.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Component/GlobalContext.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Component/NewUserRow.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Component/NewUserRow.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Component/Routing.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Component/Routing.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Config.js -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Config.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Config.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Data/Log.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Data/Log.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Data/Route.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Data/Route.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Page/Home.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Page/Home.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Root.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Root.purs -------------------------------------------------------------------------------- /client/src/GenTypesDemo/Utilities/Email.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/GenTypesDemo/Utilities/Email.purs -------------------------------------------------------------------------------- /client/src/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/Main.purs -------------------------------------------------------------------------------- /client/src/ServerAPI.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/ServerAPI.purs -------------------------------------------------------------------------------- /client/src/input.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/input.css -------------------------------------------------------------------------------- /client/src/styles.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/src/styles.css -------------------------------------------------------------------------------- /client/tailwind.config.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/tailwind.config.js -------------------------------------------------------------------------------- /client/test/Main.purs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/test/Main.purs -------------------------------------------------------------------------------- /client/theme.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/theme.js -------------------------------------------------------------------------------- /client/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/client/yarn.lock -------------------------------------------------------------------------------- /demo.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/demo.gif -------------------------------------------------------------------------------- /server/.gitignore: -------------------------------------------------------------------------------- 1 | .stack-work/ 2 | *~ 3 | .vscode 4 | -------------------------------------------------------------------------------- /server/ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/ChangeLog.md -------------------------------------------------------------------------------- /server/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/LICENSE -------------------------------------------------------------------------------- /server/Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /server/app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/app/Main.hs -------------------------------------------------------------------------------- /server/codegen.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/codegen.sh -------------------------------------------------------------------------------- /server/codegen/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/codegen/Main.hs -------------------------------------------------------------------------------- /server/gentypes-server.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/gentypes-server.cabal -------------------------------------------------------------------------------- /server/hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/hie.yaml -------------------------------------------------------------------------------- /server/package.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/package.yaml -------------------------------------------------------------------------------- /server/run.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | stack run gentypes-server-exe 3 | -------------------------------------------------------------------------------- /server/src/GenTypesDemo/API/Auth.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/API/Auth.hs -------------------------------------------------------------------------------- /server/src/GenTypesDemo/API/CodeGen.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/API/CodeGen.hs -------------------------------------------------------------------------------- /server/src/GenTypesDemo/API/Definition.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/API/Definition.hs -------------------------------------------------------------------------------- /server/src/GenTypesDemo/API/DomainError.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/API/DomainError.hs -------------------------------------------------------------------------------- /server/src/GenTypesDemo/API/ManageUsers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/API/ManageUsers.hs -------------------------------------------------------------------------------- /server/src/GenTypesDemo/API/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/API/Types.hs -------------------------------------------------------------------------------- /server/src/GenTypesDemo/API/Types/NotEmptyText.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/API/Types/NotEmptyText.hs -------------------------------------------------------------------------------- /server/src/GenTypesDemo/Run.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/src/GenTypesDemo/Run.hs -------------------------------------------------------------------------------- /server/stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/stack.yaml -------------------------------------------------------------------------------- /server/stack.yaml.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/stack.yaml.lock -------------------------------------------------------------------------------- /server/test/Spec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/dnikolovv/servant-purescript-codegen-example/HEAD/server/test/Spec.hs --------------------------------------------------------------------------------