StreamPatch.Patch.Linearize

Documentation

class HasLength a where

Methods

getLength :: a -> Natural

Instances

HasLength String

Defined in StreamPatch.Patch.Linearize

Methods

getLength :: String -> Natural

HasLength ByteString

Defined in StreamPatch.Patch.Linearize

Methods

getLength :: ByteString -> Natural

HasLength Text

Defined in StreamPatch.Patch.Linearize

Methods

getLength :: Text -> Natural

data Error fs a

Constructors

ErrorOverlap

Two edits wrote to the same offset.

Fields

• (SeekRep 'AbsSeek)

  absolute position in stream

• (Patch 'AbsSeek fs a)

  overlapping patch

• (Patch 'AbsSeek fs a)

  previous patch

Instances

Functor (Patch 'AbsSeek fs) => Functor (Error fs)

Defined in StreamPatch.Patch.Linearize

Methods

fmap :: (a -> b) -> Error fs a -> Error fs b

(<$) :: a -> Error fs b -> Error fs a

Foldable (Patch 'AbsSeek fs) => Foldable (Error fs)

Defined in StreamPatch.Patch.Linearize

Methods

fold :: Monoid m => Error fs m -> m

foldMap :: Monoid m => (a -> m) -> Error fs a -> m

foldMap' :: Monoid m => (a -> m) -> Error fs a -> m

foldr :: (a -> b -> b) -> b -> Error fs a -> b

foldr' :: (a -> b -> b) -> b -> Error fs a -> b

foldl :: (b -> a -> b) -> b -> Error fs a -> b

foldl' :: (b -> a -> b) -> b -> Error fs a -> b

foldr1 :: (a -> a -> a) -> Error fs a -> a

foldl1 :: (a -> a -> a) -> Error fs a -> a

toList :: Error fs a -> [a]

null :: Error fs a -> Bool

length :: Error fs a -> Int

elem :: Eq a => a -> Error fs a -> Bool

maximum :: Ord a => Error fs a -> a

minimum :: Ord a => Error fs a -> a

sum :: Num a => Error fs a -> a

product :: Num a => Error fs a -> a

Traversable (Patch 'AbsSeek fs) => Traversable (Error fs)

Defined in StreamPatch.Patch.Linearize

Methods

traverse :: Applicative f => (a -> f b) -> Error fs a -> f (Error fs b)

sequenceA :: Applicative f => Error fs (f a) -> f (Error fs a)

mapM :: Monad m => (a -> m b) -> Error fs a -> m (Error fs b)

sequence :: Monad m => Error fs (m a) -> m (Error fs a)

(Eq a, Eq (Patch 'AbsSeek fs a)) => Eq (Error fs a)

Defined in StreamPatch.Patch.Linearize

Methods

(==) :: Error fs a -> Error fs a -> Bool

(/=) :: Error fs a -> Error fs a -> Bool

(Show a, ReifyConstraint Show (Flap a) fs, RMap fs, RecordToList fs) => Show (Error fs a)

Defined in StreamPatch.Patch.Linearize

Methods

showsPrec :: Int -> Error fs a -> ShowS

show :: Error fs a -> String

showList :: [Error fs a] -> ShowS

Generic (Error fs a)

Defined in StreamPatch.Patch.Linearize

Associated Types

type Rep (Error fs a) :: Type -> Type

Methods

from :: Error fs a -> Rep (Error fs a) x

to :: Rep (Error fs a) x -> Error fs a

type Rep (Error fs a)

Defined in StreamPatch.Patch.Linearize

type Rep (Error fs a) = D1 ('MetaData "Error" "StreamPatch.Patch.Linearize" "bytepatch-0.3.0-inplace" 'False) (C1 ('MetaCons "ErrorOverlap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (SeekRep 'AbsSeek)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Patch 'AbsSeek fs a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Patch 'AbsSeek fs a)))))

linearize :: HasLength a => [Patch 'AbsSeek fs a] -> Either (Error fs a) [Patch 'FwdSeek fs a]

comparePatchSeeks :: Ord (SeekRep s) => Patch s fs a -> Patch s fs a -> Ordering