Drop the demo

It served two purposes: it was used during development for basic testing (now superseded by `test-grapesy` and `test-interop`) and as a demonstration of how to use the various `grapesy` features, now superseded by the tutorials.
well-typed · Oct 25, 2024 · 90534f5 · 90534f5
1 parent e4040a8
commit 90534f5
Show file tree

Hide file tree

Showing 23 changed files with 1 addition and 2,042 deletions.
diff --git a/grapesy/docs/stress-tests.md → dev/stress-tests.md b/grapesy/docs/stress-tests.md → dev/stress-tests.md
diff --git a/grapesy/demo-client/Demo/Client/API/Core/Greeter.hs b/grapesy/demo-client/Demo/Client/API/Core/Greeter.hs
diff --git a/grapesy/demo-client/Demo/Client/API/Core/NoFinal/Greeter.hs b/grapesy/demo-client/Demo/Client/API/Core/NoFinal/Greeter.hs
diff --git a/grapesy/demo-client/Demo/Client/API/Core/RouteGuide.hs b/grapesy/demo-client/Demo/Client/API/Core/RouteGuide.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/Conduit/RouteGuide.hs b/grapesy/demo-client/Demo/Client/API/StreamType/Conduit/RouteGuide.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/IO/Greeter.hs b/grapesy/demo-client/Demo/Client/API/StreamType/IO/Greeter.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/IO/Ping.hs b/grapesy/demo-client/Demo/Client/API/StreamType/IO/Ping.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/IO/RouteGuide.hs b/grapesy/demo-client/Demo/Client/API/StreamType/IO/RouteGuide.hs
diff --git a/grapesy/demo-client/Demo/Client/API/StreamType/MonadStack/Greeter.hs b/grapesy/demo-client/Demo/Client/API/StreamType/MonadStack/Greeter.hs