Index
| Adjust | Data.Delta.Map |
| Append | Data.Delta.List, Data.Delta |
| apply | Data.Delta.Core, Data.Delta |
| Base | Data.Delta.Core, Data.Delta, Data.Delta |
| Delete | |
| 1 (Data Constructor) | Data.Delta.Map |
| 2 (Data Constructor) | Data.Delta.Set, Data.Delta |
| Delta | Data.Delta.Core, Data.Delta |
| DeltaList | Data.Delta.List, Data.Delta |
| DeltaMap | Data.Delta.Map |
| DeltaSet | Data.Delta.Set, Data.Delta |
| DeltaSet1 | Data.Delta.Set, Data.Delta |
| deltaSetFromList | Data.Delta.Set, Data.Delta |
| diffSet | Data.Delta.Set, Data.Delta |
| Embedding | Data.Delta.Embedding, Data.Delta |
| Embedding' | |
| 1 (Type/Class) | Data.Delta.Embedding, Data.Delta |
| 2 (Data Constructor) | Data.Delta.Embedding, Data.Delta |
| fromEmbedding | Data.Delta.Embedding, Data.Delta |
| fromState | Data.Delta.Embedding.Internal |
| getSemi | Data.Delta |
| idle | Data.Delta.Embedding.Internal |
| inject | Data.Delta.Embedding, Data.Delta |
| Insert | |
| 1 (Data Constructor) | Data.Delta.Map |
| 2 (Data Constructor) | Data.Delta.Set, Data.Delta |
| liftUpdates | Data.Delta.Embedding, Data.Delta |
| listFromDeltaSet | Data.Delta.Set, Data.Delta |
| load | Data.Delta.Embedding, Data.Delta |
| Machine | |
| 1 (Type/Class) | Data.Delta.Embedding.Internal |
| 2 (Data Constructor) | Data.Delta.Embedding.Internal |
| mkEmbedding | Data.Delta.Embedding, Data.Delta |
| NoChange | |
| 1 (Type/Class) | Data.Delta.Core, Data.Delta |
| 2 (Data Constructor) | Data.Delta.Core, Data.Delta |
| o | Data.Delta |
| pair | Data.Delta.Embedding, Data.Delta |
| pairMachine | Data.Delta.Embedding.Internal |
| project | Data.Delta.Embedding, Data.Delta |
| Replace | |
| 1 (Type/Class) | Data.Delta.Core, Data.Delta |
| 2 (Data Constructor) | Data.Delta.Core, Data.Delta |
| replaceFromApply | Data.Delta.Embedding, Data.Delta |
| Semi | |
| 1 (Type/Class) | Data.Delta |
| 2 (Data Constructor) | Data.Delta |
| Semigroupoid | Data.Delta |
| state_ | Data.Delta.Embedding.Internal |
| step_ | Data.Delta.Embedding.Internal |
| unwrapCategory | Data.Delta |
| update | Data.Delta.Embedding, Data.Delta |
| WrapCategory | Data.Delta |
| WrappedCategory | Data.Delta |
| write | Data.Delta.Embedding, Data.Delta |