Data.Serialize.Describe.Combinators.BE

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

Constructors

BE

Fields

• unwrapBE :: a

Instances

Enum a => Enum (BE a)

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)

Defined in Data.Serialize.Describe.Combinators.BE

Methods

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

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

Fractional a => Fractional (BE a)

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)

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)

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)

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)

Defined in Data.Serialize.Describe.Combinators.BE

Methods

readsPrec :: Int -> ReadS (BE a)

readList :: ReadS [BE a]

readPrec :: ReadPrec (BE a)

readListPrec :: ReadPrec [BE a]

Real a => Real (BE a)

Defined in Data.Serialize.Describe.Combinators.BE

Methods

toRational :: BE a -> Rational

Show a => Show (BE a)

Defined in Data.Serialize.Describe.Combinators.BE

Methods

showsPrec :: Int -> BE a -> ShowS

show :: BE a -> String

showList :: [BE a] -> ShowS

Describe (BE Double)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Double) :: Constraint

Methods

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

Describe (BE Float)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Float) :: Constraint

Methods

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

Describe (BE Int16)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Int16) :: Constraint

Methods

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

Describe (BE Int32)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Int32) :: Constraint

Methods

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

Describe (BE Int64)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Int64) :: Constraint

Methods

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

Describe (BE Word16)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Word16) :: Constraint

Methods

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

Describe (BE Word32)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Word32) :: Constraint

Methods

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

Describe (BE Word64)

Defined in Data.Serialize.Describe.Combinators.BE

Associated Types

type Context m (BE Word64) :: Constraint

Methods

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

Num n => Nullable (BE n)

Defined in Data.Serialize.Describe.Combinators.FList

Methods

nullVal :: BE n

type Context m (BE Double)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Double) = ()

type Context m (BE Float)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Float) = ()

type Context m (BE Int64)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Int64) = ()

type Context m (BE Int32)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Int32) = ()

type Context m (BE Int16)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Int16) = ()

type Context m (BE Word64)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Word64) = ()

type Context m (BE Word32)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Word32) = ()

type Context m (BE Word16)

Defined in Data.Serialize.Describe.Combinators.BE

type Context m (BE Word16) = ()

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

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

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

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

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

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

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

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