describe-0.3.0.1: Combinators for describing binary data structures

Safe HaskellNone
LanguageHaskell2010

Data.Serialize.Describe.Class

Documentation

class Describe a Source #

Instances
Describe Bool Source # 
Instance details

Defined in Data.Serialize.Describe.Class

Methods

describe :: (s -> Bool) -> Descriptor s Bool Source #

Describe Int8 Source # 
Instance details

Defined in Data.Serialize.Describe.Class

Methods

describe :: (s -> Int8) -> Descriptor s Int8 Source #

Describe Word8 Source # 
Instance details

Defined in Data.Serialize.Describe.Class

Methods

describe :: (s -> Word8) -> Descriptor s Word8 Source #

Describe () Source # 
Instance details

Defined in Data.Serialize.Describe.Class

Methods

describe :: (s -> ()) -> Descriptor s () Source #

Describe Remaining Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.Remaining

Describe (LE Double) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Double) -> Descriptor s (LE Double) Source #

Describe (LE Float) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Float) -> Descriptor s (LE Float) Source #

Describe (LE Int16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Int16) -> Descriptor s (LE Int16) Source #

Describe (LE Int32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Int32) -> Descriptor s (LE Int32) Source #

Describe (LE Int64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Int64) -> Descriptor s (LE Int64) Source #

Describe (LE Word16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Word16) -> Descriptor s (LE Word16) Source #

Describe (LE Word32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Word32) -> Descriptor s (LE Word32) Source #

Describe (LE Word64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LE

Methods

describe :: (s -> LE Word64) -> Descriptor s (LE Word64) Source #

KnownNat n => Describe (FText n) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.FText

Methods

describe :: (s -> FText n) -> Descriptor s (FText n) Source #

Enum e => Describe (ByteEnum e) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.ByteEnum

Methods

describe :: (s -> ByteEnum e) -> Descriptor s (ByteEnum e) Source #

Describe (BE Double) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Double) -> Descriptor s (BE Double) Source #

Describe (BE Float) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Float) -> Descriptor s (BE Float) Source #

Describe (BE Int16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Int16) -> Descriptor s (BE Int16) Source #

Describe (BE Int32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Int32) -> Descriptor s (BE Int32) Source #

Describe (BE Int64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Int64) -> Descriptor s (BE Int64) Source #

Describe (BE Word16) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Word16) -> Descriptor s (BE Word16) Source #

Describe (BE Word32) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Word32) -> Descriptor s (BE Word32) Source #

Describe (BE Word64) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.BE

Methods

describe :: (s -> BE Word64) -> Descriptor s (BE Word64) Source #

(Describe a, Arity n, Vector (Vec n) a, KnownNat n) => Describe (Vec n a) Source # 
Instance details

Defined in Data.Serialize.Describe.Class

Methods

describe :: (s -> Vec n a) -> Descriptor s (Vec n a) Source #

(KnownNat n, Nullable a, Describe a) => Describe (FList n a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.FList

Methods

describe :: (s -> FList n a) -> Descriptor s (FList n a) Source #

(Describe a, Predicate a p) => Describe (Optional p a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.Conditional

Methods

describe :: (s -> Optional p a) -> Descriptor s (Optional p a) Source #

(Describe t, Describe a, Integral t) => Describe (LPList t a) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.LPList

Methods

describe :: (s -> LPList t a) -> Descriptor s (LPList t a) Source #

(KnownNat n, Describe t, Integral t) => Describe (Const n t) Source # 
Instance details

Defined in Data.Serialize.Describe.Combinators.Const

Methods

describe :: (s -> Const n t) -> Descriptor s (Const n t) Source #

describe :: Describe a => (s -> a) -> Descriptor s a Source #