Safe Haskell	None
Language	Haskell2010

Data.Flat.Decoder.Types

Description

Strict Decoder Types

Synopsis

Documentation

newtype Get a #

Decoder monad

Constructors

Get
Fields runGet :: Ptr Word8 -> S -> IO (GetResult a)

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 -> () #

data S #

Decoder state

Constructors

S
Fields currPtr :: !(Ptr Word8) usedBits :: !Int

Instances

Eq S #
Methods (==) :: S -> S -> Bool # (/=) :: S -> S -> Bool #
Ord S #
Methods compare :: S -> S -> Ordering # (<) :: S -> S -> Bool # (<=) :: S -> S -> Bool # (>) :: S -> S -> Bool # (>=) :: S -> S -> Bool # max :: S -> S -> S # min :: S -> S -> S #
Show S #
Methods showsPrec :: Int -> S -> ShowS # show :: S -> String # showList :: [S] -> ShowS #

Constructors

Instances

Functor GetResult #
Methods fmap :: (a -> b) -> GetResult a -> GetResult b # (<$) :: a -> GetResult b -> GetResult a #

A decoded value

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 #