Data.Persist.Internal

Documentation

data a :!: b infixl 2

Constructors

!a :!: !b infixl 2

The Get type

newtype Get a

Constructors

Get

Fields

• unGet :: GetEnv -> Ptr Word8 -> IO (Ptr Word8 :!: a)

Instances

Monad Get

Defined in Data.Persist.Internal

Methods

(>>=) :: Get a -> (a -> Get b) -> Get b

(>>) :: Get a -> Get b -> Get b

return :: a -> Get a

fail :: String -> Get a

Functor Get

Defined in Data.Persist.Internal

Methods

fmap :: (a -> b) -> Get a -> Get b

(<$) :: a -> Get b -> Get a

MonadFail Get

Defined in Data.Persist.Internal

Methods

fail :: String -> Get a

Applicative Get

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

data GetEnv

Constructors

GetEnv

Fields

• geBuf :: !(ForeignPtr Word8)
• geBegin :: !(Ptr Word8)
• geEnd :: !(Ptr Word8)
• geTmp :: !(Ptr Word8)

data GetException

Constructors

LengthException Int String

CharException Int String

EOFException Int String

GenericGetException Int String

Instances

Eq GetException

Defined in Data.Persist.Internal

Methods

(==) :: GetException -> GetException -> Bool

(/=) :: GetException -> GetException -> Bool

Show GetException

Defined in Data.Persist.Internal

Methods

showsPrec :: Int -> GetException -> ShowS

show :: GetException -> String

showList :: [GetException] -> ShowS

Exception GetException

Defined in Data.Persist.Internal

Methods

toException :: GetException -> SomeException

fromException :: SomeException -> Maybe GetException

displayException :: GetException -> String

getOffset :: Get Int

failGet :: (Int -> String -> GetException) -> String -> Get a

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

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

runGetIO :: Get a -> ByteString -> IO a

The Put type

newtype Put a

Constructors

Put

Fields

• unPut :: PutEnv -> Ptr Word8 -> IO (Ptr Word8 :!: a)

Instances

Monad Put

Defined in Data.Persist.Internal

Methods

(>>=) :: Put a -> (a -> Put b) -> Put b

(>>) :: Put a -> Put b -> Put b

return :: a -> Put a

fail :: String -> Put a

Functor Put

Defined in Data.Persist.Internal

Methods

fmap :: (a -> b) -> Put a -> Put b

(<$) :: a -> Put b -> Put a

Applicative Put

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

data PutEnv

Constructors

PutEnv

Fields

• peChks :: !(IORef (NonEmpty Chunk))
• peEnd :: !(IORef (Ptr Word8))
• peTmp :: !(Ptr Word8)

data Chunk

Constructors

Chunk

Fields

• chkBegin :: !(Ptr Word8)
• chkEnd :: !(Ptr Word8)

evalPut :: Put a -> (a, ByteString)

evalPutIO :: Put a -> IO (a, ByteString)

grow :: Int -> Put ()

Ensure that n bytes can be written.