describe-0.4.0.5: Combinators for describing binary data structures

Safe HaskellNone
LanguageHaskell2010

Data.Serialize.Describe.Combinators.BE

Description

Big endian combinators.

All combinators take a function that takes the structure being described (a) and produces the specified data type from it. Most of the time, this will be one of the structure's fields, which are all functions from the structure to the field type.

Documentation

newtype BE a Source #

Constructors

BE 

Fields

Instances
Enum a => Enum (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

succ :: BE a -> BE a #

pred :: BE a -> BE a #

toEnum :: Int -> BE a #

fromEnum :: BE a -> Int #

enumFrom :: BE a -> [BE a] #

enumFromThen :: BE a -> BE a -> [BE a] #

enumFromTo :: BE a -> BE a -> [BE a] #

enumFromThenTo :: BE a -> BE a -> BE a -> [BE a] #

Eq a => Eq (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

(==) :: BE a -> BE a -> Bool #

(/=) :: BE a -> BE a -> Bool #

Fractional a => Fractional (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

(/) :: BE a -> BE a -> BE a #

recip :: BE a -> BE a #

fromRational :: Rational -> BE a #

Integral a => Integral (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

quot :: BE a -> BE a -> BE a #

rem :: BE a -> BE a -> BE a #

div :: BE a -> BE a -> BE a #

mod :: BE a -> BE a -> BE a #

quotRem :: BE a -> BE a -> (BE a, BE a) #

divMod :: BE a -> BE a -> (BE a, BE a) #

toInteger :: BE a -> Integer #

Num a => Num (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

(+) :: BE a -> BE a -> BE a #

(-) :: BE a -> BE a -> BE a #

(*) :: BE a -> BE a -> BE a #

negate :: BE a -> BE a #

abs :: BE a -> BE a #

signum :: BE a -> BE a #

fromInteger :: Integer -> BE a #

Ord a => Ord (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

compare :: BE a -> BE a -> Ordering #

(<) :: BE a -> BE a -> Bool #

(<=) :: BE a -> BE a -> Bool #

(>) :: BE a -> BE a -> Bool #

(>=) :: BE a -> BE a -> Bool #

max :: BE a -> BE a -> BE a #

min :: BE a -> BE a -> BE a #

Read a => Read (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Real a => Real (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

toRational :: BE a -> Rational #

Show a => Show (BE a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

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

show :: BE a -> String #

showList :: [BE a] -> ShowS #

Describe (BE Double) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Double) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Double)) => DescriptorM m (BE Double) (BE Double) Source #

Describe (BE Float) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Float) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Float)) => DescriptorM m (BE Float) (BE Float) Source #

Describe (BE Int16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Int16) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Int16)) => DescriptorM m (BE Int16) (BE Int16) Source #

Describe (BE Int32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Int32) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Int32)) => DescriptorM m (BE Int32) (BE Int32) Source #

Describe (BE Int64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Int64) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Int64)) => DescriptorM m (BE Int64) (BE Int64) Source #

Describe (BE Word16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Word16) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Word16)) => DescriptorM m (BE Word16) (BE Word16) Source #

Describe (BE Word32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Word32) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Word32)) => DescriptorM m (BE Word32) (BE Word32) Source #

Describe (BE Word64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Word64) :: Constraint Source #

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (BE Word64)) => DescriptorM m (BE Word64) (BE Word64) Source #

Num n => Nullable (BE n) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: BE n Source #

type Context m (BE Double) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Double) = ()
type Context m (BE Float) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Float) = ()
type Context m (BE Int64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Int64) = ()
type Context m (BE Int32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Int32) = ()
type Context m (BE Int16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Int16) = ()
type Context m (BE Word64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Word64) = ()
type Context m (BE Word32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Word32) = ()
type Context m (BE Word16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Word16) = ()

w16 :: Integral i => (s -> i) -> Descriptor s i Source #

w32 :: Integral i => (s -> i) -> Descriptor s i Source #

w64 :: Integral i => (s -> i) -> Descriptor s i Source #

i16 :: Integral i => (s -> i) -> Descriptor s i Source #

i32 :: Integral i => (s -> i) -> Descriptor s i Source #

i64 :: Integral i => (s -> i) -> Descriptor s i Source #

f32 :: (Real f, Fractional f) => (s -> f) -> Descriptor s f Source #

f64 :: (Real f, Fractional f) => (s -> f) -> Descriptor s f Source #