Persist All Source #
Instance details Defined in Data.Persist Methods put :: All -> Put () Source # get :: Get All Source # unsafePut :: All -> Put () Source # unsafeGet :: Get All Source #
Persist Any Source #
Instance details Defined in Data.Persist Methods put :: Any -> Put () Source # get :: Get Any Source # unsafePut :: Any -> Put () Source # unsafeGet :: Get Any Source #
Persist Int16 Source #
Instance details Defined in Data.Persist Methods put :: Int16 -> Put () Source # get :: Get Int16 Source # unsafePut :: Int16 -> Put () Source # unsafeGet :: Get Int16 Source #
Persist Int32 Source #
Instance details Defined in Data.Persist Methods put :: Int32 -> Put () Source # get :: Get Int32 Source # unsafePut :: Int32 -> Put () Source # unsafeGet :: Get Int32 Source #
Persist Int64 Source #
Instance details Defined in Data.Persist Methods put :: Int64 -> Put () Source # get :: Get Int64 Source # unsafePut :: Int64 -> Put () Source # unsafeGet :: Get Int64 Source #
Persist Int8 Source #
Instance details Defined in Data.Persist Methods put :: Int8 -> Put () Source # get :: Get Int8 Source # unsafePut :: Int8 -> Put () Source # unsafeGet :: Get Int8 Source #
Persist Word16 Source #
Instance details Defined in Data.Persist Methods put :: Word16 -> Put () Source # get :: Get Word16 Source # unsafePut :: Word16 -> Put () Source # unsafeGet :: Get Word16 Source #
Persist Word32 Source #
Instance details Defined in Data.Persist Methods put :: Word32 -> Put () Source # get :: Get Word32 Source # unsafePut :: Word32 -> Put () Source # unsafeGet :: Get Word32 Source #
Persist Word64 Source #
Instance details Defined in Data.Persist Methods put :: Word64 -> Put () Source # get :: Get Word64 Source # unsafePut :: Word64 -> Put () Source # unsafeGet :: Get Word64 Source #
Persist Word8 Source #
Instance details Defined in Data.Persist Methods put :: Word8 -> Put () Source # get :: Get Word8 Source # unsafePut :: Word8 -> Put () Source # unsafeGet :: Get Word8 Source #
Persist ByteString Source #
Instance details Defined in Data.Persist Methods put :: ByteString -> Put () Source # get :: Get ByteString Source # unsafePut :: ByteString -> Put () Source # unsafeGet :: Get ByteString Source #
Persist ByteString Source #
Instance details Defined in Data.Persist Methods put :: ByteString -> Put () Source # get :: Get ByteString Source # unsafePut :: ByteString -> Put () Source # unsafeGet :: Get ByteString Source #
Persist ShortByteString Source #
Instance details Defined in Data.Persist Methods put :: ShortByteString -> Put () Source # get :: Get ShortByteString Source # unsafePut :: ShortByteString -> Put () Source # unsafeGet :: Get ShortByteString Source #
Persist IntSet Source #
Instance details Defined in Data.Persist Methods put :: IntSet -> Put () Source # get :: Get IntSet Source # unsafePut :: IntSet -> Put () Source # unsafeGet :: Get IntSet Source #
Persist Ordering Source #
Instance details Defined in Data.Persist Methods put :: Ordering -> Put () Source # get :: Get Ordering Source # unsafePut :: Ordering -> Put () Source # unsafeGet :: Get Ordering Source #
Persist Text Source #
Instance details Defined in Data.Persist Methods put :: Text -> Put () Source # get :: Get Text Source # unsafePut :: Text -> Put () Source # unsafeGet :: Get Text Source #
Persist Integer Source #
Instance details Defined in Data.Persist Methods put :: Integer -> Put () Source # get :: Get Integer Source # unsafePut :: Integer -> Put () Source # unsafeGet :: Get Integer Source #
Persist Natural Source #
Instance details Defined in Data.Persist Methods put :: Natural -> Put () Source # get :: Get Natural Source # unsafePut :: Natural -> Put () Source # unsafeGet :: Get Natural Source #
Persist () Source #
Instance details Defined in Data.Persist Methods put :: () -> Put () Source # get :: Get () Source # unsafePut :: () -> Put () Source # unsafeGet :: Get () Source #
Persist Bool Source #
Instance details Defined in Data.Persist Methods put :: Bool -> Put () Source # get :: Get Bool Source # unsafePut :: Bool -> Put () Source # unsafeGet :: Get Bool Source #
Persist Char Source #
Instance details Defined in Data.Persist Methods put :: Char -> Put () Source # get :: Get Char Source # unsafePut :: Char -> Put () Source # unsafeGet :: Get Char Source #
Persist Double Source #
Instance details Defined in Data.Persist Methods put :: Double -> Put () Source # get :: Get Double Source # unsafePut :: Double -> Put () Source # unsafeGet :: Get Double Source #
Persist Float Source #
Instance details Defined in Data.Persist Methods put :: Float -> Put () Source # get :: Get Float Source # unsafePut :: Float -> Put () Source # unsafeGet :: Get Float Source #
Persist Int Source #
Instance details Defined in Data.Persist Methods put :: Int -> Put () Source # get :: Get Int Source # unsafePut :: Int -> Put () Source # unsafeGet :: Get Int Source #
Persist Word Source #
Instance details Defined in Data.Persist Methods put :: Word -> Put () Source # get :: Get Word Source # unsafePut :: Word -> Put () Source # unsafeGet :: Get Word Source #
Persist a => Persist (First a) Source #
Instance details Defined in Data.Persist Methods put :: First a -> Put () Source # get :: Get (First a) Source # unsafePut :: First a -> Put () Source # unsafeGet :: Get (First a) Source #
Persist a => Persist (Last a) Source #
Instance details Defined in Data.Persist Methods put :: Last a -> Put () Source # get :: Get (Last a) Source # unsafePut :: Last a -> Put () Source # unsafeGet :: Get (Last a) Source #
Persist a => Persist (Dual a) Source #
Instance details Defined in Data.Persist Methods put :: Dual a -> Put () Source # get :: Get (Dual a) Source # unsafePut :: Dual a -> Put () Source # unsafeGet :: Get (Dual a) Source #
Persist a => Persist (Product a) Source #
Instance details Defined in Data.Persist Methods put :: Product a -> Put () Source # get :: Get (Product a) Source # unsafePut :: Product a -> Put () Source # unsafeGet :: Get (Product a) Source #
Persist a => Persist (Sum a) Source #
Instance details Defined in Data.Persist Methods put :: Sum a -> Put () Source # get :: Get (Sum a) Source # unsafePut :: Sum a -> Put () Source # unsafeGet :: Get (Sum a) Source #
Persist e => Persist (NonEmpty e) Source #
Instance details Defined in Data.Persist Methods put :: NonEmpty e -> Put () Source # get :: Get (NonEmpty e) Source # unsafePut :: NonEmpty e -> Put () Source # unsafeGet :: Get (NonEmpty e) Source #
Persist a => Persist (Ratio a) Source #
Instance details Defined in Data.Persist Methods put :: Ratio a -> Put () Source # get :: Get (Ratio a) Source # unsafePut :: Ratio a -> Put () Source # unsafeGet :: Get (Ratio a) Source #
Persist e => Persist (IntMap e) Source #
Instance details Defined in Data.Persist Methods put :: IntMap e -> Put () Source # get :: Get (IntMap e) Source # unsafePut :: IntMap e -> Put () Source # unsafeGet :: Get (IntMap e) Source #
Persist e => Persist (Seq e) Source #
Instance details Defined in Data.Persist Methods put :: Seq e -> Put () Source # get :: Get (Seq e) Source # unsafePut :: Seq e -> Put () Source # unsafeGet :: Get (Seq e) Source #
(Ord a, Persist a) => Persist (Set a) Source #
Instance details Defined in Data.Persist Methods put :: Set a -> Put () Source # get :: Get (Set a) Source # unsafePut :: Set a -> Put () Source # unsafeGet :: Get (Set a) Source #
Persist e => Persist (Tree e) Source #
Instance details Defined in Data.Persist Methods put :: Tree e -> Put () Source # get :: Get (Tree e) Source # unsafePut :: Tree e -> Put () Source # unsafeGet :: Get (Tree e) Source #
HasEndianness a => Persist (BigEndian a) Source #
Instance details Defined in Data.Persist Methods put :: BigEndian a -> Put () Source # get :: Get (BigEndian a) Source # unsafePut :: BigEndian a -> Put () Source # unsafeGet :: Get (BigEndian a) Source #
HasEndianness a => Persist (LittleEndian a) Source #
Instance details Defined in Data.Persist Methods put :: LittleEndian a -> Put () Source # get :: Get (LittleEndian a) Source # unsafePut :: LittleEndian a -> Put () Source # unsafeGet :: Get (LittleEndian a) Source #
(SerializeAs a, Persist (SerializeTarget a)) => Persist (ViaSerializeAs a) Source #
Instance details Defined in Data.Persist Methods put :: ViaSerializeAs a -> Put () Source # get :: Get (ViaSerializeAs a) Source # unsafePut :: ViaSerializeAs a -> Put () Source # unsafeGet :: Get (ViaSerializeAs a) Source #
Persist a => Persist (Maybe a) Source #
Instance details Defined in Data.Persist Methods put :: Maybe a -> Put () Source # get :: Get (Maybe a) Source # unsafePut :: Maybe a -> Put () Source # unsafeGet :: Get (Maybe a) Source #
Persist a => Persist [a] Source #	Persist a list in the following format: Word64 (little endian format) element 1 ... element n
Instance details Defined in Data.Persist Methods put :: [a] -> Put () Source # get :: Get [a] Source # unsafePut :: [a] -> Put () Source # unsafeGet :: Get [a] Source #
(Persist a, Persist b) => Persist (Either a b) Source #
Instance details Defined in Data.Persist Methods put :: Either a b -> Put () Source # get :: Get (Either a b) Source # unsafePut :: Either a b -> Put () Source # unsafeGet :: Get (Either a b) Source #
(Ord k, Persist k, Persist e) => Persist (Map k e) Source #
Instance details Defined in Data.Persist Methods put :: Map k e -> Put () Source # get :: Get (Map k e) Source # unsafePut :: Map k e -> Put () Source # unsafeGet :: Get (Map k e) Source #
(Persist a, Persist b) => Persist (a, b) Source #
Instance details Defined in Data.Persist Methods put :: (a, b) -> Put () Source # get :: Get (a, b) Source # unsafePut :: (a, b) -> Put () Source # unsafeGet :: Get (a, b) Source #
(Persist a, Persist b, Persist c) => Persist (a, b, c) Source #
Instance details Defined in Data.Persist Methods put :: (a, b, c) -> Put () Source # get :: Get (a, b, c) Source # unsafePut :: (a, b, c) -> Put () Source # unsafeGet :: Get (a, b, c) Source #
(Persist a, Persist b, Persist c, Persist d) => Persist (a, b, c, d) Source #
Instance details Defined in Data.Persist Methods put :: (a, b, c, d) -> Put () Source # get :: Get (a, b, c, d) Source # unsafePut :: (a, b, c, d) -> Put () Source # unsafeGet :: Get (a, b, c, d) Source #
(Persist a, Persist b, Persist c, Persist d, Persist e) => Persist (a, b, c, d, e) Source #
Instance details Defined in Data.Persist Methods put :: (a, b, c, d, e) -> Put () Source # get :: Get (a, b, c, d, e) Source # unsafePut :: (a, b, c, d, e) -> Put () Source # unsafeGet :: Get (a, b, c, d, e) Source #
(Persist a, Persist b, Persist c, Persist d, Persist e, Persist f) => Persist (a, b, c, d, e, f) Source #
Instance details Defined in Data.Persist Methods put :: (a, b, c, d, e, f) -> Put () Source # get :: Get (a, b, c, d, e, f) Source # unsafePut :: (a, b, c, d, e, f) -> Put () Source # unsafeGet :: Get (a, b, c, d, e, f) Source #
(Persist a, Persist b, Persist c, Persist d, Persist e, Persist f, Persist g) => Persist (a, b, c, d, e, f, g) Source #
Instance details Defined in Data.Persist Methods put :: (a, b, c, d, e, f, g) -> Put () Source # get :: Get (a, b, c, d, e, f, g) Source # unsafePut :: (a, b, c, d, e, f, g) -> Put () Source # unsafeGet :: Get (a, b, c, d, e, f, g) Source #

Endianness

type HostEndian = LittleEndian Source #

newtype BigEndian a Source #

Constructors

BigEndian
Fields unBE :: a

Instances

Instances details

Foldable BigEndian Source #

Instance details

Defined in Data.Persist

Methods

fold :: Monoid m => BigEndian m -> m #

foldMap :: Monoid m => (a -> m) -> BigEndian a -> m #

foldMap' :: Monoid m => (a -> m) -> BigEndian a -> m #

foldr :: (a -> b -> b) -> b -> BigEndian a -> b #

foldr' :: (a -> b -> b) -> b -> BigEndian a -> b #

foldl :: (b -> a -> b) -> b -> BigEndian a -> b #

foldl' :: (b -> a -> b) -> b -> BigEndian a -> b #

foldr1 :: (a -> a -> a) -> BigEndian a -> a #

foldl1 :: (a -> a -> a) -> BigEndian a -> a #

toList :: BigEndian a -> [a] #

null :: BigEndian a -> Bool #

length :: BigEndian a -> Int #

elem :: Eq a => a -> BigEndian a -> Bool #

maximum :: Ord a => BigEndian a -> a #

minimum :: Ord a => BigEndian a -> a #

sum :: Num a => BigEndian a -> a #

product :: Num a => BigEndian a -> a #

Traversable BigEndian Source #

Instance details

Defined in Data.Persist

Methods

traverse :: Applicative f => (a -> f b) -> BigEndian a -> f (BigEndian b) #

sequenceA :: Applicative f => BigEndian (f a) -> f (BigEndian a) #

mapM :: Monad m => (a -> m b) -> BigEndian a -> m (BigEndian b) #

sequence :: Monad m => BigEndian (m a) -> m (BigEndian a) #

Functor BigEndian Source #

Instance details

Defined in Data.Persist

Methods

fmap :: (a -> b) -> BigEndian a -> BigEndian b #

(<$) :: a -> BigEndian b -> BigEndian a #

Generic (BigEndian a) Source #

Instance details

Defined in Data.Persist

Associated Types

type Rep (BigEndian a)
Instance details Defined in Data.Persist type Rep (BigEndian a) = D1 ('MetaData "BigEndian" "Data.Persist" "persist-1.0.0.0-2SxxRrWxjaDKIkq0kYJKRn" 'True) (C1 ('MetaCons "BigEndian" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: BigEndian a -> Rep (BigEndian a) x #

to :: Rep (BigEndian a) x -> BigEndian a #

Show a => Show (BigEndian a) Source #

Instance details

Defined in Data.Persist

Methods

showsPrec :: Int -> BigEndian a -> ShowS #

show :: BigEndian a -> String #

showList :: [BigEndian a] -> ShowS #

Eq a => Eq (BigEndian a) Source #

Instance details

Defined in Data.Persist

Methods

(==) :: BigEndian a -> BigEndian a -> Bool #

(/=) :: BigEndian a -> BigEndian a -> Bool #

Ord a => Ord (BigEndian a) Source #

Instance details

Defined in Data.Persist

Methods

compare :: BigEndian a -> BigEndian a -> Ordering #

(<) :: BigEndian a -> BigEndian a -> Bool #

(<=) :: BigEndian a -> BigEndian a -> Bool #

(>) :: BigEndian a -> BigEndian a -> Bool #

(>=) :: BigEndian a -> BigEndian a -> Bool #

max :: BigEndian a -> BigEndian a -> BigEndian a #

min :: BigEndian a -> BigEndian a -> BigEndian a #

HasEndianness a => Persist (BigEndian a) Source #

Instance details

Defined in Data.Persist

Methods

put :: BigEndian a -> Put () Source #

get :: Get (BigEndian a) Source #

unsafePut :: BigEndian a -> Put () Source #

unsafeGet :: Get (BigEndian a) Source #

type Rep (BigEndian a) Source #

Instance details

Defined in Data.Persist

type Rep (BigEndian a) = D1 ('MetaData "BigEndian" "Data.Persist" "persist-1.0.0.0-2SxxRrWxjaDKIkq0kYJKRn" 'True) (C1 ('MetaCons "BigEndian" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype LittleEndian a Source #

Constructors

LittleEndian
Fields unLE :: a

Instances

Instances details

Foldable LittleEndian Source #

Instance details

Defined in Data.Persist

Methods

fold :: Monoid m => LittleEndian m -> m #

foldMap :: Monoid m => (a -> m) -> LittleEndian a -> m #

foldMap' :: Monoid m => (a -> m) -> LittleEndian a -> m #

foldr :: (a -> b -> b) -> b -> LittleEndian a -> b #

foldr' :: (a -> b -> b) -> b -> LittleEndian a -> b #

foldl :: (b -> a -> b) -> b -> LittleEndian a -> b #

foldl' :: (b -> a -> b) -> b -> LittleEndian a -> b #

foldr1 :: (a -> a -> a) -> LittleEndian a -> a #

foldl1 :: (a -> a -> a) -> LittleEndian a -> a #

toList :: LittleEndian a -> [a] #

null :: LittleEndian a -> Bool #

length :: LittleEndian a -> Int #

elem :: Eq a => a -> LittleEndian a -> Bool #

maximum :: Ord a => LittleEndian a -> a #

minimum :: Ord a => LittleEndian a -> a #

sum :: Num a => LittleEndian a -> a #

product :: Num a => LittleEndian a -> a #

Traversable LittleEndian Source #

Instance details

Defined in Data.Persist

Methods

traverse :: Applicative f => (a -> f b) -> LittleEndian a -> f (LittleEndian b) #

sequenceA :: Applicative f => LittleEndian (f a) -> f (LittleEndian a) #

mapM :: Monad m => (a -> m b) -> LittleEndian a -> m (LittleEndian b) #

sequence :: Monad m => LittleEndian (m a) -> m (LittleEndian a) #

Functor LittleEndian Source #

Instance details

Defined in Data.Persist

Methods

fmap :: (a -> b) -> LittleEndian a -> LittleEndian b #

(<$) :: a -> LittleEndian b -> LittleEndian a #

Generic (LittleEndian a) Source #

Instance details

Defined in Data.Persist

Associated Types

type Rep (LittleEndian a)
Instance details Defined in Data.Persist type Rep (LittleEndian a) = D1 ('MetaData "LittleEndian" "Data.Persist" "persist-1.0.0.0-2SxxRrWxjaDKIkq0kYJKRn" 'True) (C1 ('MetaCons "LittleEndian" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: LittleEndian a -> Rep (LittleEndian a) x #

to :: Rep (LittleEndian a) x -> LittleEndian a #

Show a => Show (LittleEndian a) Source #

Instance details

Defined in Data.Persist

Methods

showsPrec :: Int -> LittleEndian a -> ShowS #

show :: LittleEndian a -> String #

showList :: [LittleEndian a] -> ShowS #

Eq a => Eq (LittleEndian a) Source #

Instance details

Defined in Data.Persist

Methods

(==) :: LittleEndian a -> LittleEndian a -> Bool #

(/=) :: LittleEndian a -> LittleEndian a -> Bool #

Ord a => Ord (LittleEndian a) Source #

Instance details

Defined in Data.Persist

Methods

compare :: LittleEndian a -> LittleEndian a -> Ordering #

(<) :: LittleEndian a -> LittleEndian a -> Bool #

(<=) :: LittleEndian a -> LittleEndian a -> Bool #

(>) :: LittleEndian a -> LittleEndian a -> Bool #

(>=) :: LittleEndian a -> LittleEndian a -> Bool #

max :: LittleEndian a -> LittleEndian a -> LittleEndian a #

min :: LittleEndian a -> LittleEndian a -> LittleEndian a #

HasEndianness a => Persist (LittleEndian a) Source #

Instance details

Defined in Data.Persist

Methods

put :: LittleEndian a -> Put () Source #

get :: Get (LittleEndian a) Source #

unsafePut :: LittleEndian a -> Put () Source #

unsafeGet :: Get (LittleEndian a) Source #

type Rep (LittleEndian a) Source #

Instance details

Defined in Data.Persist

type Rep (LittleEndian a) = D1 ('MetaData "LittleEndian" "Data.Persist" "persist-1.0.0.0-2SxxRrWxjaDKIkq0kYJKRn" 'True) (C1 ('MetaCons "LittleEndian" 'PrefixI 'True) (S1 ('MetaSel ('Just "unLE") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Helpers for writing Persist instances

class HasEndianness a where Source #

Methods

unsafeGetLE :: Get a Source #

unsafePutLE :: a -> Put () Source #

unsafeGetBE :: Get a Source #

unsafePutBE :: a -> Put () Source #

endiannessSize :: Int Source #

Instances

Instances details

HasEndianness Int16 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Int16 Source # unsafePutLE :: Int16 -> Put () Source # unsafeGetBE :: Get Int16 Source # unsafePutBE :: Int16 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Int32 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Int32 Source # unsafePutLE :: Int32 -> Put () Source # unsafeGetBE :: Get Int32 Source # unsafePutBE :: Int32 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Int64 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Int64 Source # unsafePutLE :: Int64 -> Put () Source # unsafeGetBE :: Get Int64 Source # unsafePutBE :: Int64 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Int8 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Int8 Source # unsafePutLE :: Int8 -> Put () Source # unsafeGetBE :: Get Int8 Source # unsafePutBE :: Int8 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Word16 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Word16 Source # unsafePutLE :: Word16 -> Put () Source # unsafeGetBE :: Get Word16 Source # unsafePutBE :: Word16 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Word32 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Word32 Source # unsafePutLE :: Word32 -> Put () Source # unsafeGetBE :: Get Word32 Source # unsafePutBE :: Word32 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Word64 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Word64 Source # unsafePutLE :: Word64 -> Put () Source # unsafeGetBE :: Get Word64 Source # unsafePutBE :: Word64 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Word8 Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Word8 Source # unsafePutLE :: Word8 -> Put () Source # unsafeGetBE :: Get Word8 Source # unsafePutBE :: Word8 -> Put () Source # endiannessSize :: Int Source #
HasEndianness Double Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Double Source # unsafePutLE :: Double -> Put () Source # unsafeGetBE :: Get Double Source # unsafePutBE :: Double -> Put () Source # endiannessSize :: Int Source #
HasEndianness Float Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Float Source # unsafePutLE :: Float -> Put () Source # unsafeGetBE :: Get Float Source # unsafePutBE :: Float -> Put () Source # endiannessSize :: Int Source #
HasEndianness Int Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Int Source # unsafePutLE :: Int -> Put () Source # unsafeGetBE :: Get Int Source # unsafePutBE :: Int -> Put () Source # endiannessSize :: Int Source #
HasEndianness Word Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get Word Source # unsafePutLE :: Word -> Put () Source # unsafeGetBE :: Get Word Source # unsafePutBE :: Word -> Put () Source # endiannessSize :: Int Source #
(ReinterpretAs a, Storable a, Storable b, HasEndianness b, b ~ ReinterpretTarget a) => HasEndianness (ViaReinterpretAs a) Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get (ViaReinterpretAs a) Source # unsafePutLE :: ViaReinterpretAs a -> Put () Source # unsafeGetBE :: Get (ViaReinterpretAs a) Source # unsafePutBE :: ViaReinterpretAs a -> Put () Source # endiannessSize :: Int Source #
(SerializeAs a, HasEndianness (SerializeTarget a)) => HasEndianness (ViaSerializeAs a) Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get (ViaSerializeAs a) Source # unsafePutLE :: ViaSerializeAs a -> Put () Source # unsafeGetBE :: Get (ViaSerializeAs a) Source # unsafePutBE :: ViaSerializeAs a -> Put () Source # endiannessSize :: Int Source #

class ReinterpretAs a Source #

Associated Types

type ReinterpretTarget a Source #

Instances

Instances details

ReinterpretAs Double Source #

Instance details

Defined in Data.Persist

Associated Types

type ReinterpretTarget Double
Instance details Defined in Data.Persist type ReinterpretTarget Double = Word64

ReinterpretAs Float Source #

Instance details

Defined in Data.Persist

Associated Types

type ReinterpretTarget Float
Instance details Defined in Data.Persist type ReinterpretTarget Float = Word32

class SerializeAs a where Source #

Associated Types

type SerializeTarget a Source #

Methods

castPut :: a -> SerializeTarget a Source #

castGet :: SerializeTarget a -> a Source #

Instances

Instances details

SerializeAs Int16 Source #

Instance details

Defined in Data.Persist

Associated Types

type SerializeTarget Int16
Instance details Defined in Data.Persist type SerializeTarget Int16 = Word16

Methods

castPut :: Int16 -> SerializeTarget Int16 Source #

castGet :: SerializeTarget Int16 -> Int16 Source #

SerializeAs Int32 Source #

Instance details

Defined in Data.Persist

Associated Types

type SerializeTarget Int32
Instance details Defined in Data.Persist type SerializeTarget Int32 = Word32

Methods

castPut :: Int32 -> SerializeTarget Int32 Source #

castGet :: SerializeTarget Int32 -> Int32 Source #

SerializeAs Int64 Source #

Instance details

Defined in Data.Persist

Associated Types

type SerializeTarget Int64
Instance details Defined in Data.Persist type SerializeTarget Int64 = Word64

Methods

castPut :: Int64 -> SerializeTarget Int64 Source #

castGet :: SerializeTarget Int64 -> Int64 Source #

SerializeAs Int8 Source #

Instance details

Defined in Data.Persist

Associated Types

type SerializeTarget Int8
Instance details Defined in Data.Persist type SerializeTarget Int8 = Word8

Methods

castPut :: Int8 -> SerializeTarget Int8 Source #

castGet :: SerializeTarget Int8 -> Int8 Source #

SerializeAs Int Source #

Instance details

Defined in Data.Persist

Associated Types

type SerializeTarget Int
Instance details Defined in Data.Persist type SerializeTarget Int = Int64

Methods

castPut :: Int -> SerializeTarget Int Source #

castGet :: SerializeTarget Int -> Int Source #

SerializeAs Word Source #

Instance details

Defined in Data.Persist

Associated Types

type SerializeTarget Word
Instance details Defined in Data.Persist type SerializeTarget Word = Word64

Methods

castPut :: Word -> SerializeTarget Word Source #

castGet :: SerializeTarget Word -> Word Source #

newtype ViaReinterpretAs a Source #

Constructors

MkViaReinterpretAs a

Instances

Instances details

Show a => Show (ViaReinterpretAs a) Source #
Instance details Defined in Data.Persist Methods showsPrec :: Int -> ViaReinterpretAs a -> ShowS # show :: ViaReinterpretAs a -> String # showList :: [ViaReinterpretAs a] -> ShowS #
Eq a => Eq (ViaReinterpretAs a) Source #
Instance details Defined in Data.Persist Methods (==) :: ViaReinterpretAs a -> ViaReinterpretAs a -> Bool # (/=) :: ViaReinterpretAs a -> ViaReinterpretAs a -> Bool #
Ord a => Ord (ViaReinterpretAs a) Source #
Instance details Defined in Data.Persist Methods compare :: ViaReinterpretAs a -> ViaReinterpretAs a -> Ordering # (<) :: ViaReinterpretAs a -> ViaReinterpretAs a -> Bool # (<=) :: ViaReinterpretAs a -> ViaReinterpretAs a -> Bool # (>) :: ViaReinterpretAs a -> ViaReinterpretAs a -> Bool # (>=) :: ViaReinterpretAs a -> ViaReinterpretAs a -> Bool # max :: ViaReinterpretAs a -> ViaReinterpretAs a -> ViaReinterpretAs a # min :: ViaReinterpretAs a -> ViaReinterpretAs a -> ViaReinterpretAs a #
(ReinterpretAs a, Storable a, Storable b, HasEndianness b, b ~ ReinterpretTarget a) => HasEndianness (ViaReinterpretAs a) Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get (ViaReinterpretAs a) Source # unsafePutLE :: ViaReinterpretAs a -> Put () Source # unsafeGetBE :: Get (ViaReinterpretAs a) Source # unsafePutBE :: ViaReinterpretAs a -> Put () Source # endiannessSize :: Int Source #

newtype ViaSerializeAs a Source #

Constructors

MkViaSerializeAs a

Instances

Instances details

Show a => Show (ViaSerializeAs a) Source #
Instance details Defined in Data.Persist Methods showsPrec :: Int -> ViaSerializeAs a -> ShowS # show :: ViaSerializeAs a -> String # showList :: [ViaSerializeAs a] -> ShowS #
Eq a => Eq (ViaSerializeAs a) Source #
Instance details Defined in Data.Persist Methods (==) :: ViaSerializeAs a -> ViaSerializeAs a -> Bool # (/=) :: ViaSerializeAs a -> ViaSerializeAs a -> Bool #
Ord a => Ord (ViaSerializeAs a) Source #
Instance details Defined in Data.Persist Methods compare :: ViaSerializeAs a -> ViaSerializeAs a -> Ordering # (<) :: ViaSerializeAs a -> ViaSerializeAs a -> Bool # (<=) :: ViaSerializeAs a -> ViaSerializeAs a -> Bool # (>) :: ViaSerializeAs a -> ViaSerializeAs a -> Bool # (>=) :: ViaSerializeAs a -> ViaSerializeAs a -> Bool # max :: ViaSerializeAs a -> ViaSerializeAs a -> ViaSerializeAs a # min :: ViaSerializeAs a -> ViaSerializeAs a -> ViaSerializeAs a #
(SerializeAs a, HasEndianness (SerializeTarget a)) => HasEndianness (ViaSerializeAs a) Source #
Instance details Defined in Data.Persist Methods unsafeGetLE :: Get (ViaSerializeAs a) Source # unsafePutLE :: ViaSerializeAs a -> Put () Source # unsafeGetBE :: Get (ViaSerializeAs a) Source # unsafePutBE :: ViaSerializeAs a -> Put () Source # endiannessSize :: Int Source #
(SerializeAs a, Persist (SerializeTarget a)) => Persist (ViaSerializeAs a) Source #
Instance details Defined in Data.Persist Methods put :: ViaSerializeAs a -> Put () Source # get :: Get (ViaSerializeAs a) Source # unsafePut :: ViaSerializeAs a -> Put () Source # unsafeGet :: Get (ViaSerializeAs a) Source #

Serialization

encode :: Persist a => a -> ByteString Source #

Encode a value using binary serialization to a strict ByteString.

encodeLazy :: Persist a => a -> ByteString Source #

Encode a value using binary serialization to a lazy ByteString.

decode :: Persist a => ByteString -> Either String a Source #

Decode a value from a strict ByteString, reconstructing the original structure.

The Get type

data Get a Source #

Instances

Instances details

MonadFail Get Source #
Instance details Defined in Data.Persist.Internal Methods fail :: String -> Get a #
Applicative Get Source #
Instance details Defined in Data.Persist.Internal Methods pure :: a -> Get a # (<>) :: Get (a -> b) -> Get a -> Get b # liftA2 :: (a -> b -> c) -> Get a -> Get b -> Get c # (>) :: Get a -> Get b -> Get b # (<*) :: Get a -> Get b -> Get a #
Functor Get Source #
Instance details Defined in Data.Persist.Internal Methods fmap :: (a -> b) -> Get a -> Get b # (<$) :: a -> Get b -> Get a #
Monad Get Source #
Instance details Defined in Data.Persist.Internal Methods (>>=) :: Get a -> (a -> Get b) -> Get b # (>>) :: Get a -> Get b -> Get b # return :: a -> Get a #

runGet :: Get a -> ByteString -> Either String a Source #

Run the Get monad applies a get-based parser on the input ByteString

ensure :: Int -> Get () Source #

Ensure that n bytes are available. Fails if fewer than n bytes are available.

skip :: Int -> Get () Source #

Skip ahead n bytes. Fails if fewer than n bytes are available.

getBytes :: Int -> Get ByteString Source #

Pull n bytes from the input, as a strict ByteString.

getByteString :: Int -> Get ByteString Source #

An efficient get method for strict ByteStrings. Fails if fewer than n bytes are left in the input. This function creates a fresh copy of the underlying bytes.

remaining :: Get Int Source #

Get the number of remaining unparsed bytes. Useful for checking whether all input has been consumed.

eof :: Get () Source #

getPrefix :: Int -> Get a -> Get a Source #

An efficient get method to apply a recursive get to a substring of known length.

getHE :: Persist (HostEndian a) => Get a Source #

getLE :: Persist (LittleEndian a) => Get a Source #

getBE :: Persist (BigEndian a) => Get a Source #

The Put type

data Put a Source #

Instances

Instances details

Applicative Put Source #
Instance details Defined in Data.Persist.Internal Methods pure :: a -> Put a # (<>) :: Put (a -> b) -> Put a -> Put b # liftA2 :: (a -> b -> c) -> Put a -> Put b -> Put c # (>) :: Put a -> Put b -> Put b # (<*) :: Put a -> Put b -> Put a #
Functor Put Source #
Instance details Defined in Data.Persist.Internal Methods fmap :: (a -> b) -> Put a -> Put b # (<$) :: a -> Put b -> Put a #
Monad Put Source #
Instance details Defined in Data.Persist.Internal Methods (>>=) :: Put a -> (a -> Put b) -> Put b # (>>) :: Put a -> Put b -> Put b # return :: a -> Put a #