Safe Haskell	Safe-Inferred
Language	Haskell2010

Flat.Decoder.Types

Description

Strict Decoder Types

Synopsis

Documentation

newtype Get a Source #

A decoder.

Given: * end of input buffer * current position in input buffer

returns: * decoded value * new position in input buffer

Constructors

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

Instances details

Monad Get Source #
Instance details Defined in Flat.Decoder.Types Methods (>>=) :: Get a -> (a -> Get b) -> Get b Source # (>>) :: Get a -> Get b -> Get b Source # return :: a -> Get a Source #
Functor Get Source #
Instance details Defined in Flat.Decoder.Types Methods fmap :: (a -> b) -> Get a -> Get b Source # (<$) :: a -> Get b -> Get a Source #
MonadFail Get Source #
Instance details Defined in Flat.Decoder.Types Methods fail :: String -> Get a Source #
Applicative Get Source #
Instance details Defined in Flat.Decoder.Types Methods pure :: a -> Get a Source # (<>) :: Get (a -> b) -> Get a -> Get b Source # liftA2 :: (a -> b -> c) -> Get a -> Get b -> Get c Source # (>) :: Get a -> Get b -> Get b Source # (<*) :: Get a -> Get b -> Get a Source #
Show ( Get a) Source #
Instance details Defined in Flat.Decoder.Types Methods showsPrec :: Int -> Get a -> ShowS Source # show :: Get a -> String Source # showList :: [ Get a] -> ShowS Source #
NFData ( Get a) Source #
Instance details Defined in Flat.Decoder.Types Methods rnf :: Get a -> () Source #

Decoder state

Constructors

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

Instances details

Eq S Source #
Instance details Defined in Flat.Decoder.Types Methods (==) :: S -> S -> Bool Source # (/=) :: S -> S -> Bool Source #
Ord S Source #
Instance details Defined in Flat.Decoder.Types Methods compare :: S -> S -> Ordering Source # (<) :: S -> S -> Bool Source # (<=) :: S -> S -> Bool Source # (>) :: S -> S -> Bool Source # (>=) :: S -> S -> Bool Source # max :: S -> S -> S Source # min :: S -> S -> S Source #
Show S Source #
Instance details Defined in Flat.Decoder.Types Methods showsPrec :: Int -> S -> ShowS Source # show :: S -> String Source # showList :: [ S ] -> ShowS Source #

Constructors

Instances details

Functor GetResult Source #
Instance details Defined in Flat.Decoder.Types Methods fmap :: (a -> b) -> GetResult a -> GetResult b Source # (<$) :: a -> GetResult b -> GetResult a Source #

A decoded value

An exception during decoding

Constructors

Instances details

Eq DecodeException Source #
Instance details Defined in Flat.Decoder.Types Methods (==) :: DecodeException -> DecodeException -> Bool Source # (/=) :: DecodeException -> DecodeException -> Bool Source #
Ord DecodeException Source #
Instance details Defined in Flat.Decoder.Types Methods compare :: DecodeException -> DecodeException -> Ordering Source # (<) :: DecodeException -> DecodeException -> Bool Source # (<=) :: DecodeException -> DecodeException -> Bool Source # (>) :: DecodeException -> DecodeException -> Bool Source # (>=) :: DecodeException -> DecodeException -> Bool Source # max :: DecodeException -> DecodeException -> DecodeException Source # min :: DecodeException -> DecodeException -> DecodeException Source #
Show DecodeException Source #
Instance details Defined in Flat.Decoder.Types Methods showsPrec :: Int -> DecodeException -> ShowS Source # show :: DecodeException -> String Source # showList :: [ DecodeException ] -> ShowS Source #
Exception DecodeException Source #
Instance details Defined in Flat.Decoder.Types Methods toException :: DecodeException -> SomeException Source # fromException :: SomeException -> Maybe DecodeException Source # displayException :: DecodeException -> String Source #