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

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

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

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

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

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

data Non p where

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)

type NonPatch = Non Prim

Convenience type for non primitive patches

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

Return as a list the context followed by the primitive patch.

class Nonable p where

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

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

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

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

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

remNonHelper :: (Nonable p, Effect p, Patchy p, ToFromPrim p) => [Non p] -> FL p -> FL Prim :> FL p

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

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

rem :: (Effect q, Patchy p, ToFromPrim p) => q -> 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

(*>) :: (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

Produced by Haddock version 2.4.2