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] # |