Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type SyncEntity = SyncEntity' TextId HashId ObjectId PatchObjectId BranchHashId BranchObjectId CausalHashId
- data SyncEntity' text hash defn patch branchh branch causal
- = TC (SyncTermFormat' text defn)
- | DC (SyncDeclFormat' text defn)
- | N (SyncBranchFormat' branch text defn patch (branch, causal))
- | P (SyncPatchFormat' patch text hash defn)
- | C (SyncCausalFormat' causal branchh)
- entityType :: SyncEntity' text hash defn patch branchh branch causal -> TempEntityType
Documentation
type SyncEntity = SyncEntity' TextId HashId ObjectId PatchObjectId BranchHashId BranchObjectId CausalHashId Source #
data SyncEntity = TC SyncTermFormat | DC SyncDeclFormat | N SyncBranchFormat | P SyncPatchFormat | C SyncCausalFormat
data SyncEntity' text hash defn patch branchh branch causal Source #
TC (SyncTermFormat' text defn) | |
DC (SyncDeclFormat' text defn) | |
N (SyncBranchFormat' branch text defn patch (branch, causal)) | |
P (SyncPatchFormat' patch text hash defn) | |
C (SyncCausalFormat' causal branchh) |
entityType :: SyncEntity' text hash defn patch branchh branch causal -> TempEntityType Source #