| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
Unison.SyncV2.Types
Synopsis
- data DownloadEntitiesRequest = DownloadEntitiesRequest {}
- data DownloadEntitiesChunk
- data EntityChunk = EntityChunk {}
- data ErrorChunk = ErrorChunk {}
- data StreamInitInfo = StreamInitInfo {}
- data SyncError
- data DownloadEntitiesError
- data CausalDependenciesRequest = CausalDependenciesRequest {}
- data CausalDependenciesChunk = CausalHashDepC {}
- data DependencyType
- newtype CBORBytes t = CBORBytes ByteString
- newtype CBORStream a = CBORStream ByteString
- data EntityKind
- serialiseCBORBytes :: Serialise t => t -> CBORBytes t
- deserialiseOrFailCBORBytes :: Serialise t => CBORBytes t -> Either DeserialiseFailure t
- newtype BranchRef = BranchRef {- unBranchRef :: Text
 
- data PullError
- data EntitySorting
- newtype Version = Version Word16
Documentation
data DownloadEntitiesRequest Source #
Constructors
| DownloadEntitiesRequest | |
| Fields 
 | |
Instances
| FromJSON DownloadEntitiesRequest Source # | |
| Defined in Unison.SyncV2.Types Methods parseJSON :: Value -> Parser DownloadEntitiesRequest # parseJSONList :: Value -> Parser [DownloadEntitiesRequest] # | |
| ToJSON DownloadEntitiesRequest Source # | |
| Defined in Unison.SyncV2.Types Methods toJSON :: DownloadEntitiesRequest -> Value # toEncoding :: DownloadEntitiesRequest -> Encoding # toJSONList :: [DownloadEntitiesRequest] -> Value # | |
| Serialise DownloadEntitiesRequest Source # | |
| Defined in Unison.SyncV2.Types Methods encode :: DownloadEntitiesRequest -> Encoding # decode :: Decoder s DownloadEntitiesRequest # encodeList :: [DownloadEntitiesRequest] -> Encoding # | |
data DownloadEntitiesChunk Source #
A chunk of the download entities response stream.
Constructors
| InitialC StreamInitInfo | |
| EntityC EntityChunk | |
| ErrorC ErrorChunk | 
Instances
data EntityChunk Source #
Constructors
| EntityChunk | |
| Fields 
 | |
Instances
| Show EntityChunk Source # | |
| Defined in Unison.SyncV2.Types Methods showsPrec :: Int -> EntityChunk -> ShowS # show :: EntityChunk -> String # showList :: [EntityChunk] -> ShowS # | |
| Eq EntityChunk Source # | |
| Defined in Unison.SyncV2.Types | |
| Ord EntityChunk Source # | |
| Defined in Unison.SyncV2.Types Methods compare :: EntityChunk -> EntityChunk -> Ordering # (<) :: EntityChunk -> EntityChunk -> Bool # (<=) :: EntityChunk -> EntityChunk -> Bool # (>) :: EntityChunk -> EntityChunk -> Bool # (>=) :: EntityChunk -> EntityChunk -> Bool # max :: EntityChunk -> EntityChunk -> EntityChunk # min :: EntityChunk -> EntityChunk -> EntityChunk # | |
| Serialise EntityChunk Source # | |
| Defined in Unison.SyncV2.Types Methods encode :: EntityChunk -> Encoding # decode :: Decoder s EntityChunk # encodeList :: [EntityChunk] -> Encoding # decodeList :: Decoder s [EntityChunk] # | |
data ErrorChunk Source #
Constructors
| ErrorChunk | |
| Fields | |
Instances
| Show ErrorChunk Source # | |
| Defined in Unison.SyncV2.Types Methods showsPrec :: Int -> ErrorChunk -> ShowS # show :: ErrorChunk -> String # showList :: [ErrorChunk] -> ShowS # | |
| Eq ErrorChunk Source # | |
| Defined in Unison.SyncV2.Types | |
| Ord ErrorChunk Source # | |
| Defined in Unison.SyncV2.Types Methods compare :: ErrorChunk -> ErrorChunk -> Ordering # (<) :: ErrorChunk -> ErrorChunk -> Bool # (<=) :: ErrorChunk -> ErrorChunk -> Bool # (>) :: ErrorChunk -> ErrorChunk -> Bool # (>=) :: ErrorChunk -> ErrorChunk -> Bool # max :: ErrorChunk -> ErrorChunk -> ErrorChunk # min :: ErrorChunk -> ErrorChunk -> ErrorChunk # | |
| Serialise ErrorChunk Source # | |
| Defined in Unison.SyncV2.Types Methods encode :: ErrorChunk -> Encoding # decode :: Decoder s ErrorChunk # encodeList :: [ErrorChunk] -> Encoding # decodeList :: Decoder s [ErrorChunk] # | |
data StreamInitInfo Source #
Constructors
| StreamInitInfo | |
| Fields | |
Instances
Constructors
Instances
| Show SyncError Source # | |
| Eq SyncError Source # | |
| Ord SyncError Source # | |
data DownloadEntitiesError Source #
Constructors
Instances
data CausalDependenciesRequest Source #
Constructors
| CausalDependenciesRequest | |
| Fields 
 | |
Instances
data CausalDependenciesChunk Source #
A chunk of the download entities response stream.
Constructors
| CausalHashDepC | |
| Fields | |
Instances
data DependencyType Source #
Constructors
| CausalSpineDependency | |
| LibDependency | 
Instances
Wrapper for CBOR data that has already been serialized. In our case, we use this because we may load pre-serialized CBOR directly from the database, but it's also useful in allowing us to more quickly seek through a CBOR stream, since we only need to decode the CBOR when/if we actually need to use it, and can skip past it using a byte offset otherwise.
The t phantom type is the type of the data encoded in the bytestring.
Constructors
| CBORBytes ByteString | 
Instances
| Show (CBORBytes t) Source # | |
| Eq (CBORBytes t) Source # | |
| Ord (CBORBytes t) Source # | |
| Defined in Unison.Util.Servant.CBOR | |
| Serialise (CBORBytes t) Source # | |
newtype CBORStream a Source #
Wrapper for a stream of CBOR data. Each chunk may not be a complete CBOR value, but the concatenation of all the chunks is a valid CBOR stream.
Constructors
| CBORStream ByteString | 
Instances
data EntityKind Source #
Constructors
| CausalEntity | |
| NamespaceEntity | |
| TermEntity | |
| TypeEntity | |
| PatchEntity | 
Instances
| Show EntityKind Source # | |
| Defined in Unison.SyncV2.Types Methods showsPrec :: Int -> EntityKind -> ShowS # show :: EntityKind -> String # showList :: [EntityKind] -> ShowS # | |
| Eq EntityKind Source # | |
| Defined in Unison.SyncV2.Types | |
| Ord EntityKind Source # | |
| Defined in Unison.SyncV2.Types Methods compare :: EntityKind -> EntityKind -> Ordering # (<) :: EntityKind -> EntityKind -> Bool # (<=) :: EntityKind -> EntityKind -> Bool # (>) :: EntityKind -> EntityKind -> Bool # (>=) :: EntityKind -> EntityKind -> Bool # max :: EntityKind -> EntityKind -> EntityKind # min :: EntityKind -> EntityKind -> EntityKind # | |
| Serialise EntityKind Source # | |
| Defined in Unison.SyncV2.Types Methods encode :: EntityKind -> Encoding # decode :: Decoder s EntityKind # encodeList :: [EntityKind] -> Encoding # decodeList :: Decoder s [EntityKind] # | |
serialiseCBORBytes :: Serialise t => t -> CBORBytes t Source #
deserialiseOrFailCBORBytes :: Serialise t => CBORBytes t -> Either DeserialiseFailure t Source #
Deserialize a CBORBytes value into its tagged type, throwing an error if the deserialization fails.
Constructors
| BranchRef | |
| Fields 
 | |
Instances
| FromJSON BranchRef Source # | |
| ToJSON BranchRef Source # | |
| Defined in Unison.SyncV2.Types | |
| Show BranchRef Source # | |
| Eq BranchRef Source # | |
| Ord BranchRef Source # | |
| Serialise BranchRef Source # | |
| From (ProjectAndBranch ProjectName ProjectBranchName) BranchRef Source # | |
| Defined in Unison.SyncV2.Types Methods from :: ProjectAndBranch ProjectName ProjectBranchName -> BranchRef # | |
An error occurred while pulling code from Unison Share.
Instances
| Exception PullError Source # | |
| Defined in Unison.SyncV2.Types Methods toException :: PullError -> SomeException # fromException :: SomeException -> Maybe PullError # displayException :: PullError -> String # | |
| Show PullError Source # | |
| Eq PullError Source # | |
| Ord PullError Source # | |
data EntitySorting Source #
Constructors
| DependenciesFirst | |
| Unsorted | 
Instances
| Show EntitySorting Source # | |
| Defined in Unison.SyncV2.Types Methods showsPrec :: Int -> EntitySorting -> ShowS # show :: EntitySorting -> String # showList :: [EntitySorting] -> ShowS # | |
| Eq EntitySorting Source # | |
| Defined in Unison.SyncV2.Types Methods (==) :: EntitySorting -> EntitySorting -> Bool # (/=) :: EntitySorting -> EntitySorting -> Bool # | |
| Ord EntitySorting Source # | |
| Defined in Unison.SyncV2.Types Methods compare :: EntitySorting -> EntitySorting -> Ordering # (<) :: EntitySorting -> EntitySorting -> Bool # (<=) :: EntitySorting -> EntitySorting -> Bool # (>) :: EntitySorting -> EntitySorting -> Bool # (>=) :: EntitySorting -> EntitySorting -> Bool # max :: EntitySorting -> EntitySorting -> EntitySorting # min :: EntitySorting -> EntitySorting -> EntitySorting # | |
| Serialise EntitySorting Source # | |
| Defined in Unison.SyncV2.Types Methods encode :: EntitySorting -> Encoding # decode :: Decoder s EntitySorting # encodeList :: [EntitySorting] -> Encoding # decodeList :: Decoder s [EntitySorting] # | |