bytepatch-0.4.1: Patch byte-representable data in a bytestream
Safe HaskellSafe-Inferred
LanguageGHC2021

StreamPatch.Apply

Documentation

data Error Source #

Constructors

ErrorCompare String 
ErrorBinUnexpectedNonNull ByteString 

Instances

Instances details
Generic Error Source # 
Instance details

Defined in StreamPatch.Apply

Associated Types

type Rep Error :: Type -> Type #

Methods

from :: Error -> Rep Error x #

to :: Rep Error x -> Error #

Show Error Source # 
Instance details

Defined in StreamPatch.Apply

Methods

showsPrec :: Int -> Error -> ShowS #

show :: Error -> String #

showList :: [Error] -> ShowS #

Eq Error Source # 
Instance details

Defined in StreamPatch.Apply

Methods

(==) :: Error -> Error -> Bool #

(/=) :: Error -> Error -> Bool #

type Rep Error Source # 
Instance details

Defined in StreamPatch.Apply

type Rep Error = D1 ('MetaData "Error" "StreamPatch.Apply" "bytepatch-0.4.1-inplace" 'False) (C1 ('MetaCons "ErrorCompare" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :+: C1 ('MetaCons "ErrorBinUnexpectedNonNull" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ByteString)))

applyBinCompareFwd :: forall v m. (FwdInplaceStream m, Chunk m ~ ByteString, Compare v ByteString, Num (Index m)) => [Patch (Index m) '[Meta v, Meta] ByteString] -> m (Either Error ()) Source #

runPureBinCompareFwd :: Compare v ByteString => [Patch Int '[Meta v, Meta] ByteString] -> ByteString -> Either Error ByteString Source #

applyFwd :: (FwdInplaceStream m, Chunk m ~ a) => [Patch (Index m) '[] a] -> m () Source #

runPureFwdList :: [Patch Int '[] [a]] -> [a] -> [a] Source #

applyFwdCompare :: forall a v m. (FwdInplaceStream m, Chunk m ~ a, Compare v a, HasLength a, Num (Index m)) => [Patch (Index m) '[Meta v] a] -> m (Either Error ()) Source #

runPureFwdCompareString :: Compare v String => [Patch Int '[Meta v] String] -> String -> Either Error String Source #