Data.PersistState.Internal

The Get type

newtype Get s a

Constructors

Get

Fields

• unGet :: GetEnv s -> Addr# -> GetState s -> (#Addr#, GetState s, a#)

Instances

Monad (Get s)

Defined in Data.PersistState.Internal

Methods

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

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

return :: a -> Get s a

fail :: String -> Get s a

Functor (Get s)

Defined in Data.PersistState.Internal

Methods

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

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

MonadFail (Get s)

Defined in Data.PersistState.Internal

Methods

fail :: String -> Get s a

Applicative (Get s)

Defined in Data.PersistState.Internal

Methods

pure :: a -> Get s a

(<*>) :: Get s (a -> b) -> Get s a -> Get s b

liftA2 :: (a -> b -> c) -> Get s a -> Get s b -> Get s c

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

(<*) :: Get s a -> Get s b -> Get s a

type family GetState s

data GetEnv s

Constructors

GetEnv

Fields

• geBuf :: !(ForeignPtr Word8)
• geBegin :: Addr#
• geEnd :: Addr#
• geReinterpretCast :: Addr#

data GetException

Constructors

LengthException Int String

CharException Int String

EOFException Int String

GenericGetException Int String

Instances

Eq GetException

Defined in Data.PersistState.Internal

Methods

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

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

Show GetException

Defined in Data.PersistState.Internal

Methods

showsPrec :: Int -> GetException -> ShowS

show :: GetException -> String

showList :: [GetException] -> ShowS

Exception GetException

Defined in Data.PersistState.Internal

Methods

toException :: GetException -> SomeException

fromException :: SomeException -> Maybe GetException

displayException :: GetException -> String

offset :: Get s Int

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

stateGet :: Get s (GetState s)

setStateGet :: GetState s -> Get s ()

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

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

The Put type

newtype Put s a

Constructors

Put

Fields

• unPut :: PutEnv s -> Addr# -> Addr# -> PutState s -> State# RealWorld -> (#State# RealWorld, Addr#, Addr#, PutState s, a#)

Instances

Monad (Put s)

Defined in Data.PersistState.Internal

Methods

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

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

return :: a -> Put s a

fail :: String -> Put s a

Functor (Put s)

Defined in Data.PersistState.Internal

Methods

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

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

Applicative (Put s)

Defined in Data.PersistState.Internal

Methods

pure :: a -> Put s a

(<*>) :: Put s (a -> b) -> Put s a -> Put s b

liftA2 :: (a -> b -> c) -> Put s a -> Put s b -> Put s c

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

(<*) :: Put s a -> Put s b -> Put s a

type family PutState s

data PutEnv s

Constructors

PutEnv

Fields

• peChks :: !(IORef (NonEmpty Chunk))
• peReinterpretCast :: Addr#

data Chunk

Constructors

Chunk

Fields

• chkBegin :: Addr#
• chkEnd :: Addr#

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

grow :: Int -> Put s ()

Ensure that n bytes can be written.

statePut :: Put s (PutState s)

setStatePut :: PutState s -> Put s ()