input-output-hk/typed-protocols

Issues

• Extend stateful API

  #59 opened a year ago by coot
  0

• Improve Haddocks

  #57 opened a year ago by coot
  0

• typed-fsm

  #49 opened a year ago by sdzx-1
  0

• Using IndexMonad to improve typed-protocols

  #25 opened 3 years ago by sdzx-1
  9

• typed-protocols-docs: add option to export dot files

  #47 opened 2 years ago by coot
  0

• Experiment with a custom `Sing` type family and `SingI` instances.

  #6 opened 2 years ago by coot
  3

• [typed-protocols]: Fix the contra-tracer mess

  #38 opened 2 years ago by erikd
  4

• Update typed-protocols to build with ghc-9.6

  #33 opened 3 years ago by erikd
  3

• Publish typed-protocols packages on Hackage

  #12 opened 3 years ago by coot
  0

• When using Cardano Haskell package repository, typed-protocols fails to build.

  #21 opened 3 years ago by jonathangenlambda
  6

• Add bounds where appropriate

  #19 opened 3 years ago by michaelpj
  1

• Publish a version of typed-protocols to CHaP that is compatible with the newly released io-sim packages

  #17 opened 3 years ago by michaelpj
  1

• Move this repo to use CHaP

  #18 opened 3 years ago by michaelpj
  1

• Experiment with a bearer which allows to avoid extra threads in a Driver

  #7 opened 3 years ago by coot
  0