| Safe Haskell | None |
|---|
CerealPlus.Deserialize
Description
A monad-transformer over Data.Serialize.Get.
- data Deserialize m a
- runPartial :: Deserialize m a -> ByteString -> m (Result m a)
- data Result m a
- = Fail Text ByteString
- | Partial (ByteString -> m (Result m a))
- | Done a ByteString
- liftGet :: Monad m => Get a -> Deserialize m a
- mapBase :: (Monad m, Monad m') => (forall b. m b -> m' b) -> Deserialize m a -> Deserialize m' a
Documentation
data Deserialize m a Source
A deserialization monad transformer.
Instances
| MonadTrans Deserialize | |
| Monad m => Monad (Deserialize m) | |
| Monad m => Functor (Deserialize m) | |
| Monad m => Applicative (Deserialize m) | |
| MonadIO m => MonadIO (Deserialize m) |
runPartial :: Deserialize m a -> ByteString -> m (Result m a)Source
Constructors
| Fail Text ByteString | |
| Partial (ByteString -> m (Result m a)) | |
| Done a ByteString |
liftGet :: Monad m => Get a -> Deserialize m aSource
mapBase :: (Monad m, Monad m') => (forall b. m b -> m' b) -> Deserialize m a -> Deserialize m' aSource