binrep-0.3.1: Encode precise binary representations directly in types
Safe HaskellSafe-Inferred
LanguageHaskell2010

Binrep

Contents

Description

Main end-user binrep module bundling most functionality.

Generics are bundled together in Generic.

Synopsis

Documentation

module Binrep.Put

module Binrep.Get

Extras

blenViaPut :: Put a => a -> BLenT Source #

The length in bytes of a Put-able type is the length of the serialized term.

Do not use this in BLen instances. It's intended as a proof, and potentially for testing purposes. Calculating length in bytes shouldn't involve serializing (it should be fast and use minimal memory).