| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
U.Codebase.Sqlite.Entity
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 #
Constructors
| 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) |
Instances
| (Show text, Show defn, Show patch, Show causal, Show branch, Show hash, Show branchh) => Show (SyncEntity' text hash defn patch branchh branch causal) Source # | |
Defined in U.Codebase.Sqlite.Entity Methods showsPrec :: Int -> SyncEntity' text hash defn patch branchh branch causal -> ShowS # show :: SyncEntity' text hash defn patch branchh branch causal -> String # showList :: [SyncEntity' text hash defn patch branchh branch causal] -> ShowS # | |
| (Eq text, Eq defn, Eq patch, Eq causal, Eq branch, Eq hash, Eq branchh) => Eq (SyncEntity' text hash defn patch branchh branch causal) Source # | |
Defined in U.Codebase.Sqlite.Entity Methods (==) :: SyncEntity' text hash defn patch branchh branch causal -> SyncEntity' text hash defn patch branchh branch causal -> Bool # (/=) :: SyncEntity' text hash defn patch branchh branch causal -> SyncEntity' text hash defn patch branchh branch causal -> Bool # | |
entityType :: SyncEntity' text hash defn patch branchh branch causal -> TempEntityType Source #