CerealPlus.Serializable

Documentation

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 :: (Monad m, Applicative m) => a -> Serialize m ()

deserialize :: (Monad m, Applicative m) => Deserialize m a

Instances

Serializable m Any

Serializable m All

Serializable m IntSet

Serializable m ByteString

Serializable m ()

Serializable m Word64

Serializable m Word32

Serializable m Word16

Serializable m Word8

Serializable m Word

Serializable m Ordering

Serializable m Integer

Serializable m Int64

Serializable m Int32

Serializable m Int16

Serializable m Int8

Serializable m Int

Serializable m Float

Serializable m Double

Serializable m Char

Serializable m Bool

Serializable m AbsoluteTime

Serializable m ZonedTime

Serializable m LocalTime

Serializable m TimeZone

Serializable m TimeOfDay

Serializable m NominalDiffTime

Serializable m UTCTime

Serializable m UniversalTime

Serializable m DiffTime

Serializable m Day

Serializable m Text

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 (Vector a)

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

Serializable m a => Serializable m (IntMap a)

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

Serializable m a => Serializable m (Identity a)

Serializable m a => Serializable m (Seq a)

Serializable m a => Serializable m [a]

Serializable m a => Serializable m (Maybe a)

Serializable m a => Serializable m (Tree a)

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

Serializable m a => Serializable m (Last a)

Serializable m a => Serializable m (First a)

Serializable m a => Serializable m (Product a)

Serializable m a => Serializable m (Sum a)

Serializable m a => Serializable m (Dual a)

(HasResolution a, Fractional (Fixed a)) => Serializable m (Fixed 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 e, Serializable m i, Ix i) => Serializable m (Array i e)

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

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

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

(Serializable m a, Serializable m b) => Serializable m (Either 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)