Darcs.Patch.Annotate.Class

Documentation

type AnnotateResult = Vector (Maybe PatchInfo, ByteString)

data Content2 f g

Constructors

FileContent (f (g ByteString))

DirContent (f (g AnchoredPath))

Instances

Show Content

Defined in Darcs.Patch.Annotate.Class

Methods

showsPrec :: Int -> Content -> ShowS

show :: Content -> String

showList :: [Content] -> ShowS

Eq Content

Defined in Darcs.Patch.Annotate.Class

Methods

(==) :: Content -> Content -> Bool

(/=) :: Content -> Content -> Bool

data Annotated2 f g

Constructors

Annotated2

Fields

• annotated :: !AnnotateResult
• current :: !(Content2 f g)
• currentPath :: Maybe AnchoredPath
• currentInfo :: PatchInfo

Instances

Show Annotated

Defined in Darcs.Patch.Annotate.Class

Methods

showsPrec :: Int -> Annotated -> ShowS

show :: Annotated -> String

showList :: [Annotated] -> ShowS

Eq Annotated

Defined in Darcs.Patch.Annotate.Class

Methods

(==) :: Annotated -> Annotated -> Bool

(/=) :: Annotated -> Annotated -> Bool

type Content = Content2 List ((,) Int)

type Annotated = Annotated2 List ((,) Int)

type AnnotatedM = State Annotated

class Annotate p where

Methods

annotate :: p wX wY -> AnnotatedM ()

Instances

Annotate Prim

Defined in Darcs.Patch.Annotate

Methods

annotate :: Prim wX wY -> AnnotatedM ()

Annotate Prim

Defined in Darcs.Patch.Annotate

Methods

annotate :: Prim wX wY -> AnnotatedM ()

Annotate Prim

Defined in Darcs.Patch.V1.Prim

Methods

annotate :: Prim wX wY -> AnnotatedM ()

Annotate Prim

Defined in Darcs.Patch.V2.Prim

Methods

annotate :: Prim wX wY -> AnnotatedM ()

Annotate p => Annotate (PrimWithName name p)

Defined in Darcs.Patch.Prim.WithName

Methods

annotate :: PrimWithName name p wX wY -> AnnotatedM ()