Use sublibraries

.github/workflows/github-page.yml

@@ -31,6 +31,9 @@ jobs:
       url: ${{ steps.deployment.outputs.page_url }}
 
     steps:
+    - name: Install pandoc
+      run: sudo apt install pandoc
+
     - name: Checkout ouroboros-network repository
       uses: actions/checkout@v4
 
@@ -54,9 +57,12 @@ jobs:
     - name: Build plan
       run: cabal build --dry-run --enable-tests all
 
+    - name: Run pandoc
+      run: pandoc --from=gfm --to=haddock --output=README.haddock README.md
+
     - name: Build Haddock documentation 🔧
       run: |
-        cabal haddock-project --hackage all
+        cabal haddock-project --prologue=README.haddock --hackage all
 
     - name: Upload artifacts
       uses: actions/upload-pages-artifact@v3

.github/workflows/haskell.yml

@@ -90,8 +90,8 @@ jobs:
     - name: Build projects [build]
       run: cabal build all
 
-    - name: typed-protocols-examples [test]
-      run: cabal run typed-protocols-examples:test
+    - name: typed-protocols:test
+      run: cabal run typed-protocols:test
 
     # - name: typed-protocols-doc [test]
     #   run: cabal test typed-protocols-doc

.gitignore

@@ -1 +1,2 @@
 dist-newstyle/
+README.haddock

README.md

@@ -12,16 +12,16 @@ A robust session type framework which supports [protocol pipelining][protocol-pi
 Public content
 --------------
 
-Duncan Coutts (@dcoutts) Haskell eXchange 2019 [talk][haskell-eXchange].
+[Duncan Coutts][dcoutts] Haskell eXchange 2019 [talk][haskell-eXchange].
 
-Monadic party workshop by Marcin Szamotulski (@coot):
+Monadic party workshop by Marcin Szamotulski ([coot]):
 * [part 1][monadic-party-part-1]
 * [part 2][monadic-party-part-2]
 * [part 2][monadic-party-part-3]
 
-Talk at [Haskell Love 2021][haskell-love] by Marcin Szamotulski (@coot), [slides][haskell-love-slides].
+Talk at [Haskell Love 2021][haskell-love] by Marcin Szamotulski ([coot]), [slides][haskell-love-slides].
 
-An [Agda][typed-protocols-agda] implementation by Marcin Szamotulski (@coot).
+An [Agda][typed-protocols-agda] implementation by Marcin Szamotulski ([coot]).
 
 
 [protocol-pipelining]: https://www.wikiwand.com/en/Protocol_pipelining
@@ -32,3 +32,5 @@ An [Agda][typed-protocols-agda] implementation by Marcin Szamotulski (@coot).
 [haskell-love-slides]: https://coot.me/posts/typed-protocols-at-haskell-love.html
 [haskell-love]: https://www.youtube.com/watch?v=EbK6VAqYh3g
 [typed-protocols-agda]: https://coot.me/agda/posts.agda.typed-protocols.html
+[coot]: https://github.com/coot
+[dcoutts]: https://github.com/dcoutts

cabal.project

@@ -15,10 +15,6 @@ index-state:
   , cardano-haskell-packages 2025-01-29T20:54:25Z
 
 packages: ./typed-protocols
-          ./typed-protocols-cborg
-          ./typed-protocols-stateful
-          ./typed-protocols-stateful-cborg
-          ./typed-protocols-examples
           ./typed-protocols-doc
 
 test-show-details: direct

scripts/check-stylish.sh

@@ -5,6 +5,4 @@ export LC_ALL=C.UTF-8
 
 [[ -x '/usr/bin/fd' ]] && FD="fd" ||  FD="fdfind"
 
-$FD . './typed-protocols' -e hs -E Setup.hs -E Core.hs -X stylish-haskell -c .stylish-haskell.yaml -i
-$FD . './typed-protocols-cborg' -e hs -E Setup.hs -X stylish-haskell -c .stylish-haskell.yaml -i
-$FD . './typed-protocols-examples' -e hs -E Setup.hs -E Channel.hs -X stylish-haskell -c .stylish-haskell.yaml -i
+$FD . './typed-protocols' -e hs -E Setup.hs -E Core.hs -E Channel.hs -X stylish-haskell -c .stylish-haskell.yaml -i