Data.Binary.Generic.Extensions

You can build your own type-specific stacks. For example the default stack looks like this, whereas the ordering determines, which function matches first for a specific type. This especially allows you to override the default choices:

 getExtDefault    :: Typeable a => Get a -> Get a
 getExtDefault     = getExtInteger
                   . getExtChar
                   . getExtWord
                   . getExtInt
                   . getExtFloat
                   . getExtText
                   . getExtByteString

 putExtDefault    :: Typeable a => (a -> Put) -> a -> Put
 putExtDefault     = putExtInteger
                   . putExtChar
                   . putExtWord
                   . putExtInt
                   . putExtFloat
                   . putExtText
                   . putExtByteString

Notice that these stacks have to be grounded, ideally with something that handles algebraic types. Have a look at Data.Binary.Generic how this is done for the default stack.

IMPORTANT: You cannot simply apply an extension to getGeneric or putGeneric, since these do a recursive call at the bottom level which points to the top of the stack.

Documentation

extGet :: (Monad m, Typeable a, Typeable b) => m b -> m a -> m a

extPut :: (Typeable a, Typeable b) => (b -> q) -> (a -> q) -> a -> q

getExtDefault :: Typeable a => Get a -> Get a

putExtDefault :: Typeable a => (a -> Put) -> a -> Put

getExtInteger :: Typeable a => Get a -> Get a

putExtInteger :: Typeable a => (a -> Put) -> a -> Put

getExtChar :: Typeable a => Get a -> Get a

putExtChar :: Typeable a => (a -> Put) -> a -> Put

getExtWord :: Typeable a => Get a -> Get a

putExtWord :: Typeable a => (a -> Put) -> a -> Put

getExtInt :: Typeable a => Get a -> Get a

putExtInt :: Typeable a => (a -> Put) -> a -> Put

getExtFloat :: Typeable a => Get a -> Get a

putExtFloat :: Typeable a => (a -> Put) -> a -> Put

getExtText :: Typeable a => Get a -> Get a

putExtText :: Typeable a => (a -> Put) -> a -> Put

getExtByteString :: Typeable a => Get a -> Get a

putExtByteString :: Typeable a => (a -> Put) -> a -> Put