Data.MessagePack.Monad

Monadic Stream Serializers and Deserializers

Classes

class Monad m => MonadPacker m where

Methods

put :: OBJECT a => a -> m ()

Serialize a object

Instances

MonadIO m => MonadPacker (PackerT m)

class Monad m => MonadUnpacker m where

Methods

get :: OBJECT a => m a

Deserialize a object

Instances

MonadIO m => MonadUnpacker (UnpackerT m)

Packer and Unpacker type

newtype PackerT m r

Serializer Type

Constructors

PackerT

Fields

runPackerT :: Packer -> m r

Instances

MonadTrans PackerT

Monad m => Monad (PackerT m)

MonadIO m => MonadIO (PackerT m)

MonadIO m => MonadPacker (PackerT m)

newtype UnpackerT m r

Deserializer type

Constructors

UnpackerT

Fields

runUnpackerT :: Unpacker -> Feeder -> m r

Instances

MonadTrans UnpackerT

Monad m => Monad (UnpackerT m)

MonadIO m => MonadIO (UnpackerT m)

MonadIO m => MonadUnpacker (UnpackerT m)

Packers

packToString :: MonadIO m => PackerT m r -> m ByteString

Execute given serializer and returns byte sequence.

packToHandle :: MonadIO m => Handle -> PackerT m r -> m ()

Execute given serializer and write byte sequence to Handle.

packToFile :: MonadIO m => FilePath -> PackerT m r -> m ()

Execute given serializer and write byte sequence to file.

Unpackers

unpackFrom :: MonadIO m => Feeder -> UnpackerT m r -> m r

Execute deserializer using given feeder.

unpackFromString :: MonadIO m => ByteString -> UnpackerT m r -> m r

Execute deserializer from given byte sequence.

unpackFromHandle :: MonadIO m => Handle -> UnpackerT m r -> m r

Execute deserializer using given handle.

unpackFromFile :: MonadIO m => FilePath -> UnpackerT m r -> m r

Execute deserializer using given file content.