Safe Haskell	Safe-Inferred
Language	Haskell2010

Dahdit.Codec

Documentation

type Codec a = Codec' a a Source #

build :: Get a -> (a -> Put) -> Codec a Source #

binary :: Binary a => Codec a Source #

parse :: Codec a -> Get a Source #

produce :: Codec a -> a -> Put Source #

bindPair :: Codec a -> (a -> Codec b) -> Codec (a, b) Source #

bindTag :: (b -> a) -> Codec a -> (a -> Codec b) -> Codec b Source #

class HasCodec a where Source #

Methods

codec :: Codec a Source #

Instances

Instances details

HasCodec Int8 Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Int8 Source #
HasCodec Word8 Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Word8 Source #
HasCodec BoolByte Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec BoolByte Source #
HasCodec TermBytes Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec TermBytes Source #
HasCodec FloatBE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec FloatBE Source #
HasCodec FloatLE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec FloatLE Source #
HasCodec Int16BE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Int16BE Source #
HasCodec Int16LE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Int16LE Source #
HasCodec Int24BE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Int24BE Source #
HasCodec Int24LE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Int24LE Source #
HasCodec Int32BE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Int32BE Source #
HasCodec Int32LE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Int32LE Source #
HasCodec Word16BE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Word16BE Source #
HasCodec Word16LE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Word16LE Source #
HasCodec Word24BE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Word24BE Source #
HasCodec Word24LE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Word24LE Source #
HasCodec Word32BE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Word32BE Source #
HasCodec Word32LE Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec Word32LE Source #
Binary a => HasCodec (ViaBinary a) Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec (ViaBinary a) Source #
KnownSymbol s => HasCodec (ExactBytes s) Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec (ExactBytes s) Source #
(KnownNat n, LiftedPrim a, Default a) => HasCodec (StaticArray n a) Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec (StaticArray n a) Source #
(KnownNat n, Binary a, StaticByteSized a, Default a) => HasCodec (StaticSeq n a) Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec (StaticSeq n a) Source #

newtype ViaBinary a Source #

Constructors

ViaBinary
Fields unViaBinary :: a

Instances

Instances details

Binary a => HasCodec (ViaBinary a) Source #
Instance details Defined in Dahdit.Codec Methods codec :: Codec (ViaBinary a) Source #

newtype ViaCodec a Source #

Constructors

ViaCodec
Fields unViaCodec :: a

Instances

Instances details

HasCodec a => Binary (ViaCodec a) Source #
Instance details Defined in Dahdit.Codec Methods get :: Get (ViaCodec a) Source # put :: ViaCodec a -> Put Source #
ByteSized a => ByteSized (ViaCodec a) Source #
Instance details Defined in Dahdit.Codec Methods byteSize :: ViaCodec a -> ByteCount Source #