flat-0.4.4: Principled and efficient bit-oriented binary serialization.

Safe HaskellNone
LanguageHaskell2010

Flat.Decoder.Types

Description

Strict Decoder Types

Synopsis

Documentation

newtype Get a Source #

Decoder monad

Constructors

Get 

Fields

Instances
Monad Get Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

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

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

return :: a -> Get a #

fail :: String -> Get a #

Functor Get Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

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

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

MonadFail Get Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

fail :: String -> Get a #

Applicative Get Source # 
Instance details

Defined in Flat.Decoder.Types

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) Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

showsPrec :: Int -> Get a -> ShowS #

show :: Get a -> String #

showList :: [Get a] -> ShowS #

NFData (Get a) Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

rnf :: Get a -> () #

data S Source #

Decoder state

Constructors

S 

Fields

Instances
Eq S Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

(==) :: S -> S -> Bool #

(/=) :: S -> S -> Bool #

Ord S Source # 
Instance details

Defined in Flat.Decoder.Types

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 Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

showsPrec :: Int -> S -> ShowS #

show :: S -> String #

showList :: [S] -> ShowS #

data GetResult a Source #

Constructors

GetResult !S !a 
Instances
Functor GetResult Source # 
Instance details

Defined in Flat.Decoder.Types

Methods

fmap :: (a -> b) -> GetResult a -> GetResult b #

(<$) :: a -> GetResult b -> GetResult a #

type Decoded a = Either DecodeException a Source #

A decoded value