Darcs.Patch.Prim.V3.Core

Documentation

data Prim wX wY where

Constructors

BinaryHunk :: !UUID -> Hunk wX wY -> Prim wX wY

TextHunk :: !UUID -> Hunk wX wY -> Prim wX wY

Manifest :: !UUID -> Location -> Prim wX wY

Demanifest :: !UUID -> Location -> Prim wX wY

Move :: !UUID -> Location -> Location -> Prim wX wY

Identity :: Prim wX wX

Instances

Show2 Prim

MyEq Prim

PatchInspect Prim

Invert Prim

IsHunk Prim

PrimConstruct Prim

PrimClassify Prim

Show1 (Prim wX)

Eq (Prim wX wY)

Show (Prim wX wY)

type ApplyState Prim = ObjectMap

type PrimOf Prim = Prim

data Hunk wX wY where

Constructors

Hunk :: !Int -> ByteString -> ByteString -> Hunk wX wY

Instances

Show2 Hunk

MyEq Hunk

Show1 (Hunk wX)

Show (Hunk wX wY)

newtype UUID

Constructors

UUID ByteString

Instances

Eq UUID

Ord UUID

Show UUID

type Location = (UUID, ByteString)

data Object m

Constructors

Directory DirContent

Blob (m ByteString) !Hash

touches :: Prim wX wY -> [UUID]

hunkEdit :: Hunk wX wY -> ByteString -> ByteString