search

input-output-hk / typed-protocols

Session types framework with support of protocol pipelining.
15 stars 4 forks source link

Improve Haddocks #57

Open coot opened 1 month ago

coot commented 1 month ago

Since GHC-9.2 haddock can be used in extra places, e.g. function arguments in record fields, or GADTs.

There are a few places in the code base which are marked with:

-- TODO: input-output-hk/typed-protocols#57