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

serialize :: (Applicative m, Monad m, Generic a, SerializableRep (Rep a) m) => a -> Serialize m ()

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

Instances

Serializable m Any

Methods

serialize :: Any -> Serialize m ()

deserialize :: Deserialize m Any

Serializable m All

Methods

serialize :: All -> Serialize m ()

deserialize :: Deserialize m All

Serializable m Ordering

Methods

serialize :: Ordering -> Serialize m ()

deserialize :: Deserialize m Ordering

Serializable m Bool

Methods

serialize :: Bool -> Serialize m ()

deserialize :: Deserialize m Bool

Serializable m IntSet

Methods

serialize :: IntSet -> Serialize m ()

deserialize :: Deserialize m IntSet

Serializable m ByteString

Methods

serialize :: ByteString -> Serialize m ()

deserialize :: Deserialize m ByteString

Serializable m ()

Methods

serialize :: () -> Serialize m ()

deserialize :: Deserialize m ()

Serializable m Word64

Methods

serialize :: Word64 -> Serialize m ()

deserialize :: Deserialize m Word64

Serializable m Word32

Methods

serialize :: Word32 -> Serialize m ()

deserialize :: Deserialize m Word32

Serializable m Word16

Methods

serialize :: Word16 -> Serialize m ()

deserialize :: Deserialize m Word16

Serializable m Word8

Methods

serialize :: Word8 -> Serialize m ()

deserialize :: Deserialize m Word8

Serializable m Word

Methods

serialize :: Word -> Serialize m ()

deserialize :: Deserialize m Word

Serializable m Integer

Methods

serialize :: Integer -> Serialize m ()

deserialize :: Deserialize m Integer

Serializable m Int64

Methods

serialize :: Int64 -> Serialize m ()

deserialize :: Deserialize m Int64

Serializable m Int32

Methods

serialize :: Int32 -> Serialize m ()

deserialize :: Deserialize m Int32

Serializable m Int16

Methods

serialize :: Int16 -> Serialize m ()

deserialize :: Deserialize m Int16

Serializable m Int8

Methods

serialize :: Int8 -> Serialize m ()

deserialize :: Deserialize m Int8

Serializable m Int

Methods

serialize :: Int -> Serialize m ()

deserialize :: Deserialize m Int

Serializable m Float

Methods

serialize :: Float -> Serialize m ()

deserialize :: Deserialize m Float

Serializable m Double

Methods

serialize :: Double -> Serialize m ()

deserialize :: Deserialize m Double

Serializable m Char

Methods

serialize :: Char -> Serialize m ()

deserialize :: Deserialize m Char

Serializable m AbsoluteTime

Methods

serialize :: AbsoluteTime -> Serialize m ()

deserialize :: Deserialize m AbsoluteTime

Serializable m ZonedTime

Methods

serialize :: ZonedTime -> Serialize m ()

deserialize :: Deserialize m ZonedTime

Serializable m LocalTime

Methods

serialize :: LocalTime -> Serialize m ()

deserialize :: Deserialize m LocalTime

Serializable m TimeZone

Methods

serialize :: TimeZone -> Serialize m ()

deserialize :: Deserialize m TimeZone

Serializable m TimeOfDay

Methods

serialize :: TimeOfDay -> Serialize m ()

deserialize :: Deserialize m TimeOfDay

Serializable m NominalDiffTime

Methods

serialize :: NominalDiffTime -> Serialize m ()

deserialize :: Deserialize m NominalDiffTime

Serializable m UTCTime

Methods

serialize :: UTCTime -> Serialize m ()

deserialize :: Deserialize m UTCTime

Serializable m UniversalTime

Methods

serialize :: UniversalTime -> Serialize m ()

deserialize :: Deserialize m UniversalTime

Serializable m DiffTime

Methods

serialize :: DiffTime -> Serialize m ()

deserialize :: Deserialize m DiffTime

Serializable m Day

Methods

serialize :: Day -> Serialize m ()

deserialize :: Deserialize m Day

Serializable m Text

Methods

serialize :: Text -> Serialize m ()

deserialize :: Deserialize m Text

Serializable IO a => Serializable IO (TVar a)

Methods

serialize :: TVar a -> Serialize IO ()

deserialize :: Deserialize IO (TVar a)

Serializable IO a => Serializable IO (IORef a)

Methods

serialize :: IORef a -> Serialize IO ()

deserialize :: Deserialize IO (IORef a)

Serializable IO a => Serializable IO (MVar a)

Methods

serialize :: MVar a -> Serialize IO ()

deserialize :: Deserialize IO (MVar a)

Serializable m a => Serializable m (Vector a)

Methods

serialize :: Vector a -> Serialize m ()

deserialize :: Deserialize m (Vector a)

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

Methods

serialize :: HashSet a -> Serialize m ()

deserialize :: Deserialize m (HashSet a)

Serializable m a => Serializable m (IntMap a)

Methods

serialize :: IntMap a -> Serialize m ()

deserialize :: Deserialize m (IntMap a)

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

Methods

serialize :: Set a -> Serialize m ()

deserialize :: Deserialize m (Set a)

Serializable m a => Serializable m (Identity a)

Methods

serialize :: Identity a -> Serialize m ()

deserialize :: Deserialize m (Identity a)

Serializable m a => Serializable m (Seq a)

Methods

serialize :: Seq a -> Serialize m ()

deserialize :: Deserialize m (Seq a)

Serializable m a => Serializable m [a]

Methods

serialize :: [a] -> Serialize m ()

deserialize :: Deserialize m [a]

Serializable m a => Serializable m (Maybe a)

Methods

serialize :: Maybe a -> Serialize m ()

deserialize :: Deserialize m (Maybe a)

Serializable m a => Serializable m (Tree a)

Methods

serialize :: Tree a -> Serialize m ()

deserialize :: Deserialize m (Tree a)

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

Methods

serialize :: Ratio a -> Serialize m ()

deserialize :: Deserialize m (Ratio a)

Serializable m a => Serializable m (Last a)

Methods

serialize :: Last a -> Serialize m ()

deserialize :: Deserialize m (Last a)

Serializable m a => Serializable m (First a)

Methods

serialize :: First a -> Serialize m ()

deserialize :: Deserialize m (First a)

Serializable m a => Serializable m (Product a)

Methods

serialize :: Product a -> Serialize m ()

deserialize :: Deserialize m (Product a)

Serializable m a => Serializable m (Sum a)

Methods

serialize :: Sum a -> Serialize m ()

deserialize :: Deserialize m (Sum a)

Serializable m a => Serializable m (Dual a)

Methods

serialize :: Dual a -> Serialize m ()

deserialize :: Deserialize m (Dual a)

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

Methods

serialize :: Fixed a -> Serialize m ()

deserialize :: Deserialize m (Fixed a)

Serializable STM a => Serializable STM (TVar a)

Methods

serialize :: TVar a -> Serialize STM ()

deserialize :: Deserialize STM (TVar a)

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

Methods

serialize :: UArray i e -> Serialize m ()

deserialize :: Deserialize m (UArray i e)

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

Methods

serialize :: Array i e -> Serialize m ()

deserialize :: Deserialize m (Array i e)

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

Methods

serialize :: HashMap a b -> Serialize m ()

deserialize :: Deserialize m (HashMap a b)

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

Methods

serialize :: Map a b -> Serialize m ()

deserialize :: Deserialize m (Map a b)

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

Methods

serialize :: (a, b) -> Serialize m ()

deserialize :: Deserialize m (a, b)

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

Methods

serialize :: Either a b -> Serialize m ()

deserialize :: Deserialize m (Either a b)

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

Methods

serialize :: HashTable RealWorld a b -> Serialize IO ()

deserialize :: Deserialize IO (HashTable RealWorld a b)

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

Methods

serialize :: HashTable RealWorld a b -> Serialize IO ()

deserialize :: Deserialize IO (HashTable RealWorld a b)

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

Methods

serialize :: HashTable RealWorld a b -> Serialize IO ()

deserialize :: Deserialize IO (HashTable RealWorld a b)

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

Methods

serialize :: (a, b, c) -> Serialize m ()

deserialize :: Deserialize m (a, b, c)

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

Methods

serialize :: (a, b, c, d) -> Serialize m ()

deserialize :: Deserialize 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)

Methods

serialize :: (a, b, c, d, e) -> Serialize m ()

deserialize :: Deserialize 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)

Methods

serialize :: HashTable s a b -> Serialize (ST s) ()

deserialize :: Deserialize (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)

Methods

serialize :: HashTable s a b -> Serialize (ST s) ()

deserialize :: Deserialize (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)

Methods

serialize :: HashTable s a b -> Serialize (ST s) ()

deserialize :: Deserialize (ST s) (HashTable s a b)