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 Char

SafeCopy Double

SafeCopy Float

SafeCopy Int

SafeCopy Int8

SafeCopy Int16

SafeCopy Int32

SafeCopy Int64

SafeCopy Integer

SafeCopy Ordering

SafeCopy Word8

SafeCopy Word16

SafeCopy Word32

SafeCopy Word64

SafeCopy ()

SafeCopy ByteString

SafeCopy ByteString

SafeCopy Sub2

SafeCopy Sub1

SafeCopy Test4

SafeCopy Test3

SafeCopy Test2

SafeCopy Test1

SafeCopy a => SafeCopy [a]

SafeCopy a => SafeCopy (Maybe a)

SafeCopy a => SafeCopy (IntMap a)

(SafeCopy a, Ord a) => SafeCopy (Set a)

(SafeCopy a, SafeCopy b) => SafeCopy (Either a b)

(SafeCopy a, SafeCopy b) => SafeCopy (a, b)

(SafeCopy a, SafeCopy b, Ord a) => SafeCopy (Map 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)

class Migrate a b where

Methods

migrate :: a -> b

Instances

Migrate Sub1 Sub2

Migrate Test3 Test4

Migrate Test2 Test3

Migrate Test1 Test2

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