Duncan Coutts

Unboxed variants of hash tables

2

There are uses cases where compactness is quite important and we're working with unboxable types like Ints (or newtyped wrapped ints) where it'd be nice to have hash table that...

Distinguish error cases for same tx vs other tx spent some inputs

1

This is just an idea for now... It may be helpful for wallets (and similar clients) that need to re-submit txs for them to be able to get a distinction...

Unexpectedly using the initial state for an existing local disk state component

4

The behaviour of `openLocalState` is such that if there is existing on-disk state _but no checkpoint yet_, then it replays the events on top of the initial state passed to...

We should add support. https://datatracker.ietf.org/doc/html/draft-bormann-cbor-notable-tags#section-9 https://www.iana.org/assignments/cbor-tags/cbor-tags.xhtml ``` +============+=============+===================================+ | Tags | Data Item | Meaning | +============+=============+===================================+ | 121..127 | any | alternatives 0..6, 1+1 encoding | +------------+-------------+-----------------------------------+ | 1280..1400...

This is the tag 24 stuff. This should just be an optimisation. The semantic change is already available as `encodePreEncoded :: B.ByteString -> Encoding` This branch was done some time...

Extend CI to cover 32bit, ARM and integer-gmp

3

We'd ideally like to extend CI to cover configurations: * A 32bit build, either x86 or ARM * An ARM platform * GHC using `integer-simple` rather than `integer-gmp` * Windows...

Convenient API for reading/writing sequence-style files incrementally

7

We have an incremental API already but it's incremental in this sense: - for output, given the whole value to serialise, the output is produced and can be emitted incrementally...

Consider writing some CBOR extensions

4

There's a few CBOR spec extensions we might want to consider writing. The purpose would be to get generic CBOR tools be able to decode some things we might want...

There's a new CBOR tag we standardised recently: * Tag 258 * https://www.iana.org/assignments/cbor-tags/cbor-tags.xhtml * https://github.com/input-output-hk/cbor-sets-spec/blob/master/CBOR_SETS.md We should use this for the Serialise Set instance: we should use it on encoding...

Support `Rational`, `Fixed` and perhaps `Scientific` via CBOR decimal fractions or binary fractions (big floats)

2

[CBOR directly supports decimal and binary fractions](https://tools.ietf.org/html/rfc7049#page-17). These are numbers represented as `x*10^e` or `x*2^e`. The mantissa 'x' can be a positive or negative small int or a CBOR big...