| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
U.Codebase.Sqlite.Patch.Diff
Synopsis
- type PatchDiff = PatchDiff' TextId HashId ObjectId
- type LocalPatchDiff = PatchDiff' LocalTextId LocalHashId LocalDefnId
- type Referent'' t h = Referent' (Reference' t h) (Reference' t h)
- data PatchDiff' t h d = PatchDiff {
- addedTermEdits :: Map (Referent'' t h) (Set (TermEdit' t d))
- addedTypeEdits :: Map (Reference' t h) (Set (TypeEdit' t d))
- removedTermEdits :: Map (Referent'' t h) (Set (TermEdit' t d))
- removedTypeEdits :: Map (Reference' t h) (Set (TypeEdit' t d))
- trimap :: (Ord t', Ord h', Ord d') => (t -> t') -> (h -> h') -> (d -> d') -> PatchDiff' t h d -> PatchDiff' t' h' d'
Documentation
type Referent'' t h = Referent' (Reference' t h) (Reference' t h) Source #
data PatchDiff' t h d Source #
diff. = min. - sub.
Constructors
| PatchDiff | |
Fields
| |
Instances
| (Show t, Show h, Show d) => Show (PatchDiff' t h d) Source # | |
Defined in U.Codebase.Sqlite.Patch.Diff Methods showsPrec :: Int -> PatchDiff' t h d -> ShowS # show :: PatchDiff' t h d -> String # showList :: [PatchDiff' t h d] -> ShowS # | |
| (Eq t, Eq h, Eq d) => Eq (PatchDiff' t h d) Source # | |
Defined in U.Codebase.Sqlite.Patch.Diff Methods (==) :: PatchDiff' t h d -> PatchDiff' t h d -> Bool # (/=) :: PatchDiff' t h d -> PatchDiff' t h d -> Bool # | |
| (Ord t, Ord h, Ord d) => Ord (PatchDiff' t h d) Source # | |
Defined in U.Codebase.Sqlite.Patch.Diff Methods compare :: PatchDiff' t h d -> PatchDiff' t h d -> Ordering # (<) :: PatchDiff' t h d -> PatchDiff' t h d -> Bool # (<=) :: PatchDiff' t h d -> PatchDiff' t h d -> Bool # (>) :: PatchDiff' t h d -> PatchDiff' t h d -> Bool # (>=) :: PatchDiff' t h d -> PatchDiff' t h d -> Bool # max :: PatchDiff' t h d -> PatchDiff' t h d -> PatchDiff' t h d # min :: PatchDiff' t h d -> PatchDiff' t h d -> PatchDiff' t h d # | |
trimap :: (Ord t', Ord h', Ord d') => (t -> t') -> (h -> h') -> (d -> d') -> PatchDiff' t h d -> PatchDiff' t' h' d' Source #