├── .github └── workflows │ └── haskell.yml ├── .gitignore ├── ChangeLog.md ├── LICENSE ├── Readme.lhs ├── Readme.md ├── Setup.hs ├── example ├── .gitignore ├── .obelisk │ └── impl │ │ ├── default.nix │ │ ├── github.json │ │ └── thunk.nix ├── README.md ├── backend │ ├── backend.cabal │ ├── frontend.jsexe │ ├── frontendJs │ │ └── frontend.jsexe │ ├── src-bin │ │ └── main.hs │ ├── src │ │ ├── Backend.lhs │ │ └── Backend.md │ └── static ├── cabal.project ├── common │ ├── common.cabal │ └── src │ │ └── Common │ │ ├── Api.hs │ │ └── Route.hs ├── config │ ├── common │ │ ├── example │ │ └── route │ └── readme.md ├── default.nix ├── frontend │ ├── frontend.cabal │ ├── src-bin │ │ └── main.hs │ └── src │ │ └── Frontend.hs └── static │ └── pico.classless.min.css ├── reflex-gadt-api.cabal ├── release.nix ├── shell.nix └── src └── Reflex └── Dom ├── GadtApi.hs └── GadtApi ├── WebSocket.hs └── XHR.hs /.github/workflows/haskell.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/.github/workflows/haskell.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | dist-newstyle -------------------------------------------------------------------------------- /ChangeLog.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/ChangeLog.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/LICENSE -------------------------------------------------------------------------------- /Readme.lhs: -------------------------------------------------------------------------------- 1 | Readme.md -------------------------------------------------------------------------------- /Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/Readme.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /example/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/.gitignore -------------------------------------------------------------------------------- /example/.obelisk/impl/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/.obelisk/impl/default.nix -------------------------------------------------------------------------------- /example/.obelisk/impl/github.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/.obelisk/impl/github.json -------------------------------------------------------------------------------- /example/.obelisk/impl/thunk.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/.obelisk/impl/thunk.nix -------------------------------------------------------------------------------- /example/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/README.md -------------------------------------------------------------------------------- /example/backend/backend.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/backend/backend.cabal -------------------------------------------------------------------------------- /example/backend/frontend.jsexe: -------------------------------------------------------------------------------- 1 | ../frontend-js/bin/frontend.jsexe -------------------------------------------------------------------------------- /example/backend/frontendJs/frontend.jsexe: -------------------------------------------------------------------------------- 1 | ../../frontend-js/bin/frontend.jsexe -------------------------------------------------------------------------------- /example/backend/src-bin/main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/backend/src-bin/main.hs -------------------------------------------------------------------------------- /example/backend/src/Backend.lhs: -------------------------------------------------------------------------------- 1 | Backend.md -------------------------------------------------------------------------------- /example/backend/src/Backend.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/backend/src/Backend.md -------------------------------------------------------------------------------- /example/backend/static: -------------------------------------------------------------------------------- 1 | ../static -------------------------------------------------------------------------------- /example/cabal.project: -------------------------------------------------------------------------------- 1 | optional-packages: 2 | * 3 | write-ghc-environment-files: never 4 | -------------------------------------------------------------------------------- /example/common/common.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/common/common.cabal -------------------------------------------------------------------------------- /example/common/src/Common/Api.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/common/src/Common/Api.hs -------------------------------------------------------------------------------- /example/common/src/Common/Route.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/common/src/Common/Route.hs -------------------------------------------------------------------------------- /example/config/common/example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/config/common/example -------------------------------------------------------------------------------- /example/config/common/route: -------------------------------------------------------------------------------- 1 | http://localhost:8000 -------------------------------------------------------------------------------- /example/config/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/config/readme.md -------------------------------------------------------------------------------- /example/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/default.nix -------------------------------------------------------------------------------- /example/frontend/frontend.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/frontend/frontend.cabal -------------------------------------------------------------------------------- /example/frontend/src-bin/main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/frontend/src-bin/main.hs -------------------------------------------------------------------------------- /example/frontend/src/Frontend.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/frontend/src/Frontend.hs -------------------------------------------------------------------------------- /example/static/pico.classless.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/example/static/pico.classless.min.css -------------------------------------------------------------------------------- /reflex-gadt-api.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/reflex-gadt-api.cabal -------------------------------------------------------------------------------- /release.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/release.nix -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- 1 | (import ./release.nix).${builtins.currentSystem}.package.env 2 | -------------------------------------------------------------------------------- /src/Reflex/Dom/GadtApi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/src/Reflex/Dom/GadtApi.hs -------------------------------------------------------------------------------- /src/Reflex/Dom/GadtApi/WebSocket.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/src/Reflex/Dom/GadtApi/WebSocket.hs -------------------------------------------------------------------------------- /src/Reflex/Dom/GadtApi/XHR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/reflex-frp/reflex-gadt-api/HEAD/src/Reflex/Dom/GadtApi/XHR.hs --------------------------------------------------------------------------------