CerealPlus.Serializable

Documentation

class Serializable a m 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 Bool m

Serializable Char m

Serializable Double m

Serializable Float m

Serializable Int m

Serializable Int8 m

Serializable Int16 m

Serializable Int32 m

Serializable Int64 m

Serializable Integer m

Serializable Ordering m

Serializable Word m

Serializable Word8 m

Serializable Word16 m

Serializable Word32 m

Serializable Word64 m

Serializable () m

Serializable All m

Serializable Any m

Serializable ByteString m

Serializable IntSet m

Serializable AbsoluteTime m

Serializable LocalTime m

Serializable ZonedTime m

Serializable TimeOfDay m

Serializable TimeZone m

Serializable UTCTime m

Serializable NominalDiffTime m

Serializable Day m

Serializable UniversalTime m

Serializable DiffTime m

Serializable Text m

Serializable a m => Serializable [a] m

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

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

Serializable a IO => Serializable (TVar a) IO

Serializable a STM => Serializable (TVar a) STM

Serializable a m => Serializable (Dual a) m

Serializable a m => Serializable (Sum a) m

Serializable a m => Serializable (Product a) m

Serializable a m => Serializable (First a) m

Serializable a m => Serializable (Last a) m

Serializable a IO => Serializable (IORef a) IO

Serializable a IO => Serializable (MVar a) IO

Serializable a m => Serializable (Maybe a) m

Serializable a m => Serializable (Identity a) m

Serializable a m => Serializable (Tree a) m

Serializable a m => Serializable (Seq a) m

Serializable a m => Serializable (IntMap a) m

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

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

Serializable a m => Serializable (Vector a) m

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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