Data.Flat.Decoder

Strict Decoder

Documentation

strictDecoder :: Get a -> ByteString -> Either DecodeException a

strictDecoderPart :: Get a -> ByteString -> Either DecodeException a

type Decoded a = Either DecodeException a

A decoded value

data DecodeException

An exception during decoding

Instances

Eq DecodeException

Methods

(==) :: DecodeException -> DecodeException -> Bool

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

Ord DecodeException

Methods

compare :: DecodeException -> DecodeException -> Ordering

(<) :: DecodeException -> DecodeException -> Bool

(<=) :: DecodeException -> DecodeException -> Bool

(>) :: DecodeException -> DecodeException -> Bool

(>=) :: DecodeException -> DecodeException -> Bool

max :: DecodeException -> DecodeException -> DecodeException

min :: DecodeException -> DecodeException -> DecodeException

Show DecodeException

Methods

showsPrec :: Int -> DecodeException -> ShowS

show :: DecodeException -> String

showList :: [DecodeException] -> ShowS

Exception DecodeException

Methods

toException :: DecodeException -> SomeException

fromException :: SomeException -> Maybe DecodeException

displayException :: DecodeException -> String

data Get a

Decoder monad

Instances

Monad Get

Methods

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

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

return :: a -> Get a

fail :: String -> Get a

Functor Get

Methods

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

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

Applicative Get

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

Show (Get a)

Methods

showsPrec :: Int -> Get a -> ShowS

show :: Get a -> String

showList :: [Get a] -> ShowS

NFData (Get a)

Methods

rnf :: Get a -> ()

dByteString :: Get ByteString

dLazyByteString :: Get ByteString

dShortByteString :: Get ShortByteString

dShortByteString_ :: Get ShortByteString

dUTF16 :: Get Text

dUTF8 :: Get Text

decodeArrayWith :: Get a -> Get [a]

decodeListWith :: Get a -> Get [a]

dFloat :: Get Float

Decode a Float

dDouble :: Get Double

Decode a Double

dInteger :: Get Integer

dNatural :: Get Natural

dChar :: Get Char

dBool :: Get Bool

Decode a boolean

dWord8 :: Get Word8

Return the 8 most significant bits (same as dBE8)

dWord16 :: Get Word16

dWord32 :: Get Word32

dWord64 :: Get Word64

dWord :: Get Word

dInt8 :: Get Int8

dInt16 :: Get Int16

dInt32 :: Get Int32

dInt64 :: Get Int64

dInt :: Get Int

dBE8 :: Get Word8

Return the 8 most significant bits

dBE16 :: Get Word16

Return the 16 most significant bits

dBE32 :: Get Word32

Return the 32 most significant bits

dBE64 :: Get Word64

Return the 64 most significant bits

dBEBits8 :: Int -> Get Word8

Return the n most significant bits (up to maximum of 8)

The bits are returned right shifted:

unflatWith (dBEBits8 3) [128+64+32+1::Word8] == Right 7

dBEBits16 :: Int -> Get Word16

Return the n most significant bits (up to maximum of 16) The bits are returned right shifted.

dBEBits32 :: Int -> Get Word32

Return the n most significant bits (up to maximum of 8) The bits are returned right shifted.

dBEBits64 :: Int -> Get Word64

Return the n most significant bits (up to maximum of 8) The bits are returned right shifted.

dropBits :: Int -> Get ()

Drop the specified number of bits