PipesCerealPlus

API for "pipes"

serializingProducer :: (Monad m, Applicative m, Serializable m a) => a -> Producer ByteString m ()

deserializingPipe :: (Monad m, Applicative m, Serializable m a) => Pipe ByteString a (EitherT Text m) ()

Reexports of "cereal-plus" types

class Serializable m a where

Support for serialization of a data type in a monadic context (e.g., IO, ST, STM, Identity), meaning that this can be used to provide serialization support for mutable data.

To use it in a pure context, refer to Identity monad.

Methods

serialize :: a -> Serialize m ()

deserialize :: Deserialize m a

Instances

Serializable m ZonedTime

Serializable m Word8

Serializable m Word64

Serializable m Word32

Serializable m Word16

Serializable m Word

Serializable m UniversalTime

Serializable m UTCTime

Serializable m TimeZone

Serializable m TimeOfDay

Serializable m Text

Serializable m LazyText

Serializable m Ordering

Serializable m NominalDiffTime

Serializable m LocalTime

Serializable m Integer

Serializable m IntSet

Serializable m Int8

Serializable m Int64

Serializable m Int32

Serializable m Int16

Serializable m Int

Serializable m Float

Serializable m Double

Serializable m DiffTime

Serializable m Day

Serializable m Char

Serializable m ByteString

Serializable m LazyByteString

Serializable m Bool

Serializable m Any

Serializable m All

Serializable m AbsoluteTime

Serializable m ()

Serializable IO a => Serializable IO (TVar a)

Serializable IO a => Serializable IO (IORef a)

Serializable IO a => Serializable IO (MVar a)

Serializable m a => Serializable m [a]

Serializable m a => Serializable m (Vector a)

(Serializable m a, Prim a) => Serializable m (PVector a)

(Serializable m a, Storable a) => Serializable m (SVector a)

(Serializable m a, Unbox a) => Serializable m (UVector a)

Serializable m a => Serializable m (Tree a)

Serializable m a => Serializable m (Sum a)

(Serializable m a, Ord a) => Serializable m (Set a)

Serializable m a => Serializable m (Seq a)

(Serializable m a, Integral a) => Serializable m (Ratio a)

Serializable m a => Serializable m (Product a)

Serializable m a => Serializable m (Maybe a)

Serializable m a => Serializable m (Last a)

Serializable m a => Serializable m (IntMap a)

Serializable m a => Serializable m (Identity a)

(Serializable m a, Hashable a, Eq a) => Serializable m (HashSet a)

(HasResolution a, Fractional (Fixed a)) => Serializable m (Fixed a)

Serializable m a => Serializable m (First a)

Serializable m a => Serializable m (Dual a)

Serializable STM a => Serializable STM (TVar a)

(Serializable m e, Serializable m i, IArray UArray e, Ix i) => Serializable m (UArray i e)

(Serializable m a, Serializable m b, Ord a) => Serializable m (Map a b)

(Serializable m a, Serializable m b, Hashable a, Eq a) => Serializable m (HashMap a b)

(Serializable m a, Serializable m b) => Serializable m (Either a b)

(Serializable m e, Serializable m i, Ix i) => Serializable m (Array i e)

(Serializable m a, Serializable m b) => Serializable m (a, b)

(Serializable (ST RealWorld) a, Serializable (ST RealWorld) b, Hashable a, Eq a) => Serializable IO (HashTable RealWorld a b)

(Serializable (ST RealWorld) a, Serializable (ST RealWorld) b, Hashable a, Eq a) => Serializable IO (HashTable RealWorld a b)

(Serializable (ST RealWorld) a, Serializable (ST RealWorld) b, Hashable a, Eq a) => Serializable IO (HashTable RealWorld a b)

(Serializable m a, Serializable m b, Serializable m c) => Serializable m (a, b, c)

(Serializable m a, Serializable m b, Serializable m c, Serializable m d) => Serializable m (a, b, c, d)

(Serializable m a, Serializable m b, Serializable m c, Serializable m d, Serializable m e) => Serializable m (a, b, c, d, e)

(Serializable (ST s) a, Serializable (ST s) b, Hashable a, Eq a) => Serializable (ST s) (HashTable s a b)

(Serializable (ST s) a, Serializable (ST s) b, Hashable a, Eq a) => Serializable (ST s) (HashTable s a b)

(Serializable (ST s) a, Serializable (ST s) b, Hashable a, Eq a) => Serializable (ST s) (HashTable s a b)

data Serialize m a

A serialization monad transformer.

Instances

MonadTrans Serialize

Monad m => Monad (Serialize m)

Functor m => Functor (Serialize m)

MonadPlus m => MonadPlus (Serialize m)

Applicative m => Applicative (Serialize m)

Alternative m => Alternative (Serialize m)

MonadIO m => MonadIO (Serialize m)

data Deserialize m a

A deserialization monad transformer.

Instances

MonadTrans Deserialize

Monad m => Monad (Deserialize m)

Monad m => Functor (Deserialize m)

Monad m => Applicative (Deserialize m)

MonadIO m => MonadIO (Deserialize m)