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

Darcs.Patch.Bracketed

Synopsis

Documentation

data Bracketed (p :: Type -> Type -> Type) wX wY where #

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 :: forall (p :: Type -> Type -> Type) wX wY. p wX wY -> Bracketed p wX wY 
Braced :: forall (p :: Type -> Type -> Type) wX wY. BracketedFL p wX wY -> Bracketed p wX wY 
Parens :: forall (p :: Type -> Type -> Type) wX wY. BracketedFL p wX wY -> Bracketed p wX wY 

Instances

Instances details
PatchListFormat (Bracketed p) # 
Instance details

Defined in Darcs.Patch.Bracketed

ReadPatch p => ReadPatch (Bracketed p) # 
Instance details

Defined in Darcs.Patch.Read

Methods

readPatch' :: Parser (Sealed (Bracketed p wX)) #

ShowPatchBasic p => ShowPatchBasic (Bracketed p) # 
Instance details

Defined in Darcs.Patch.Bracketed

Methods

showPatch :: ShowPatchFor -> Bracketed p wX wY -> Doc #

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

unBracketed :: forall (p :: Type -> Type -> Type) wX wY. Bracketed p wX wY -> FL p wX wY #

type BracketedFL (p :: Type -> Type -> Type) 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 :: forall (p :: Type -> Type -> Type) wX wY. BracketedFL p wX wY -> FL p wX wY #