BytePatch

Documentation

data MultiPatch s a

Constructors

MultiPatch

Fields

• mpData :: a
• mpAt :: [Seek s a]

Instances

(Eq a, Eq (SeekRep s)) => Eq (MultiPatch s a)

Defined in BytePatch

Methods

(==) :: MultiPatch s a -> MultiPatch s a -> Bool

(/=) :: MultiPatch s a -> MultiPatch s a -> Bool

(Show a, Show (SeekRep s)) => Show (MultiPatch s a)

Defined in BytePatch

Methods

showsPrec :: Int -> MultiPatch s a -> ShowS

show :: MultiPatch s a -> String

showList :: [MultiPatch s a] -> ShowS

Generic (MultiPatch s a)

Defined in BytePatch

Associated Types

type Rep (MultiPatch s a) :: Type -> Type

Methods

from :: MultiPatch s a -> Rep (MultiPatch s a) x

to :: Rep (MultiPatch s a) x -> MultiPatch s a

(ToJSON (SeekRep s), ToJSON a) => ToJSON (MultiPatch s a)

Defined in BytePatch

Methods

toJSON :: MultiPatch s a -> Value

toEncoding :: MultiPatch s a -> Encoding

toJSONList :: [MultiPatch s a] -> Value

toEncodingList :: [MultiPatch s a] -> Encoding

(FromJSON (SeekRep s), FromJSON a) => FromJSON (MultiPatch s a)

Defined in BytePatch

Methods

parseJSON :: Value -> Parser (MultiPatch s a)

parseJSONList :: Value -> Parser [MultiPatch s a]

type Rep (MultiPatch s a)

Defined in BytePatch

type Rep (MultiPatch s a) = D1 ('MetaData "MultiPatch" "BytePatch" "bytepatch-0.3.0-inplace" 'False) (C1 ('MetaCons "MultiPatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "mpData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "mpAt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Seek s a])))

data Seek s a

Constructors

Seek

Fields

• sSeek :: SeekRep s
• sExpected :: Maybe a
• sNullTerminates :: Maybe (SeekRep 'FwdSeek)
• sMaxBytes :: Maybe (SeekRep 'FwdSeek)
• sAligned :: Maybe Natural

Instances

(Eq a, Eq (SeekRep s)) => Eq (Seek s a)

Defined in BytePatch

Methods

(==) :: Seek s a -> Seek s a -> Bool

(/=) :: Seek s a -> Seek s a -> Bool

(Show a, Show (SeekRep s)) => Show (Seek s a)

Defined in BytePatch

Methods

showsPrec :: Int -> Seek s a -> ShowS

show :: Seek s a -> String

showList :: [Seek s a] -> ShowS

Generic (Seek s a)

Defined in BytePatch

Associated Types

type Rep (Seek s a) :: Type -> Type

Methods

from :: Seek s a -> Rep (Seek s a) x

to :: Rep (Seek s a) x -> Seek s a

(ToJSON (SeekRep s), ToJSON a) => ToJSON (Seek s a)

Defined in BytePatch

Methods

toJSON :: Seek s a -> Value

toEncoding :: Seek s a -> Encoding

toJSONList :: [Seek s a] -> Value

toEncodingList :: [Seek s a] -> Encoding

(FromJSON (SeekRep s), FromJSON a) => FromJSON (Seek s a)

Defined in BytePatch

Methods

parseJSON :: Value -> Parser (Seek s a)

parseJSONList :: Value -> Parser [Seek s a]

type Rep (Seek s a)

Defined in BytePatch

type Rep (Seek s a) = D1 ('MetaData "Seek" "BytePatch" "bytepatch-0.3.0-inplace" 'False) (C1 ('MetaCons "Seek" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sSeek") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SeekRep s)) :*: S1 ('MetaSel ('Just "sExpected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))) :*: (S1 ('MetaSel ('Just "sNullTerminates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (SeekRep 'FwdSeek))) :*: (S1 ('MetaSel ('Just "sMaxBytes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (SeekRep 'FwdSeek))) :*: S1 ('MetaSel ('Just "sAligned") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Natural))))))

data Aligned p

Constructors

Aligned

Fields

• alignedAlign :: SeekRep 'RelSeek
• alignedPatches :: [p]

Instances

Eq p => Eq (Aligned p)

Defined in BytePatch

Methods

(==) :: Aligned p -> Aligned p -> Bool

(/=) :: Aligned p -> Aligned p -> Bool

Show p => Show (Aligned p)

Defined in BytePatch

Methods

showsPrec :: Int -> Aligned p -> ShowS

show :: Aligned p -> String

showList :: [Aligned p] -> ShowS

Generic (Aligned p)

Defined in BytePatch

Associated Types

type Rep (Aligned p) :: Type -> Type

Methods

from :: Aligned p -> Rep (Aligned p) x

to :: Rep (Aligned p) x -> Aligned p

ToJSON p => ToJSON (Aligned p)

Defined in BytePatch

Methods

toJSON :: Aligned p -> Value

toEncoding :: Aligned p -> Encoding

toJSONList :: [Aligned p] -> Value

toEncodingList :: [Aligned p] -> Encoding

FromJSON p => FromJSON (Aligned p)

Defined in BytePatch

Methods

parseJSON :: Value -> Parser (Aligned p)

parseJSONList :: Value -> Parser [Aligned p]

type Rep (Aligned p)

Defined in BytePatch

type Rep (Aligned p) = D1 ('MetaData "Aligned" "BytePatch" "bytepatch-0.3.0-inplace" 'False) (C1 ('MetaCons "Aligned" 'PrefixI 'True) (S1 ('MetaSel ('Just "alignedAlign") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SeekRep 'RelSeek)) :*: S1 ('MetaSel ('Just "alignedPatches") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [p])))

jsonCfgCamelDrop :: Int -> Options

convert :: (Seek s a -> Rec (Flap a) fs) -> MultiPatch s a -> [Patch s fs a]

convertBinAlign :: forall s a. SeekRep s ~ Natural => MultiPatch 'RelSeek a -> [Patch 'RelSeek '[Const (Meta s), Const Meta, MetaStream] a]

convertBin :: forall s a. MultiPatch s a -> [Patch s '[Const Meta, MetaStream] a]

convertAlign :: forall s a. SeekRep s ~ Natural => MultiPatch 'RelSeek a -> [Patch 'RelSeek '[Const (Meta s)] a]

convertEmpty :: forall s a. MultiPatch s a -> [Patch s '[] a]

align :: forall s a ss rs is i r. (SeekRep s ~ Natural, r ~ Const (Meta s), rs ~ RDelete r ss, RElem r ss i, RSubset rs ss is) => Aligned (Patch 'RelSeek ss a) -> Either (Error s) [Patch s rs a]

cmBin :: Seek s a -> Rec (Flap a) '[Const Meta]

cmBinStream :: Seek s a -> Rec (Flap a) '[MetaStream]

cmAlign :: SeekRep s ~ Natural => Seek 'RelSeek a -> Rec (Flap a) '[Const (Meta s)]

cm :: f a -> Rec (Flap a) '[f]