darcs-2.2.0: a distributed, interactive, smart revision control system Source code Contents Index

Darcs.Patch.Non

Description

NonPatch and Non patches are patches that store a context as a sequence of patches. See Darcs.Patch.Real for example usage.

Synopsis

type NonPatch = Non Prim data Non p where Non :: FL p -> Prim -> Non p class Nonable p where non :: p -> Non p unNon :: FromPrim p => Non p -> Sealed (FL p) showNon :: ShowPatch (FL p) => Non p -> Doc readNon :: (ReadPatch p, ParserM m) => m (Maybe (Non p)) showNons :: ShowPatch (FL p) => [Non p] -> Doc readNons :: (ReadPatch p, ParserM m) => m [Non p] add :: (Effect q, Patchy p, ToFromPrim p) => q -> Non p -> Non p rem :: (Effect q, Patchy p, ToFromPrim p) => q -> Non p -> Maybe (Non p) addP :: (Patchy p, ToFromPrim p) => p -> Non p -> Non p remP :: (Patchy p, ToFromPrim p) => p -> Non p -> Maybe (Non p) addPs :: (Patchy p, ToFromPrim p) => RL p -> Non p -> Non p remPs :: (Patchy p, ToFromPrim p) => FL p -> Non p -> Maybe (Non p) remAddP :: (Patchy p, ToFromPrim p) => p -> Non p -> Non p remAddPs :: (Patchy p, ToFromPrim p) => RL p -> Non p -> Non p remNons :: (Nonable p, Effect p, Patchy p, ToFromPrim p, ShowPatch p) => [Non p] -> Non p -> Non p (*>) :: (Patchy p, ToFromPrim p) => Non p -> p -> Maybe (Non p) (>*) :: (Patchy p, ToFromPrim p) => p -> Non p -> Maybe (Non p) (*>>) :: (Effect q, Patchy q, Patchy p, ToFromPrim p) => Non p -> q -> Maybe (Non p) (>>*) :: (Effect q, Patchy p, ToFromPrim p) => q -> Non p -> Maybe (Non p) prop_adjust_twice :: (Patchy p, ToFromPrim p) => p -> Non p -> Maybe Doc

Documentation

type NonPatch = Non Prim Source

data Non p where Source

Non stores a context with a Prim patch. Constructors Non :: FL p -> Prim -> Non p Instances (Commute p, MyEq p) => Eq (Non p) Show2 p => Show (Non p) Show2 p => Show1 (Non p)

class Nonable p where Source

Methods non :: p -> Non p Source Instances Nonable Prim Nonable RealPatch

unNon :: FromPrim p => Non p -> Sealed (FL p) Source

showNon :: ShowPatch (FL p) => Non p -> Doc Source

readNon :: (ReadPatch p, ParserM m) => m (Maybe (Non p)) Source

showNons :: ShowPatch (FL p) => [Non p] -> Doc Source

readNons :: (ReadPatch p, ParserM m) => m [Non p] Source

add :: (Effect q, Patchy p, ToFromPrim p) => q -> Non p -> Non p Source

rem :: (Effect q, Patchy p, ToFromPrim p) => q -> Non p -> Maybe (Non p) Source

addP :: (Patchy p, ToFromPrim p) => p -> Non p -> Non p Source

remP :: (Patchy p, ToFromPrim p) => p -> Non p -> Maybe (Non p) Source

addPs :: (Patchy p, ToFromPrim p) => RL p -> Non p -> Non p Source

remPs :: (Patchy p, ToFromPrim p) => FL p -> Non p -> Maybe (Non p) Source

remAddP :: (Patchy p, ToFromPrim p) => p -> Non p -> Non p Source

remAddPs :: (Patchy p, ToFromPrim p) => RL p -> Non p -> Non p Source

remNons :: (Nonable p, Effect p, Patchy p, ToFromPrim p, ShowPatch p) => [Non p] -> Non p -> Non p Source

(*>) :: (Patchy p, ToFromPrim p) => Non p -> p -> Maybe (Non p) Source

(>*) :: (Patchy p, ToFromPrim p) => p -> Non p -> Maybe (Non p) Source

(*>>) :: (Effect q, Patchy q, Patchy p, ToFromPrim p) => Non p -> q -> Maybe (Non p) Source

(>>*) :: (Effect q, Patchy p, ToFromPrim p) => q -> Non p -> Maybe (Non p) Source

prop_adjust_twice :: (Patchy p, ToFromPrim p) => p -> Non p -> Maybe Doc Source

Produced by Haddock version 2.4.2