bytepatch-0.2.0: Patch byte-representable data in a bytestream.
Safe HaskellNone
LanguageHaskell2010

BytePatch.Core

Synopsis

Documentation

data Overwrite a Source #

A single in-place edit.

Overwrites may store extra metadata that can be used at patch time to validate input data (i.e. check we're patching the expected file).

Constructors

Overwrite a (OverwriteMeta a) 

Instances

Instances details
Eq a => Eq (Overwrite a) Source # 
Instance details

Defined in BytePatch.Core

Methods

(==) :: Overwrite a -> Overwrite a -> Bool #

(/=) :: Overwrite a -> Overwrite a -> Bool #

Show a => Show (Overwrite a) Source # 
Instance details

Defined in BytePatch.Core

Generic (Overwrite a) Source # 
Instance details

Defined in BytePatch.JSON

Associated Types

type Rep (Overwrite a) :: Type -> Type #

Methods

from :: Overwrite a -> Rep (Overwrite a) x #

to :: Rep (Overwrite a) x -> Overwrite a #

ToJSON a => ToJSON (Overwrite a) Source # 
Instance details

Defined in BytePatch.JSON

FromJSON a => FromJSON (Overwrite a) Source # 
Instance details

Defined in BytePatch.JSON

type Rep (Overwrite a) Source # 
Instance details

Defined in BytePatch.JSON

type Rep (Overwrite a) = D1 ('MetaData "Overwrite" "BytePatch.Core" "bytepatch-0.2.0-2TXM0rJut3lJpkgCCGgU2G" 'False) (C1 ('MetaCons "Overwrite" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OverwriteMeta a))))

data OverwriteMeta a Source #

Optional patch time data for an overwrite.

Constructors

OverwriteMeta 

Fields

Instances

Instances details
Functor OverwriteMeta Source # 
Instance details

Defined in BytePatch.Core

Methods

fmap :: (a -> b) -> OverwriteMeta a -> OverwriteMeta b #

(<$) :: a -> OverwriteMeta b -> OverwriteMeta a #

Foldable OverwriteMeta Source # 
Instance details

Defined in BytePatch.Core

Methods

fold :: Monoid m => OverwriteMeta m -> m #

foldMap :: Monoid m => (a -> m) -> OverwriteMeta a -> m #

foldMap' :: Monoid m => (a -> m) -> OverwriteMeta a -> m #

foldr :: (a -> b -> b) -> b -> OverwriteMeta a -> b #

foldr' :: (a -> b -> b) -> b -> OverwriteMeta a -> b #

foldl :: (b -> a -> b) -> b -> OverwriteMeta a -> b #

foldl' :: (b -> a -> b) -> b -> OverwriteMeta a -> b #

foldr1 :: (a -> a -> a) -> OverwriteMeta a -> a #

foldl1 :: (a -> a -> a) -> OverwriteMeta a -> a #

toList :: OverwriteMeta a -> [a] #

null :: OverwriteMeta a -> Bool #

length :: OverwriteMeta a -> Int #

elem :: Eq a => a -> OverwriteMeta a -> Bool #

maximum :: Ord a => OverwriteMeta a -> a #

minimum :: Ord a => OverwriteMeta a -> a #

sum :: Num a => OverwriteMeta a -> a #

product :: Num a => OverwriteMeta a -> a #

Traversable OverwriteMeta Source # 
Instance details

Defined in BytePatch.Core

Methods

traverse :: Applicative f => (a -> f b) -> OverwriteMeta a -> f (OverwriteMeta b) #

sequenceA :: Applicative f => OverwriteMeta (f a) -> f (OverwriteMeta a) #

mapM :: Monad m => (a -> m b) -> OverwriteMeta a -> m (OverwriteMeta b) #

sequence :: Monad m => OverwriteMeta (m a) -> m (OverwriteMeta a) #

Eq a => Eq (OverwriteMeta a) Source # 
Instance details

Defined in BytePatch.Core

Show a => Show (OverwriteMeta a) Source # 
Instance details

Defined in BytePatch.Core

Generic (OverwriteMeta a) Source # 
Instance details

Defined in BytePatch.JSON

Associated Types

type Rep (OverwriteMeta a) :: Type -> Type #

ToJSON a => ToJSON (OverwriteMeta a) Source # 
Instance details

Defined in BytePatch.JSON

FromJSON a => FromJSON (OverwriteMeta a) Source # 
Instance details

Defined in BytePatch.JSON

type Rep (OverwriteMeta a) Source # 
Instance details

Defined in BytePatch.JSON

type Rep (OverwriteMeta a) = D1 ('MetaData "OverwriteMeta" "BytePatch.Core" "bytepatch-0.2.0-2TXM0rJut3lJpkgCCGgU2G" 'False) (C1 ('MetaCons "OverwriteMeta" 'PrefixI 'True) (S1 ('MetaSel ('Just "omNullTerminates") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Int)) :*: S1 ('MetaSel ('Just "omExpected") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a))))