Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Strict Decoder Types
Synopsis
- newtype Get a = Get {}
- data S = S {}
- data GetResult a = GetResult !S !a
- type Decoded a = Either DecodeException a
- data DecodeException
- = NotEnoughSpace Env
- | TooMuchSpace Env
- | BadEncoding Env String
- | BadOp String
- notEnoughSpace :: Ptr Word8 -> S -> IO a
- tooMuchSpace :: Ptr Word8 -> S -> IO a
- badEncoding :: Ptr Word8 -> S -> String -> IO a
- badOp :: String -> IO a
Documentation
A decoder.
Given:
- end of input buffer
- current position in input buffer
Returns:
- decoded value
- new position in input buffer
type Decoded a = Either DecodeException a Source #
A decoded value
data DecodeException Source #
An exception during decoding
NotEnoughSpace Env | |
TooMuchSpace Env | |
BadEncoding Env String | |
BadOp String |
Instances
Exception DecodeException Source # | |
Defined in Flat.Decoder.Types | |
Show DecodeException Source # | |
Defined in Flat.Decoder.Types showsPrec :: Int -> DecodeException -> ShowS # show :: DecodeException -> String # showList :: [DecodeException] -> ShowS # | |
Eq DecodeException Source # | |
Defined in Flat.Decoder.Types (==) :: DecodeException -> DecodeException -> Bool # (/=) :: DecodeException -> DecodeException -> Bool # | |
Ord DecodeException Source # | |
Defined in Flat.Decoder.Types compare :: DecodeException -> DecodeException -> Ordering # (<) :: DecodeException -> DecodeException -> Bool # (<=) :: DecodeException -> DecodeException -> Bool # (>) :: DecodeException -> DecodeException -> Bool # (>=) :: DecodeException -> DecodeException -> Bool # max :: DecodeException -> DecodeException -> DecodeException # min :: DecodeException -> DecodeException -> DecodeException # |