darcs-2.18.5: a distributed, interactive, smart revision control system

Copyright | 2010 Petr Rockai
License | MIT
Maintainer | darcs-devel@darcs.net
Stability | experimental
Portability | portable
Safe Haskell | None
Language | Haskell2010

Darcs.Patch.Annotate

Contents

- Orphan instances

Description

Synopsis

- annotateFile :: forall (p :: Type -> Type -> Type) wX wY. AnnotateRP p => RL (PatchInfoAnd p) wX wY -> AnchoredPath -> ByteString -> AnnotateResult
- annotateDirectory :: forall (p :: Type -> Type -> Type) wX wY. AnnotateRP p => RL (PatchInfoAnd p) wX wY -> AnchoredPath -> [AnchoredPath] -> AnnotateResult
- format :: ByteString -> AnnotateResult -> String
- machineFormat :: ByteString -> AnnotateResult -> String
- type AnnotateResult = Vector (Maybe PatchInfo, ByteString)
- class Annotate (p :: Type -> Type -> Type) where
  - annotate :: p wX wY -> AnnotatedM ()
- type AnnotateRP (p :: Type -> Type -> Type) = (Annotate (PrimOf p), Invert (PrimOf p), Effect p)

# Documentation

annotateFile :: forall (p :: Type -> Type -> Type) wX wY. AnnotateRP p => RL (PatchInfoAnd p) wX wY -> AnchoredPath -> ByteString -> AnnotateResult #

annotateDirectory :: forall (p :: Type -> Type -> Type) wX wY. AnnotateRP p => RL (PatchInfoAnd p) wX wY -> AnchoredPath -> [AnchoredPath] -> AnnotateResult #

format :: ByteString -> AnnotateResult -> String #

machineFormat :: ByteString -> AnnotateResult -> String #

type AnnotateResult = Vector (Maybe PatchInfo, ByteString) #

class Annotate (p :: Type -> Type -> Type) where #

Methods

annotate :: p wX wY -> AnnotatedM () #

#### Instances

Instances details

Annotate Prim # |
Instance details Defined in Darcs.Patch.Annotate Methods annotate :: Prim wX wY -> AnnotatedM () #
Annotate Prim # |
Instance details Defined in Darcs.Patch.Annotate Methods annotate :: Prim wX wY -> AnnotatedM () #
Annotate Prim # |
Instance details Defined in Darcs.Patch.V1.Prim Methods annotate :: Prim wX wY -> AnnotatedM () #
Annotate Prim # |
Instance details Defined in Darcs.Patch.V2.Prim Methods annotate :: Prim wX wY -> AnnotatedM () #
Annotate p => Annotate (PrimWithName name p) # |
Instance details Defined in Darcs.Patch.Prim.WithName Methods annotate :: PrimWithName name p wX wY -> AnnotatedM () #

type AnnotateRP (p :: Type -> Type -> Type) = (Annotate (PrimOf p), Invert (PrimOf p), Effect p) #

This constraint expresses what is needed for a repo patch to support the high-level interface to annotation (currently annotateFile and annotateDirectory)

# Orphan instances

Annotate Prim # |
Instance details Methods annotate :: Prim wX wY -> AnnotatedM () #
Annotate Prim # |
Instance details Methods annotate :: Prim wX wY -> AnnotatedM () #