Darcs.Patch.PatchInfoAnd

Documentation

data Hopefully a wX wY

Hopefully p C (x y) is Either String (p C (x y)) in a form adapted to darcs patches. The C (x y) represents the type witness for the patch that should be there. The Hopefully type just tells whether we expect the patch to be hashed or not, and SimpleHopefully does the real work of emulating Either. Hopefully sh represents an expected unhashed patch, and Hashed hash sh represents an expected hashed patch with its hash.

Constructors

Hopefully (SimpleHopefully a wX wY)

Hashed String (SimpleHopefully a wX wY)

Instances

Show (a wX wY) => Show (Hopefully a wX wY)

data SimpleHopefully a wX wY

SimpleHopefully is a variant of Either String adapted for type witnesses. Actually is the equivalent of Right, while Unavailable is Left.

Constructors

Actually (a wX wY)

Unavailable String

Instances

Show (a wX wY) => Show (SimpleHopefully a wX wY)

data PatchInfoAnd p wA wB

PatchInfoAnd p wA wB represents a hope we have to get a patch through its info. We're not sure we have the patch, but we know its info.

Constructors

PIAP !PatchInfo (Hopefully (Named p) wA wB)

Instances

Show2 p => Show2 (PatchInfoAnd p)

MyEq (PatchInfoAnd p)

PatchListFormat (PatchInfoAnd p)

PatchInspect p => PatchInspect (PatchInfoAnd p)

PatchDebug p => PatchDebug (PatchInfoAnd p)

(ReadPatch p, PatchListFormat p) => ReadPatch (PatchInfoAnd p)

Invert p => Invert (PatchInfoAnd p)

(Commute p, NameHack p) => Commute (PatchInfoAnd p)

(Merge p, NameHack p) => Merge (PatchInfoAnd p)

Apply p => Apply (PatchInfoAnd p)

RepairToFL p => Repair (PatchInfoAnd p)

(Apply p, Conflict p, CommuteNoConflicts p, IsHunk p, PatchListFormat p, PrimPatchBase p, ShowPatch p, (~) ((* -> *) -> *) (ApplyState p) Tree) => ShowPatch (PatchInfoAnd p)

(PatchListFormat p, ShowPatchBasic p) => ShowPatchBasic (PatchInfoAnd p)

(Patchy p, NameHack p, (~) ((* -> *) -> *) (ApplyState p) Tree) => Patchy (PatchInfoAnd p)

IsHunk (PatchInfoAnd p)

PrimPatchBase p => PrimPatchBase (PatchInfoAnd p)

Effect p => Effect (PatchInfoAnd p)

Show2 p => Show1 (PatchInfoAnd p wX)

Show2 p => Show (PatchInfoAnd p wA wB)

type ApplyState (PatchInfoAnd p) = ApplyState p

type PrimOf (PatchInfoAnd p) = PrimOf p

data WPatchInfo wA wB

WPatchInfo wA wB represents the info of a patch, marked with the patch's witnesses.

Instances

MyEq WPatchInfo

unWPatchInfo :: WPatchInfo wA wB -> PatchInfo

compareWPatchInfo :: WPatchInfo wA wB -> WPatchInfo wC wD -> EqCheck (wA, wB) (wC, wD)

piap :: PatchInfo -> Named p wA wB -> PatchInfoAnd p wA wB

piap i p creates a PatchInfoAnd containing p with info i.

n2pia :: Named p wX wY -> PatchInfoAnd p wX wY

n2pia creates a PatchInfoAnd representing a Named patch.

patchInfoAndPatch :: PatchInfo -> Hopefully (Named p) wA wB -> PatchInfoAnd p wA wB

fmapPIAP :: (forall wA wB. p wA wB -> q wA wB) -> PatchInfoAnd p wX wY -> PatchInfoAnd q wX wY

fmapFLPIAP :: (FL p wX wY -> FL q wX wY) -> PatchInfoAnd p wX wY -> PatchInfoAnd q wX wY

conscientiously :: (Doc -> Doc) -> PatchInfoAnd p wA wB -> Named p wA wB

conscientiously er hp tries to extract a patch from a PatchInfoAnd. If it fails, it applies the error handling function er to a description of the patch info component of hp.

hopefully :: PatchInfoAnd p wA wB -> Named p wA wB

hopefully hp tries to get a patch from a PatchInfoAnd value. If it fails, it outputs an error "failed to read patch: <description of the patch>". We get the description of the patch from the info part of hp

info :: PatchInfoAnd p wA wB -> PatchInfo

winfo :: PatchInfoAnd p wA wB -> WPatchInfo wA wB

hopefullyM :: Monad m => PatchInfoAnd p wA wB -> m (Named p wA wB)

hopefullyM is a version of hopefully which calls fail in a monad instead of erroring.

createHashed :: String -> (String -> IO (Sealed (a wX))) -> IO (Sealed (Hopefully a wX))

extractHash :: PatchInfoAnd p wA wB -> Either (Named p wA wB) String

actually :: a wX wY -> Hopefully a wX wY

unavailable :: String -> Hopefully a wX wY

patchDesc :: forall p wX wY. PatchInfoAnd p wX wY -> String