Safe Haskell | Safe-Infered |
---|

- data Bracketed p x y where
- Singleton :: p x y -> Bracketed p x y
- Braced :: BracketedFL p x y -> Bracketed p x y
- Parens :: BracketedFL p x y -> Bracketed p x y

- mapBracketed :: (forall a b. p a b -> q a b) -> Bracketed p x y -> Bracketed q x y
- unBracketed :: Bracketed p x y -> FL p x y
- type BracketedFL p x y = FL (Bracketed p) x y
- mapBracketedFL_FL :: (forall a b. p a b -> q a b) -> BracketedFL p x y -> BracketedFL q x y
- unBracketedFL :: BracketedFL p x y -> FL p x y

# Documentation

data Bracketed p x y whereSource

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.

Singleton :: p x y -> Bracketed p x y | |

Braced :: BracketedFL p x y -> Bracketed p x y | |

Parens :: BracketedFL p x y -> Bracketed p x y |

PatchListFormat (Bracketed p) | |

ReadPatch p => ReadPatch (Bracketed p) | |

ShowPatchBasic p => ShowPatchBasic (Bracketed p) |

mapBracketed :: (forall a b. p a b -> q a b) -> Bracketed p x y -> Bracketed q x ySource

unBracketed :: Bracketed p x y -> FL p x ySource

type BracketedFL p x y = FL (Bracketed p) x ySource

mapBracketedFL_FL :: (forall a b. p a b -> q a b) -> BracketedFL p x y -> BracketedFL q x ySource

unBracketedFL :: BracketedFL p x y -> FL p x ySource