bind-marshal-0.1: Data marshaling library that uses type level equations to optimize buffering.




type family BufferReq action Source

All actions have a buffering requirement. In the case of an action with a static data model the buffer requirement is the memory required by the marshaled data. XXX: All actions? Maybe easier to just have a StaticBufferReq that is only defined for static buffer actions.