Data.Deserializer

Deserialization monad and deserializable types.

Deserialization monad

class (Monad μ, Parsing μ) => Deserializer μ where

Deserialization monad.

Minimal complete definition

ensure, take, chunk, isolate

Methods

endian :: Proxy μ -> Endian

Default byte order of the deserializer.

word8 :: μ Word8

Deserialze a byte.

word16 :: μ Word16

Deserialize an unsigned 16-bit integer in default byte order.

word32 :: μ Word32

Deserialize an unsigned 32-bit integer in default byte order.

word64 :: μ Word64

Deserialize an unsigned 64-bit integer in default byte order.

word16L :: μ Word16

Deserialize an unsigned 16-bit integer in little endian.

word16B :: μ Word16

Deserialize an unsigned 16-bit integer in big endian.

word32L :: μ Word32

Deserialize an unsigned 32-bit integer in little endian.

word32B :: μ Word32

Deserialize an unsigned 32-bit integer in big endian.

word64L :: μ Word64

Deserialize an unsigned 64-bit integer in little endian.

word64B :: μ Word64

Deserialize an unsigned 64-bit integer in big endian.

satisfy :: (Word8 -> Bool) -> μ Word8

satisfy p deserializes a byte that satisfies the predicate p, failing otherwise.

byte :: Word8 -> μ Word8

Deserialize the specified byte value, failing on any other input.

notByte :: Word8 -> μ Word8

notByte c deserializes any byte that is not equal to c, failing if c is encountered.

bytes :: ByteString -> μ ByteString

bytes bs deserializes a sequence of bytes given by bs, failing on any other input.

skip :: Int -> μ ()

Skip exactly the given number of bytes.

ensure :: Int -> μ ByteString

ensure n checks that the input has at least n more bytes and returns a portion of the input of length greater or equal to n (without consuming it).

ensure_ :: Int -> μ ()

ensure_ n fails if the input has less than n more bytes.

check :: Int -> μ Bool

check n returns True if the input has at least n more bytes.

take :: Int -> μ ByteString

Consume exactly the given number of bytes.

chunk :: μ ByteString

Consume a portion of the input (the size of the returned ByteString is implementation dependent). Empty result means that the eof is reached.

isolate :: Int -> μ α -> μ α

isolate n d feeds the next n bytes to the deserializer d. If d consumes less or more that n bytes, isolate will fail.

Instances

Deserializer CerealDeserializer

Defined in Data.Deserializer

Methods

endian :: Proxy CerealDeserializer -> Endian

word8 :: CerealDeserializer Word8

word16 :: CerealDeserializer Word16

word32 :: CerealDeserializer Word32

word64 :: CerealDeserializer Word64

word16L :: CerealDeserializer Word16

word16B :: CerealDeserializer Word16

word32L :: CerealDeserializer Word32

word32B :: CerealDeserializer Word32

word64L :: CerealDeserializer Word64

word64B :: CerealDeserializer Word64

satisfy :: (Word8 -> Bool) -> CerealDeserializer Word8

byte :: Word8 -> CerealDeserializer Word8

notByte :: Word8 -> CerealDeserializer Word8

bytes :: ByteString -> CerealDeserializer ByteString

skip :: Int -> CerealDeserializer ()

ensure :: Int -> CerealDeserializer ByteString

ensure_ :: Int -> CerealDeserializer ()

check :: Int -> CerealDeserializer Bool

take :: Int -> CerealDeserializer ByteString

chunk :: CerealDeserializer ByteString

isolate :: Int -> CerealDeserializer α -> CerealDeserializer α

Deserializer BinaryDeserializer

Defined in Data.Deserializer

Methods

endian :: Proxy BinaryDeserializer -> Endian

word8 :: BinaryDeserializer Word8

word16 :: BinaryDeserializer Word16

word32 :: BinaryDeserializer Word32

word64 :: BinaryDeserializer Word64

word16L :: BinaryDeserializer Word16

word16B :: BinaryDeserializer Word16

word32L :: BinaryDeserializer Word32

word32B :: BinaryDeserializer Word32

word64L :: BinaryDeserializer Word64

word64B :: BinaryDeserializer Word64

satisfy :: (Word8 -> Bool) -> BinaryDeserializer Word8

byte :: Word8 -> BinaryDeserializer Word8

notByte :: Word8 -> BinaryDeserializer Word8

bytes :: ByteString -> BinaryDeserializer ByteString

skip :: Int -> BinaryDeserializer ()

ensure :: Int -> BinaryDeserializer ByteString

ensure_ :: Int -> BinaryDeserializer ()

check :: Int -> BinaryDeserializer Bool

take :: Int -> BinaryDeserializer ByteString

chunk :: BinaryDeserializer ByteString

isolate :: Int -> BinaryDeserializer α -> BinaryDeserializer α

Deserializer μ => Deserializer (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

endian :: Proxy (BigEndianDeserializer μ) -> Endian

word8 :: BigEndianDeserializer μ Word8

word16 :: BigEndianDeserializer μ Word16

word32 :: BigEndianDeserializer μ Word32

word64 :: BigEndianDeserializer μ Word64

word16L :: BigEndianDeserializer μ Word16

word16B :: BigEndianDeserializer μ Word16

word32L :: BigEndianDeserializer μ Word32

word32B :: BigEndianDeserializer μ Word32

word64L :: BigEndianDeserializer μ Word64

word64B :: BigEndianDeserializer μ Word64

satisfy :: (Word8 -> Bool) -> BigEndianDeserializer μ Word8

byte :: Word8 -> BigEndianDeserializer μ Word8

notByte :: Word8 -> BigEndianDeserializer μ Word8

bytes :: ByteString -> BigEndianDeserializer μ ByteString

skip :: Int -> BigEndianDeserializer μ ()

ensure :: Int -> BigEndianDeserializer μ ByteString

ensure_ :: Int -> BigEndianDeserializer μ ()

check :: Int -> BigEndianDeserializer μ Bool

take :: Int -> BigEndianDeserializer μ ByteString

chunk :: BigEndianDeserializer μ ByteString

isolate :: Int -> BigEndianDeserializer μ α -> BigEndianDeserializer μ α

Deserializer μ => Deserializer (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

endian :: Proxy (LittleEndianDeserializer μ) -> Endian

word8 :: LittleEndianDeserializer μ Word8

word16 :: LittleEndianDeserializer μ Word16

word32 :: LittleEndianDeserializer μ Word32

word64 :: LittleEndianDeserializer μ Word64

word16L :: LittleEndianDeserializer μ Word16

word16B :: LittleEndianDeserializer μ Word16

word32L :: LittleEndianDeserializer μ Word32

word32B :: LittleEndianDeserializer μ Word32

word64L :: LittleEndianDeserializer μ Word64

word64B :: LittleEndianDeserializer μ Word64

satisfy :: (Word8 -> Bool) -> LittleEndianDeserializer μ Word8

byte :: Word8 -> LittleEndianDeserializer μ Word8

notByte :: Word8 -> LittleEndianDeserializer μ Word8

bytes :: ByteString -> LittleEndianDeserializer μ ByteString

skip :: Int -> LittleEndianDeserializer μ ()

ensure :: Int -> LittleEndianDeserializer μ ByteString

ensure_ :: Int -> LittleEndianDeserializer μ ()

check :: Int -> LittleEndianDeserializer μ Bool

take :: Int -> LittleEndianDeserializer μ ByteString

chunk :: LittleEndianDeserializer μ ByteString

isolate :: Int -> LittleEndianDeserializer μ α -> LittleEndianDeserializer μ α

newtype BinaryDeserializer α

A wrapper around the Get monad (to avoid orphan instances).

Constructors

BinaryDeserializer

Fields

• binaryDeserializer :: Get α

Instances

Monad BinaryDeserializer

Defined in Data.Deserializer

Methods

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

(>>) :: BinaryDeserializer a -> BinaryDeserializer b -> BinaryDeserializer b

return :: a -> BinaryDeserializer a

Functor BinaryDeserializer

Defined in Data.Deserializer

Methods

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

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

Applicative BinaryDeserializer

Defined in Data.Deserializer

Methods

pure :: a -> BinaryDeserializer a

(<*>) :: BinaryDeserializer (a -> b) -> BinaryDeserializer a -> BinaryDeserializer b

liftA2 :: (a -> b -> c) -> BinaryDeserializer a -> BinaryDeserializer b -> BinaryDeserializer c

(*>) :: BinaryDeserializer a -> BinaryDeserializer b -> BinaryDeserializer b

(<*) :: BinaryDeserializer a -> BinaryDeserializer b -> BinaryDeserializer a

Alternative BinaryDeserializer

Defined in Data.Deserializer

Methods

empty :: BinaryDeserializer a

(<|>) :: BinaryDeserializer a -> BinaryDeserializer a -> BinaryDeserializer a

some :: BinaryDeserializer a -> BinaryDeserializer [a]

many :: BinaryDeserializer a -> BinaryDeserializer [a]

LookAheadParsing BinaryDeserializer

Defined in Data.Deserializer

Methods

lookAhead :: BinaryDeserializer a -> BinaryDeserializer a

Parsing BinaryDeserializer

Defined in Data.Deserializer

Methods

try :: BinaryDeserializer a -> BinaryDeserializer a

(<?>) :: BinaryDeserializer a -> String -> BinaryDeserializer a

skipMany :: BinaryDeserializer a -> BinaryDeserializer ()

skipSome :: BinaryDeserializer a -> BinaryDeserializer ()

unexpected :: String -> BinaryDeserializer a

eof :: BinaryDeserializer ()

notFollowedBy :: Show a => BinaryDeserializer a -> BinaryDeserializer ()

Deserializer BinaryDeserializer

Defined in Data.Deserializer

Methods

endian :: Proxy BinaryDeserializer -> Endian

word8 :: BinaryDeserializer Word8

word16 :: BinaryDeserializer Word16

word32 :: BinaryDeserializer Word32

word64 :: BinaryDeserializer Word64

word16L :: BinaryDeserializer Word16

word16B :: BinaryDeserializer Word16

word32L :: BinaryDeserializer Word32

word32B :: BinaryDeserializer Word32

word64L :: BinaryDeserializer Word64

word64B :: BinaryDeserializer Word64

satisfy :: (Word8 -> Bool) -> BinaryDeserializer Word8

byte :: Word8 -> BinaryDeserializer Word8

notByte :: Word8 -> BinaryDeserializer Word8

bytes :: ByteString -> BinaryDeserializer ByteString

skip :: Int -> BinaryDeserializer ()

ensure :: Int -> BinaryDeserializer ByteString

ensure_ :: Int -> BinaryDeserializer ()

check :: Int -> BinaryDeserializer Bool

take :: Int -> BinaryDeserializer ByteString

chunk :: BinaryDeserializer ByteString

isolate :: Int -> BinaryDeserializer α -> BinaryDeserializer α

Generic (BinaryDeserializer α)

Defined in Data.Deserializer

Associated Types

type Rep (BinaryDeserializer α) :: Type -> Type

Methods

from :: BinaryDeserializer α -> Rep (BinaryDeserializer α) x

to :: Rep (BinaryDeserializer α) x -> BinaryDeserializer α

type Rep (BinaryDeserializer α)

Defined in Data.Deserializer

type Rep (BinaryDeserializer α) = D1 ('MetaData "BinaryDeserializer" "Data.Deserializer" "data-serializer-0.3.5-5ZaBepw8A5rA8RyTzqFuRS" 'True) (C1 ('MetaCons "BinaryDeserializer" 'PrefixI 'True) (S1 ('MetaSel ('Just "binaryDeserializer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Get α))))

newtype CerealDeserializer α

A wrapper around the Get monad (to avoid orphan instances).

Constructors

CerealDeserializer

Fields

• cerealDeserializer :: Get α

Instances

Monad CerealDeserializer

Defined in Data.Deserializer

Methods

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

(>>) :: CerealDeserializer a -> CerealDeserializer b -> CerealDeserializer b

return :: a -> CerealDeserializer a

Functor CerealDeserializer

Defined in Data.Deserializer

Methods

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

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

Applicative CerealDeserializer

Defined in Data.Deserializer

Methods

pure :: a -> CerealDeserializer a

(<*>) :: CerealDeserializer (a -> b) -> CerealDeserializer a -> CerealDeserializer b

liftA2 :: (a -> b -> c) -> CerealDeserializer a -> CerealDeserializer b -> CerealDeserializer c

(*>) :: CerealDeserializer a -> CerealDeserializer b -> CerealDeserializer b

(<*) :: CerealDeserializer a -> CerealDeserializer b -> CerealDeserializer a

Alternative CerealDeserializer

Defined in Data.Deserializer

Methods

empty :: CerealDeserializer a

(<|>) :: CerealDeserializer a -> CerealDeserializer a -> CerealDeserializer a

some :: CerealDeserializer a -> CerealDeserializer [a]

many :: CerealDeserializer a -> CerealDeserializer [a]

LookAheadParsing CerealDeserializer

Defined in Data.Deserializer

Methods

lookAhead :: CerealDeserializer a -> CerealDeserializer a

Parsing CerealDeserializer

Defined in Data.Deserializer

Methods

try :: CerealDeserializer a -> CerealDeserializer a

(<?>) :: CerealDeserializer a -> String -> CerealDeserializer a

skipMany :: CerealDeserializer a -> CerealDeserializer ()

skipSome :: CerealDeserializer a -> CerealDeserializer ()

unexpected :: String -> CerealDeserializer a

eof :: CerealDeserializer ()

notFollowedBy :: Show a => CerealDeserializer a -> CerealDeserializer ()

Deserializer CerealDeserializer

Defined in Data.Deserializer

Methods

endian :: Proxy CerealDeserializer -> Endian

word8 :: CerealDeserializer Word8

word16 :: CerealDeserializer Word16

word32 :: CerealDeserializer Word32

word64 :: CerealDeserializer Word64

word16L :: CerealDeserializer Word16

word16B :: CerealDeserializer Word16

word32L :: CerealDeserializer Word32

word32B :: CerealDeserializer Word32

word64L :: CerealDeserializer Word64

word64B :: CerealDeserializer Word64

satisfy :: (Word8 -> Bool) -> CerealDeserializer Word8

byte :: Word8 -> CerealDeserializer Word8

notByte :: Word8 -> CerealDeserializer Word8

bytes :: ByteString -> CerealDeserializer ByteString

skip :: Int -> CerealDeserializer ()

ensure :: Int -> CerealDeserializer ByteString

ensure_ :: Int -> CerealDeserializer ()

check :: Int -> CerealDeserializer Bool

take :: Int -> CerealDeserializer ByteString

chunk :: CerealDeserializer ByteString

isolate :: Int -> CerealDeserializer α -> CerealDeserializer α

Generic (CerealDeserializer α)

Defined in Data.Deserializer

Associated Types

type Rep (CerealDeserializer α) :: Type -> Type

Methods

from :: CerealDeserializer α -> Rep (CerealDeserializer α) x

to :: Rep (CerealDeserializer α) x -> CerealDeserializer α

type Rep (CerealDeserializer α)

Defined in Data.Deserializer

type Rep (CerealDeserializer α) = D1 ('MetaData "CerealDeserializer" "Data.Deserializer" "data-serializer-0.3.5-5ZaBepw8A5rA8RyTzqFuRS" 'True) (C1 ('MetaCons "CerealDeserializer" 'PrefixI 'True) (S1 ('MetaSel ('Just "cerealDeserializer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Get α))))

Binary word parsing

word16H :: Deserializer μ => μ Word16

Deserialize an unsigned 16-bit integer in host byte order.

word32H :: Deserializer μ => μ Word32

Deserialize an unsigned 32-bit integer in host byte order.

word64H :: Deserializer μ => μ Word64

Deserialize an unsigned 64-bit integer in host byte order.

word :: Deserializer μ => μ Word

Deserialize an unsigned native-sized integer in serializer default byte order.

wordL :: Deserializer μ => μ Word

Deserialize an unsigned native-sized integer in little endian.

wordB :: Deserializer μ => μ Word

Deserialize an unsigned native-sized integer in big endian.

wordH :: Deserializer μ => μ Word

Deserialize an unsigned native-sized integer in host byte order.

int8 :: Deserializer μ => μ Int8

Deserialize a signed 8-bit integer.

int16 :: Deserializer μ => μ Int16

Deserialize a signed 16-bit integer in serializer default byte order.

int16L :: Deserializer μ => μ Int16

Deserialize a signed 16-bit integer in little endian.

int16B :: Deserializer μ => μ Int16

Deserialize a signed 16-bit integer in big endian.

int16H :: Deserializer μ => μ Int16

Deserialize a signed 16-bit integer in host byte order.

int32 :: Deserializer μ => μ Int32

Deserialize a signed 32-bit integer in serializer default byte order.

int32L :: Deserializer μ => μ Int32

Deserialize a signed 32-bit integer in little endian.

int32B :: Deserializer μ => μ Int32

Deserialize a signed 32-bit integer in big endian.

int32H :: Deserializer μ => μ Int32

Deserialize a signed 32-bit integer in host byte order.

int64 :: Deserializer μ => μ Int64

Deserialize a signed 64-bit integer in serializer default byte order.

int64L :: Deserializer μ => μ Int64

Deserialize a signed 64-bit integer in little endian.

int64B :: Deserializer μ => μ Int64

Deserialize a signed 64-bit integer in big endian.

int64H :: Deserializer μ => μ Int64

Deserialize a signed 64-bit integer in host byte order.

int :: Deserializer μ => μ Int

Deserialize a signed native-sized integer in serializer default byte order.

intL :: Deserializer μ => μ Int

Deserialize a signed native-sized integer in little endian.

intB :: Deserializer μ => μ Int

Deserialize a signed native-sized integer in big endian.

intH :: Deserializer μ => μ Int

Deserialize a signed native-sized integer in host byte order.

Parsing combinators

module Text.Parser.Combinators

label :: Parsing μ => String -> μ α -> μ α

A shorthand for flip (<?>).

module Text.Parser.LookAhead

Endian deserializers

newtype LittleEndianDeserializer μ α

Deserializer wrapper with little endian default byte order.

Constructors

LittleEndianDeserializer

Fields

• deserializeL :: μ α

Instances

Monad μ => Monad (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

(>>=) :: LittleEndianDeserializer μ a -> (a -> LittleEndianDeserializer μ b) -> LittleEndianDeserializer μ b

(>>) :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ b -> LittleEndianDeserializer μ b

return :: a -> LittleEndianDeserializer μ a

Functor μ => Functor (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

fmap :: (a -> b) -> LittleEndianDeserializer μ a -> LittleEndianDeserializer μ b

(<$) :: a -> LittleEndianDeserializer μ b -> LittleEndianDeserializer μ a

Applicative μ => Applicative (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

pure :: a -> LittleEndianDeserializer μ a

(<*>) :: LittleEndianDeserializer μ (a -> b) -> LittleEndianDeserializer μ a -> LittleEndianDeserializer μ b

liftA2 :: (a -> b -> c) -> LittleEndianDeserializer μ a -> LittleEndianDeserializer μ b -> LittleEndianDeserializer μ c

(*>) :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ b -> LittleEndianDeserializer μ b

(<*) :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ b -> LittleEndianDeserializer μ a

Alternative μ => Alternative (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

empty :: LittleEndianDeserializer μ a

(<|>) :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ a -> LittleEndianDeserializer μ a

some :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ [a]

many :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ [a]

LookAheadParsing μ => LookAheadParsing (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

lookAhead :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ a

Parsing μ => Parsing (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

try :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ a

(<?>) :: LittleEndianDeserializer μ a -> String -> LittleEndianDeserializer μ a

skipMany :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ ()

skipSome :: LittleEndianDeserializer μ a -> LittleEndianDeserializer μ ()

unexpected :: String -> LittleEndianDeserializer μ a

eof :: LittleEndianDeserializer μ ()

notFollowedBy :: Show a => LittleEndianDeserializer μ a -> LittleEndianDeserializer μ ()

Deserializer μ => Deserializer (LittleEndianDeserializer μ)

Defined in Data.Deserializer

Methods

endian :: Proxy (LittleEndianDeserializer μ) -> Endian

word8 :: LittleEndianDeserializer μ Word8

word16 :: LittleEndianDeserializer μ Word16

word32 :: LittleEndianDeserializer μ Word32

word64 :: LittleEndianDeserializer μ Word64

word16L :: LittleEndianDeserializer μ Word16

word16B :: LittleEndianDeserializer μ Word16

word32L :: LittleEndianDeserializer μ Word32

word32B :: LittleEndianDeserializer μ Word32

word64L :: LittleEndianDeserializer μ Word64

word64B :: LittleEndianDeserializer μ Word64

satisfy :: (Word8 -> Bool) -> LittleEndianDeserializer μ Word8

byte :: Word8 -> LittleEndianDeserializer μ Word8

notByte :: Word8 -> LittleEndianDeserializer μ Word8

bytes :: ByteString -> LittleEndianDeserializer μ ByteString

skip :: Int -> LittleEndianDeserializer μ ()

ensure :: Int -> LittleEndianDeserializer μ ByteString

ensure_ :: Int -> LittleEndianDeserializer μ ()

check :: Int -> LittleEndianDeserializer μ Bool

take :: Int -> LittleEndianDeserializer μ ByteString

chunk :: LittleEndianDeserializer μ ByteString

isolate :: Int -> LittleEndianDeserializer μ α -> LittleEndianDeserializer μ α

(Typeable μ, Typeable α, Data (μ α)) => Data (LittleEndianDeserializer μ α)

Defined in Data.Deserializer

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LittleEndianDeserializer μ α -> c (LittleEndianDeserializer μ α)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LittleEndianDeserializer μ α)

toConstr :: LittleEndianDeserializer μ α -> Constr

dataTypeOf :: LittleEndianDeserializer μ α -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (LittleEndianDeserializer μ α))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LittleEndianDeserializer μ α))

gmapT :: (forall b. Data b => b -> b) -> LittleEndianDeserializer μ α -> LittleEndianDeserializer μ α

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LittleEndianDeserializer μ α -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LittleEndianDeserializer μ α -> r

gmapQ :: (forall d. Data d => d -> u) -> LittleEndianDeserializer μ α -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> LittleEndianDeserializer μ α -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LittleEndianDeserializer μ α -> m (LittleEndianDeserializer μ α)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LittleEndianDeserializer μ α -> m (LittleEndianDeserializer μ α)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LittleEndianDeserializer μ α -> m (LittleEndianDeserializer μ α)

Generic (LittleEndianDeserializer μ α)

Defined in Data.Deserializer

Associated Types

type Rep (LittleEndianDeserializer μ α) :: Type -> Type

Methods

from :: LittleEndianDeserializer μ α -> Rep (LittleEndianDeserializer μ α) x

to :: Rep (LittleEndianDeserializer μ α) x -> LittleEndianDeserializer μ α

type Rep (LittleEndianDeserializer μ α)

Defined in Data.Deserializer

type Rep (LittleEndianDeserializer μ α) = D1 ('MetaData "LittleEndianDeserializer" "Data.Deserializer" "data-serializer-0.3.5-5ZaBepw8A5rA8RyTzqFuRS" 'True) (C1 ('MetaCons "LittleEndianDeserializer" 'PrefixI 'True) (S1 ('MetaSel ('Just "deserializeL") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (μ α))))

newtype BigEndianDeserializer μ α

Deserializer wrapper with big endian default byte order.

Constructors

BigEndianDeserializer

Fields

• deserializeB :: μ α

Instances

Monad μ => Monad (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

(>>=) :: BigEndianDeserializer μ a -> (a -> BigEndianDeserializer μ b) -> BigEndianDeserializer μ b

(>>) :: BigEndianDeserializer μ a -> BigEndianDeserializer μ b -> BigEndianDeserializer μ b

return :: a -> BigEndianDeserializer μ a

Functor μ => Functor (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

fmap :: (a -> b) -> BigEndianDeserializer μ a -> BigEndianDeserializer μ b

(<$) :: a -> BigEndianDeserializer μ b -> BigEndianDeserializer μ a

Applicative μ => Applicative (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

pure :: a -> BigEndianDeserializer μ a

(<*>) :: BigEndianDeserializer μ (a -> b) -> BigEndianDeserializer μ a -> BigEndianDeserializer μ b

liftA2 :: (a -> b -> c) -> BigEndianDeserializer μ a -> BigEndianDeserializer μ b -> BigEndianDeserializer μ c

(*>) :: BigEndianDeserializer μ a -> BigEndianDeserializer μ b -> BigEndianDeserializer μ b

(<*) :: BigEndianDeserializer μ a -> BigEndianDeserializer μ b -> BigEndianDeserializer μ a

Alternative μ => Alternative (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

empty :: BigEndianDeserializer μ a

(<|>) :: BigEndianDeserializer μ a -> BigEndianDeserializer μ a -> BigEndianDeserializer μ a

some :: BigEndianDeserializer μ a -> BigEndianDeserializer μ [a]

many :: BigEndianDeserializer μ a -> BigEndianDeserializer μ [a]

LookAheadParsing μ => LookAheadParsing (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

lookAhead :: BigEndianDeserializer μ a -> BigEndianDeserializer μ a

Parsing μ => Parsing (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

try :: BigEndianDeserializer μ a -> BigEndianDeserializer μ a

(<?>) :: BigEndianDeserializer μ a -> String -> BigEndianDeserializer μ a

skipMany :: BigEndianDeserializer μ a -> BigEndianDeserializer μ ()

skipSome :: BigEndianDeserializer μ a -> BigEndianDeserializer μ ()

unexpected :: String -> BigEndianDeserializer μ a

eof :: BigEndianDeserializer μ ()

notFollowedBy :: Show a => BigEndianDeserializer μ a -> BigEndianDeserializer μ ()

Deserializer μ => Deserializer (BigEndianDeserializer μ)

Defined in Data.Deserializer

Methods

endian :: Proxy (BigEndianDeserializer μ) -> Endian

word8 :: BigEndianDeserializer μ Word8

word16 :: BigEndianDeserializer μ Word16

word32 :: BigEndianDeserializer μ Word32

word64 :: BigEndianDeserializer μ Word64

word16L :: BigEndianDeserializer μ Word16

word16B :: BigEndianDeserializer μ Word16

word32L :: BigEndianDeserializer μ Word32

word32B :: BigEndianDeserializer μ Word32

word64L :: BigEndianDeserializer μ Word64

word64B :: BigEndianDeserializer μ Word64

satisfy :: (Word8 -> Bool) -> BigEndianDeserializer μ Word8

byte :: Word8 -> BigEndianDeserializer μ Word8

notByte :: Word8 -> BigEndianDeserializer μ Word8

bytes :: ByteString -> BigEndianDeserializer μ ByteString

skip :: Int -> BigEndianDeserializer μ ()

ensure :: Int -> BigEndianDeserializer μ ByteString

ensure_ :: Int -> BigEndianDeserializer μ ()

check :: Int -> BigEndianDeserializer μ Bool

take :: Int -> BigEndianDeserializer μ ByteString

chunk :: BigEndianDeserializer μ ByteString

isolate :: Int -> BigEndianDeserializer μ α -> BigEndianDeserializer μ α

(Typeable μ, Typeable α, Data (μ α)) => Data (BigEndianDeserializer μ α)

Defined in Data.Deserializer

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BigEndianDeserializer μ α -> c (BigEndianDeserializer μ α)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (BigEndianDeserializer μ α)

toConstr :: BigEndianDeserializer μ α -> Constr

dataTypeOf :: BigEndianDeserializer μ α -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (BigEndianDeserializer μ α))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (BigEndianDeserializer μ α))

gmapT :: (forall b. Data b => b -> b) -> BigEndianDeserializer μ α -> BigEndianDeserializer μ α

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BigEndianDeserializer μ α -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BigEndianDeserializer μ α -> r

gmapQ :: (forall d. Data d => d -> u) -> BigEndianDeserializer μ α -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> BigEndianDeserializer μ α -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BigEndianDeserializer μ α -> m (BigEndianDeserializer μ α)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BigEndianDeserializer μ α -> m (BigEndianDeserializer μ α)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BigEndianDeserializer μ α -> m (BigEndianDeserializer μ α)

Generic (BigEndianDeserializer μ α)

Defined in Data.Deserializer

Associated Types

type Rep (BigEndianDeserializer μ α) :: Type -> Type

Methods

from :: BigEndianDeserializer μ α -> Rep (BigEndianDeserializer μ α) x

to :: Rep (BigEndianDeserializer μ α) x -> BigEndianDeserializer μ α

type Rep (BigEndianDeserializer μ α)

Defined in Data.Deserializer

type Rep (BigEndianDeserializer μ α) = D1 ('MetaData "BigEndianDeserializer" "Data.Deserializer" "data-serializer-0.3.5-5ZaBepw8A5rA8RyTzqFuRS" 'True) (C1 ('MetaCons "BigEndianDeserializer" 'PrefixI 'True) (S1 ('MetaSel ('Just "deserializeB") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (μ α))))

deserializeIn :: Deserializer μ => Endian -> (forall μ'. Deserializer μ' => μ' α) -> μ α

Force the default byte order.

deserializeH :: Deserializer μ => (forall μ'. Deserializer μ' => μ' α) -> μ α

Force the default byte order to be the host byte order.

Default deserializer

data Deserialized α

Deserialization result.

Constructors

Deserialized α

Malformed [String] String

isDeserialized :: Deserialized α -> Bool

Map Deserialized to True and Malformed to False.

isMalformed :: Deserialized α -> Bool

Map Deserialized to False and Malformed to True.

maybeDeserialized :: Deserialized α -> Maybe α

Map Deserialized values to Just and Malformed to Nothing.

defaultDeserializer :: (forall μ. Deserializer μ => μ α) -> ByteString -> Deserialized α

Deserialize a ByteString via the default deserializer.

Deserializable types

class Deserializable α where

Deserializable type. get must not rely on eof.

Methods

get :: Deserializer μ => μ α

Instances

Deserializable Bool

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Bool

Deserializable Int

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Int

Deserializable Int8

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Int8

Deserializable Int16

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Int16

Deserializable Int32

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Int32

Deserializable Int64

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Int64

Deserializable Word

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Word

Deserializable Word8

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Word8

Deserializable Word16

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Word16

Deserializable Word32

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Word32

Deserializable Word64

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ Word64

Deserializable ByteString

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ ByteString

Deserializable ShortByteString

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ ShortByteString

Deserializable α => Deserializable (Maybe α)

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ (Maybe α)

(Deserializable α, Deserializable β) => Deserializable (Either α β)

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ (Either α β)

(Deserializable α, Deserializable β) => Deserializable (α, β)

Defined in Data.Deserializer

Methods

get :: Deserializer μ => μ (α, β)

getIn :: (Deserializer μ, Deserializable α) => Endian -> μ α

Deserialize a value using the provided default byte order.

getL :: (Deserializer μ, Deserializable α) => μ α

Deserialize a value using little endian as the default byte order.

getB :: (Deserializer μ, Deserializable α) => μ α

Deserialize a value using big endian as the default byte order.

getH :: (Deserializer μ, Deserializable α) => μ α

Deserialize a value using host byte order as the default byte order.

deserializeBytes :: Deserializable α => [Word8] -> Deserialized α

Deserialize a value of type α from a list of bytes via the defaultDeserializer.

deserializeBytesAs :: Deserializable α => p α -> [Word8] -> Deserialized α

Provide a hint for the type system when using deserializeBytes.

deserializeByteString :: Deserializable α => ByteString -> Deserialized α

Deserialize a value of type α from a ByteString via the defaultDeserializer.

deserializeByteStringAs :: Deserializable α => p α -> ByteString -> Deserialized α

Provide a hint for the type system when using deserializeByteString.

deserializeLazyByteString :: Deserializable α => ByteString -> Deserialized α

Deserialize a value of type α from a ByteString via the defaultDeserializer.

deserializeLazyByteStringAs :: Deserializable α => p α -> ByteString -> Deserialized α

Provide a hint for the type system when using deserializeLazyByteString.

fromBytes :: Deserializable α => [Word8] -> Maybe α

A shorthand for maybeDeserialized . deserializeBytes.

fromBytesAs :: Deserializable α => p α -> [Word8] -> Maybe α

Provide a hint for the type system when using fromBytes

fromByteString :: Deserializable α => ByteString -> Maybe α

A shorthand for maybeDeserialized . deserializeByteString.

fromByteStringAs :: Deserializable α => p α -> ByteString -> Maybe α

Provide a hint for the type system when using fromByteString

fromLazyByteString :: Deserializable α => ByteString -> Maybe α

A shorthand for maybeDeserialized . deserializeLazyByteString.

fromLazyByteStringAs :: Deserializable α => p α -> ByteString -> Maybe α

Provide a hint for the type system when using fromLazyByteString

class RestDeserializable α where

Deserializable type. getRest must consume all the remaining input or fail.

Methods

getRest :: Deserializer μ => μ α

Instances

RestDeserializable ByteString

Defined in Data.Deserializer

Methods

getRest :: Deserializer μ => μ ByteString

RestDeserializable ByteString

Defined in Data.Deserializer

Methods

getRest :: Deserializer μ => μ ByteString

RestDeserializable ShortByteString

Defined in Data.Deserializer

Methods

getRest :: Deserializer μ => μ ShortByteString

RestDeserializable Builder

Defined in Data.Deserializer

Methods

getRest :: Deserializer μ => μ Builder

Deserializable α => RestDeserializable [α]

Defined in Data.Deserializer

Methods

getRest :: Deserializer μ => μ [α]

(RestDeserializable α, RestDeserializable β) => RestDeserializable (Either α β)

Defined in Data.Deserializer

Methods

getRest :: Deserializer μ => μ (Either α β)

(Deserializable α, RestDeserializable β) => RestDeserializable (α, β)

Defined in Data.Deserializer

Methods

getRest :: Deserializer μ => μ (α, β)