KC: Integrate Common Validated Proto Types - Githubissues

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

https://mlabs-haskell.github.io/lambda-buffers/

Apache License 2.0

29 stars 0 forks source link

KC: Integrate Common Validated Proto Types #26

Closed cstml closed 1 year ago

cstml commented 1 year ago

swap the existing interim types for the proto validated ones in the compiler
improve data structures - i.e. use Map instead of lists, Text etc.
break up the inference into smaller modules.
add tests.
add some missing low hanging class instances.