jake
jake
This PR clears the `CHANGELOG.md` for future revisions/releases
Currently [Language.Spectacle.Interaction.Options](https://github.com/awakesecurity/spectacle/blob/main/src/Language/Spectacle/Interaction/Options.hs) uses a file `Handle` to write model checker logs to a file if the user provides an output path with `--output`/`-o` and is subsequently closed when CLI is...
Draft for now.
Removes several redundant folds that were used in `Message` / `MessageField` instances: - Changes `foldMap f . Map.toList` in favor of `Map.foldrWithKey` - Removes identities `Foldable.toList :: [(k, v)] ->...
This PR isolates `Proto3.Suite.DotProto.AST` into separate package `proto3-suite-ast`.
Protocol buffer enumerations are not generated with `Enum` instances. They are generated with instances to `Bounded` and `Ord`, so there shouldn't be anything preventing `Enum` from also being provided by...
- Added a `Parser RawPrimitive String` decoder - Added a roundtrip test for the new combinator and the existing `String` encoder - Formatted `proto3-wire.cabal` - Fixed `.gitignore`
Minor change improving the AST by removing the `DotProtoEmptyField` constructor from the `DotProtoField`. This constructor complicated the AST and was needed nowhere.