| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
U.Codebase.Sqlite.Patch.Full
Synopsis
- type Patch = Patch' TextId HashId ObjectId
- type HashPatch = Patch' Text ComponentHash ComponentHash
- type LocalPatch = Patch' LocalTextId LocalHashId LocalDefnId
- type Referent'' t h = Referent' (Reference' t h) (Reference' t h)
- data Patch' t h o = Patch {
- termEdits :: Map (Referent'' t h) (Set (TermEdit' t o))
- typeEdits :: Map (Reference' t h) (Set (TypeEdit' t o))
- patchT_ :: (Ord t', Ord h, Ord o) => Traversal (Patch' t h o) (Patch' t' h o) t t'
- patchH_ :: (Ord t, Ord h') => Traversal (Patch' t h o) (Patch' t h' o) h h'
- patchO_ :: (Ord t, Ord o') => Traversal (Patch' t h o) (Patch' t h o') o o'
- trimap :: (Ord t', Ord h', Ord o') => (t -> t') -> (h -> h') -> (o -> o') -> Patch' t h o -> Patch' t' h' o'
Documentation
type Patch = Patch' TextId HashId ObjectId Source #
LocalPatch
{ termEdits :: Map ReferentH (Set TermEdit),
typeEdits :: Map ReferenceH (Set TypeEdit)
}
type HashPatch = Patch' Text ComponentHash ComponentHash Source #
A version of Patch' which can be used for hashing.
type LocalPatch = Patch' LocalTextId LocalHashId LocalDefnId Source #
LocalPatch
{ termEdits :: Map LocalReferentH (Set LocalTermEdit),
typeEdits :: Map LocalReferenceH (Set LocalTypeEdit)
}
type Referent'' t h = Referent' (Reference' t h) (Reference' t h) Source #