safecopy-0.1 Contents Index

Data.SafeCopy.Types

Documentation

class SafeCopy a where

Methods version :: Version a mode :: Mode a getCopy :: Contained (Get a) putCopy :: a -> Contained Put Instances SafeCopy Bool SafeCopy ByteString SafeCopy Char SafeCopy Double SafeCopy Float SafeCopy Int SafeCopy Int16 SafeCopy Int32 SafeCopy Int64 SafeCopy Int8 SafeCopy Integer SafeCopy Ordering SafeCopy Sub1 SafeCopy Sub2 SafeCopy Test1 SafeCopy Test2 SafeCopy Test3 SafeCopy Test4 SafeCopy Word16 SafeCopy Word32 SafeCopy Word64 SafeCopy Word8 SafeCopy () (SafeCopy a, SafeCopy b) => SafeCopy (a, b) (SafeCopy a, SafeCopy b, SafeCopy c) => SafeCopy (a, b, c) (SafeCopy a, SafeCopy b, SafeCopy c, SafeCopy d) => SafeCopy (a, b, c, d) SafeCopy a => SafeCopy (IntMap a) SafeCopy a => SafeCopy (Maybe a) (SafeCopy a, Ord a) => SafeCopy (Set a) SafeCopy a => SafeCopy [a] (SafeCopy a, SafeCopy b) => SafeCopy (Either a b) (SafeCopy a, SafeCopy b, Ord a) => SafeCopy (Map a b)

class Migrate a b where

Methods migrate :: a -> b Instances Migrate Sub1 Sub2 Migrate Test1 Test2 Migrate Test2 Test3 Migrate Test3 Test4

data Mode a

Constructors Primitive Base Extension (Previous a)

data Contained a

contain :: a -> Contained a

data Proxy a

Constructors Proxy

mkProxy :: a -> Proxy a

data Previous a

mkPrevious :: forall a b . (SafeCopy b, Migrate b a) => Proxy b -> Previous a

getSafeGet :: forall a . SafeCopy a => Get (Get a)

getSafePut :: forall a . SafeCopy a => PutM (a -> Put)

safePut :: forall a . SafeCopy a => a -> Put

safeGet :: forall a . SafeCopy a => Get a

safeGetVersioned :: forall a b . SafeCopy b => Version a -> Get b

Produced by Haddock version 0.8