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

Safe Haskell | None
Language | Haskell2010

Darcs.Patch.V2.Non

Synopsis

- data Non (p :: Type -> Type -> Type) wX where
  - Non :: forall (p :: Type -> Type -> Type) wX wY wZ. FL p wX wY -> PrimOf p wY wZ -> Non p wX
- class Nonable (p :: Type -> Type -> Type) where
  - non :: p wX wY -> Non p wX
- unNon :: forall (p :: Type -> Type -> Type) wX. FromPrim p => Non p wX -> Sealed (FL p wX)
- showNon :: forall (p :: Type -> Type -> Type) wX. (ShowPatchBasic p, PatchListFormat p, PrimPatchBase p) => ShowPatchFor -> Non p wX -> Doc
- showNons :: forall (p :: Type -> Type -> Type) wX. (ShowPatchBasic p, PatchListFormat p, PrimPatchBase p) => ShowPatchFor -> [Non p wX] -> Doc
- readNon :: forall (p :: Type -> Type -> Type) wX. (ReadPatch p, PatchListFormat p, PrimPatchBase p) => Parser (Non p wX)
- readNons :: forall (p :: Type -> Type -> Type) wX. (ReadPatch p, PatchListFormat p, PrimPatchBase p) => Parser [Non p wX]
- commutePrimsOrAddToCtx :: forall l (p :: Type -> Type -> Type) wX wY. (WL l, Apply p, Commute p, Invert p, ToFromPrim p) => l (PrimOf p) wX wY -> Non p wY -> Non p wX
- commuteOrAddToCtx :: (Commute p, ToFromPrim p) => p wX wY -> Non p wY -> Non p wX
- commuteOrRemFromCtx :: (Commute p, Invert p, Eq2 p, ToFromPrim p) => p wX wY -> Non p wX -> Maybe (Non p wY)
- commuteOrAddToCtxRL :: forall (p :: Type -> Type -> Type) wX wY. (Apply p, Commute p, Invert p, ToFromPrim p) => RL p wX wY -> Non p wY -> Non p wX
- commuteOrRemFromCtxFL :: forall (p :: Type -> Type -> Type) wX wY. (Apply p, Commute p, Invert p, Eq2 p, ToFromPrim p) => FL p wX wY -> Non p wX -> Maybe (Non p wY)
- remNons :: forall (p :: Type -> Type -> Type) wX. (Nonable p, Effect p, Apply p, Commute p, Invert p, Eq2 p, ToFromPrim p, PrimPatchBase p) => [Non p wX] -> Non p wX -> Non p wX
- (*>) :: (Commute p, Invert p, ToFromPrim p) => Non p wX -> p wX wY -> Maybe (Non p wY)
- (>*) :: (Commute p, ToFromPrim p) => p wX wY -> Non p wY -> Maybe (Non p wX)
- (*>>) :: forall l (p :: Type -> Type -> Type) wX wY. (WL l, Apply p, Commute p, Invert p, ToFromPrim p, PrimPatchBase p) => Non p wX -> l (PrimOf p) wX wY -> Maybe (Non p wY)
- (>>*) :: forall l (p :: Type -> Type -> Type) wX wY. (WL l, Apply p, Commute p, Invert p, ToFromPrim p) => l (PrimOf p) wX wY -> Non p wY -> Maybe (Non p wX)

# Documentation

data Non (p :: Type -> Type -> Type) wX where #

A `Non` stores a context with a `Prim` patch. It is a patch whose effect isn't visible - a Non-affecting patch.

Constructors

Non :: forall (p :: Type -> Type -> Type) wX wY wZ. FL p wX wY -> PrimOf p wY wZ -> Non p wX |

#### Instances

Instances details

(Show2 p, Show2 (PrimOf p)) => Show1 (Non p) # |
Instance details Defined in Darcs.Patch.V2.Non Methods showDict1 :: Dict (Show (Non p wX)) #
(Show2 p, Show2 (PrimOf p)) => Show (Non p wX) # |
Instance details Defined in Darcs.Patch.V2.Non Methods showsPrec :: Int -> Non p wX -> ShowS # show :: Non p wX -> String # showList :: [Non p wX] -> ShowS #
(Commute p, Eq2 p, Eq2 (PrimOf p)) => Eq (Non p wX) # | Nons are equal if their context patches are equal, and they have an equal prim patch.
Instance details Defined in Darcs.Patch.V2.Non Methods (==) :: Non p wX -> Non p wX -> Bool # (/=) :: Non p wX -> Non p wX -> Bool #

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

Nonable represents the class of patches that can be turned into a Non.

Methods

non :: p wX wY -> Non p wX #

#### Instances

Instances details

PrimPatch prim => Nonable (RepoPatchV2 prim) # |
Instance details Defined in Darcs.Patch.V2.RepoPatch Methods non :: RepoPatchV2 prim wX wY -> Non (RepoPatchV2 prim) wX #

unNon :: forall (p :: Type -> Type -> Type) wX. FromPrim p => Non p wX -> Sealed (FL p wX) #

unNon converts a Non into a FL of its context followed by the primitive patch.

showNon :: forall (p :: Type -> Type -> Type) wX. (ShowPatchBasic p, PatchListFormat p, PrimPatchBase p) => ShowPatchFor -> Non p wX -> Doc #

showNon creates a Doc representing a Non.

showNons :: forall (p :: Type -> Type -> Type) wX. (ShowPatchBasic p, PatchListFormat p, PrimPatchBase p) => ShowPatchFor -> [Non p wX] -> Doc #

showNons creates a Doc representing a list of Nons.

readNon :: forall (p :: Type -> Type -> Type) wX. (ReadPatch p, PatchListFormat p, PrimPatchBase p) => Parser (Non p wX) #

readNon is a parser that attempts to read a single Non.

readNons :: forall (p :: Type -> Type -> Type) wX. (ReadPatch p, PatchListFormat p, PrimPatchBase p) => Parser [Non p wX] #

readNons is a parser that attempts to read a list of Nons.

commutePrimsOrAddToCtx :: forall l (p :: Type -> Type -> Type) wX wY. (WL l, Apply p, Commute p, Invert p, ToFromPrim p) => l (PrimOf p) wX wY -> Non p wY -> Non p wX #

commutePrimsOrAddToCtx takes a WL of prims and attempts to commute them past a Non.

commuteOrAddToCtx :: (Commute p, ToFromPrim p) => p wX wY -> Non p wY -> Non p wX #

`commuteOrAddToCtx` `x cy` tries to commute `x` past `cy` and always returns some variant `cy'`. If commutation suceeds, the variant is just straightforwardly the commuted version. If commutation fails, the variant consists of `x` prepended to the context of `cy`.

commuteOrRemFromCtx :: (Commute p, Invert p, Eq2 p, ToFromPrim p) => p wX wY -> Non p wX -> Maybe (Non p wY) #

commuteOrRemFromCtx attempts to remove a given patch from a Non. If the patch was not in the Non, then the commute will succeed and the modified Non will be returned. If the commute fails then the patch is either in the Non context, or the Non patch itself; we attempt to remove the patch from the context and then return the non with the updated context.

TODO: understand if there is any case where p is equal to the prim patch of the Non, in which case, we return the original Non, is that right?

commuteOrAddToCtxRL :: forall (p :: Type -> Type -> Type) wX wY. (Apply p, Commute p, Invert p, ToFromPrim p) => RL p wX wY -> Non p wY -> Non p wX #

`commuteOrAddToCtxRL` `xs cy` commutes as many patches of `xs` past `cy` as possible, adding any that don't commute to the context of cy. Suppose we have

    x1 x2 x3 [c1 c2 y]

and that in our example `x1` fails to commute past `c1`, this function would commute down to

    x1 [c1'' c2'' y''] x2' x3'

and return `[x1 c1'' c2'' y'']`

commuteOrRemFromCtxFL :: forall (p :: Type -> Type -> Type) wX wY. (Apply p, Commute p, Invert p, Eq2 p, ToFromPrim p) => FL p wX wY -> Non p wX -> Maybe (Non p wY) #

commuteOrRemFromCtxFL attempts to remove a FL of patches from a Non, returning Nothing if any of the individual removes fail.

remNons :: forall (p :: Type -> Type -> Type) wX. (Nonable p, Effect p, Apply p, Commute p, Invert p, Eq2 p, ToFromPrim p, PrimPatchBase p) => [Non p wX] -> Non p wX -> Non p wX #

(*>) :: (Commute p, Invert p, ToFromPrim p) => Non p wX -> p wX wY -> Maybe (Non p wY) #

(*>) attemts to modify a Non by commuting it past a given patch.

(>*) :: (Commute p, ToFromPrim p) => p wX wY -> Non p wY -> Maybe (Non p wX) #

(>*) attempts to modify a Non, by commuting a given patch past it.

(*>>) :: forall l (p :: Type -> Type -> Type) wX wY. (WL l, Apply p, Commute p, Invert p, ToFromPrim p, PrimPatchBase p) => Non p wX -> l (PrimOf p) wX wY -> Maybe (Non p wY) #

(*>>) attempts to modify a Non by commuting it past a given WL of patches.

(>>*) :: forall l (p :: Type -> Type -> Type) wX wY. (WL l, Apply p, Commute p, Invert p, ToFromPrim p) => l (PrimOf p) wX wY -> Non p wY -> Maybe (Non p wX) #

(>>*) attempts to modify a Non by commuting a given WL of patches past it.