Safe Haskell	None
Language	Haskell2010

Darcs.Patch.Bracketed

Synopsis

data Bracketed p wX wY where
- Singleton :: p wX wY -> Bracketed p wX wY
- Braced :: BracketedFL p wX wY -> Bracketed p wX wY
- Parens :: BracketedFL p wX wY -> Bracketed p wX wY
mapBracketed :: (forall wA wB. p wA wB -> q wA wB) -> Bracketed p wX wY -> Bracketed q wX wY
unBracketed :: Bracketed p wX wY -> FL p wX wY
type BracketedFL p wX wY = FL (Bracketed p) wX wY
mapBracketedFLFL :: (forall wA wB. p wA wB -> q wA wB) -> BracketedFL p wX wY -> BracketedFL q wX wY
unBracketedFL :: BracketedFL p wX wY -> FL p wX wY

Documentation

data Bracketed p wX wY where Source #

This type exists for legacy support of on-disk format patch formats. It is a wrapper type that explicitly tracks the nesting of braces and parens in the on-disk representation of such patches. It is used as an intermediate form when reading such patches normally, and also for round-tripping such patches when checking the hash in bundles. It shouldn't be used for anything else.

Constructors

Singleton :: p wX wY -> Bracketed p wX wY
Braced :: BracketedFL p wX wY -> Bracketed p wX wY
Parens :: BracketedFL p wX wY -> Bracketed p wX wY

Instances

PatchListFormat (Bracketed p) Source #
Instance details Defined in Darcs.Patch.Bracketed Methods patchListFormat :: ListFormat (Bracketed p) Source #
ReadPatch p => ReadPatch (Bracketed p) Source #
Instance details Defined in Darcs.Patch.Read Methods readPatch' :: ParserM m => m (Sealed (Bracketed p wX)) Source #
ShowPatchBasic p => ShowPatchBasic (Bracketed p) Source #
Instance details Defined in Darcs.Patch.Bracketed.Instances Methods showPatch :: ShowPatchFor -> Bracketed p wX wY -> Doc Source #
FromPrim p => FromPrim (Bracketed p) Source #
Instance details Defined in Darcs.Patch.Bracketed.Instances Methods fromPrim :: PrimOf (Bracketed p) wX wY -> Bracketed p wX wY Source #
PrimPatchBase p => PrimPatchBase (Bracketed p) Source #
Instance details Defined in Darcs.Patch.Bracketed.Instances Associated Types type PrimOf (Bracketed p) :: Type -> Type -> Type Source #
Effect p => Effect (Bracketed p) Source #
Instance details Defined in Darcs.Patch.Bracketed.Instances Methods effect :: Bracketed p wX wY -> FL (PrimOf (Bracketed p)) wX wY Source # effectRL :: Bracketed p wX wY -> RL (PrimOf (Bracketed p)) wX wY Source #
type PrimOf (Bracketed p) Source #
Instance details Defined in Darcs.Patch.Bracketed.Instances type PrimOf (Bracketed p) = PrimOf p

mapBracketed :: (forall wA wB. p wA wB -> q wA wB) -> Bracketed p wX wY -> Bracketed q wX wY Source #

unBracketed :: Bracketed p wX wY -> FL p wX wY Source #

type BracketedFL p wX wY = FL (Bracketed p) wX wY Source #

mapBracketedFLFL :: (forall wA wB. p wA wB -> q wA wB) -> BracketedFL p wX wY -> BracketedFL q wX wY Source #

unBracketedFL :: BracketedFL p wX wY -> FL p wX wY Source #