binrep-0.3.1: Encode precise binary representations directly in types

Safe Haskell	Safe-Inferred
Language	Haskell2010

Haskpatch.Format.Vcdiff

Description

Synopsis

data Vcdiff (s :: Strength) = Vcdiff {
- vcdiffHeader :: Header s
}
data Header (s :: Strength) = Header {
- headerMagic :: SW s (Magic '[214, 195, 196, 0])
- headerIndicator :: SW s (Magic '[0])
}
data Window (s :: Strength) = Window {
- windowIndicator :: SW s (Magic '[0])
- windowDelta :: Delta s
}
data Delta (s :: Strength) = Delta {
- deltaIndicator :: SW s (Magic '[0])
- deltaAddRun :: ByteString
- deltaInstrs :: [InstrCode]
- deltaCopy :: ByteString
}
data InstrCode = InstrCode {
- instrCodeTriple1 :: InstrTriple
- instrCodeTriple2 :: InstrTriple
}
data InstrTriple = InstrTriple {
- instrTripleInstr :: Instr
- instrTripleSize :: Word8
- instrTripleMode :: Word8
}
data Instr
- = Instr0Noop
- | Instr1Add
- | Instr2Run
- | Instr3Copy
type VcdiffVarint = Varnat 'Redundant 'OnContinues 'BE Natural

Documentation

data Vcdiff (s :: Strength) Source #

Constructors

Vcdiff
Fields vcdiffHeader :: Header s

data Header (s :: Strength) Source #

Constructors

Header
Fields headerMagic :: SW s (Magic '[214, 195, 196, 0]) First 3 bytes are `VCD` each with their MSB on. headerIndicator :: SW s (Magic '[0]) TODO annoying and impacts rest of format. forcing to 0x00 to simplify

data Window (s :: Strength) Source #

Constructors

Window
Fields windowIndicator :: SW s (Magic '[0]) windowDelta :: Delta s

data Delta (s :: Strength) Source #

Constructors

Delta
Fields deltaIndicator :: SW s (Magic '[0]) deltaAddRun :: ByteString deltaInstrs :: [InstrCode] deltaCopy :: ByteString

data InstrCode Source #

Constructors

InstrCode
Fields instrCodeTriple1 :: InstrTriple instrCodeTriple2 :: InstrTriple

data InstrTriple Source #

Constructors

InstrTriple
Fields instrTripleInstr :: Instr instrTripleSize :: Word8 instrTripleMode :: Word8 0 and meaningless unless instr is a COPY

data Instr Source #

Constructors

Instr0Noop
Instr1Add
Instr2Run
Instr3Copy

type VcdiffVarint = Varnat 'Redundant 'OnContinues 'BE Natural Source #

Apparently from the Sfio library, also similar (but not identical) to BPS's varints.