Safe Haskell	Safe-Inferred
Language	Haskell2010

Unison.Sync.Types

Contents

Misc. types
- Entity types
  - Entity Traversals
Request/response types
Common/shared error types

Synopsis

newtype Base64Bytes = Base64Bytes ByteString
newtype RepoInfo = RepoInfo {
- unRepoInfo :: Text
}
data Path = Path {
- pathSegments :: NonEmpty Text
}
pathRepoInfo :: Path -> RepoInfo
pathCodebasePath :: Path -> [Text]
data Entity text noSyncHash hash
- = TC (TermComponent text hash)
- | DC (DeclComponent text hash)
- | P (Patch text noSyncHash hash)
- | PD (PatchDiff text noSyncHash hash)
- | N (Namespace text hash)
- | ND (NamespaceDiff text hash)
- | C (Causal hash)
data TermComponent text hash = TermComponent [(LocalIds text hash, ByteString)]
data DeclComponent text hash = DeclComponent [(LocalIds text hash, ByteString)]
data Patch text oldHash newHash = Patch {
- textLookup :: [text]
- oldHashLookup :: [oldHash]
- newHashLookup :: [newHash]
- bytes :: ByteString
}
data PatchDiff text oldHash hash = PatchDiff {
- parent :: hash
- textLookup :: [text]
- oldHashLookup :: [oldHash]
- newHashLookup :: [hash]
- bytes :: ByteString
}
data Namespace text hash = Namespace {
- textLookup :: [text]
- defnLookup :: [hash]
- patchLookup :: [hash]
- childLookup :: [(hash, hash)]
- bytes :: LocalBranchBytes
}
data NamespaceDiff text hash = NamespaceDiff {
- parent :: hash
- textLookup :: [text]
- defnLookup :: [hash]
- patchLookup :: [hash]
- childLookup :: [(hash, hash)]
- bytes :: LocalBranchBytes
}
data Causal hash = Causal {
- namespaceHash :: hash
- parents :: Set hash
}
data LocalIds text hash = LocalIds {
- texts :: [text]
- hashes :: [hash]
}
entityDependencies :: Ord hash => Entity text noSyncHash hash -> Set hash
data EntityType
- = TermComponentType
- | DeclComponentType
- | PatchType
- | PatchDiffType
- | NamespaceType
- | NamespaceDiffType
- | CausalType
entityHashes_ :: (Applicative m, Ord hash') => (hash -> m hash') -> Entity text noSyncHash hash -> m (Entity text noSyncHash hash')
patchOldHashes_ :: Applicative m => (oldHash -> m oldHash') -> Patch text oldHash newHash -> m (Patch text oldHash' newHash)
patchNewHashes_ :: Applicative m => (newHash -> m newHash') -> Patch text oldHash newHash -> m (Patch text oldHash newHash')
patchDiffHashes_ :: Applicative m => (hash -> m hash') -> PatchDiff text noSyncHash hash -> m (PatchDiff text noSyncHash hash')
namespaceDiffHashes_ :: Applicative m => (hash -> m hash') -> NamespaceDiff text hash -> m (NamespaceDiff text hash')
causalHashes_ :: (Applicative m, Ord hash') => (hash -> m hash') -> Causal hash -> m (Causal hash')
newtype GetCausalHashByPathRequest = GetCausalHashByPathRequest {
- path :: Path
}
data GetCausalHashByPathResponse
- = GetCausalHashByPathSuccess (Maybe HashJWT)
- | GetCausalHashByPathNoReadPermission Path
- | GetCausalHashByPathUserNotFound
- | GetCausalHashByPathInvalidRepoInfo Text RepoInfo
data DownloadEntitiesRequest = DownloadEntitiesRequest {
- repoInfo :: RepoInfo
- hashes :: NESet HashJWT
}
data DownloadEntitiesResponse
- = DownloadEntitiesSuccess (NEMap Hash32 (Entity Text Hash32 HashJWT))
- | DownloadEntitiesFailure DownloadEntitiesError
data DownloadEntitiesError
- = DownloadEntitiesNoReadPermission RepoInfo
- | DownloadEntitiesInvalidRepoInfo Text RepoInfo
- | DownloadEntitiesUserNotFound Text
- | DownloadEntitiesProjectNotFound Text
- | DownloadEntitiesEntityValidationFailure EntityValidationError
data UploadEntitiesRequest = UploadEntitiesRequest {
- repoInfo :: RepoInfo
- entities :: NEMap Hash32 (Entity Text Hash32 Hash32)
}
data UploadEntitiesResponse
- = UploadEntitiesSuccess
- | UploadEntitiesFailure UploadEntitiesError
data UploadEntitiesError
- = UploadEntitiesError'EntityValidationFailure EntityValidationError
- | UploadEntitiesError'HashMismatchForEntity HashMismatchForEntity
- | UploadEntitiesError'InvalidRepoInfo Text RepoInfo
- | UploadEntitiesError'NeedDependencies (NeedDependencies Hash32)
- | UploadEntitiesError'NoWritePermission RepoInfo
- | UploadEntitiesError'ProjectNotFound Text
- | UploadEntitiesError'UserNotFound Text
data HashMismatchForEntity = HashMismatchForEntity {
- supplied :: Hash32
- computed :: Hash32
}
data InvalidParentage = InvalidParentage {
- parent :: Hash32
- child :: Hash32
}
data NeedDependencies hash = NeedDependencies {
- missingDependencies :: NESet hash
}
data EntityValidationError
- = EntityHashMismatch EntityType HashMismatchForEntity
- | UnsupportedEntityType Hash32 EntityType
- | InvalidByteEncoding Hash32 EntityType Text
- | HashResolutionFailure Hash32

Misc. types

newtype Base64Bytes Source #

A newtype for JSON encoding binary data.

Constructors

Base64Bytes ByteString

Instances

Instances details

FromJSON Base64Bytes Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser Base64Bytes # parseJSONList :: Value -> Parser [Base64Bytes] #
ToJSON Base64Bytes Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: Base64Bytes -> Value # toEncoding :: Base64Bytes -> Encoding # toJSONList :: [Base64Bytes] -> Value # toEncodingList :: [Base64Bytes] -> Encoding #

newtype RepoInfo Source #

Constructors

RepoInfo
Fields unRepoInfo :: Text

Instances

Instances details

FromJSON RepoInfo Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser RepoInfo # parseJSONList :: Value -> Parser [RepoInfo] #
ToJSON RepoInfo Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: RepoInfo -> Value # toEncoding :: RepoInfo -> Encoding # toJSONList :: [RepoInfo] -> Value # toEncodingList :: [RepoInfo] -> Encoding #
Show RepoInfo Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> RepoInfo -> ShowS # show :: RepoInfo -> String # showList :: [RepoInfo] -> ShowS #
Eq RepoInfo Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: RepoInfo -> RepoInfo -> Bool # (/=) :: RepoInfo -> RepoInfo -> Bool #
Ord RepoInfo Source #
Instance details Defined in Unison.Sync.Types Methods compare :: RepoInfo -> RepoInfo -> Ordering # (<) :: RepoInfo -> RepoInfo -> Bool # (<=) :: RepoInfo -> RepoInfo -> Bool # (>) :: RepoInfo -> RepoInfo -> Bool # (>=) :: RepoInfo -> RepoInfo -> Bool # max :: RepoInfo -> RepoInfo -> RepoInfo # min :: RepoInfo -> RepoInfo -> RepoInfo #

data Path Source #

Constructors

Path
Fields pathSegments :: NonEmpty Text

Instances

Instances details

FromJSON Path Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser Path # parseJSONList :: Value -> Parser [Path] #
ToJSON Path Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: Path -> Value # toEncoding :: Path -> Encoding # toJSONList :: [Path] -> Value # toEncodingList :: [Path] -> Encoding #
Show Path Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
Eq Path Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #
Ord Path Source #
Instance details Defined in Unison.Sync.Types Methods compare :: Path -> Path -> Ordering # (<) :: Path -> Path -> Bool # (<=) :: Path -> Path -> Bool # (>) :: Path -> Path -> Bool # (>=) :: Path -> Path -> Bool # max :: Path -> Path -> Path # min :: Path -> Path -> Path #

pathRepoInfo :: Path -> RepoInfo Source #

Convert a path like arya.public.mystuff to a "repo info" by treating the first segment as a user handle.

pathCodebasePath :: Path -> [Text] Source #

Entity types

data Entity text noSyncHash hash Source #

Constructors

TC (TermComponent text hash)
DC (DeclComponent text hash)
P (Patch text noSyncHash hash)
PD (PatchDiff text noSyncHash hash)
N (Namespace text hash)
ND (NamespaceDiff text hash)
C (Causal hash)

Instances

Instances details

(FromJSON text, FromJSON noSyncHash, FromJSON hash, Ord hash) => FromJSON (Entity text noSyncHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (Entity text noSyncHash hash) # parseJSONList :: Value -> Parser [Entity text noSyncHash hash] #
(ToJSON text, ToJSON noSyncHash, ToJSON hash) => ToJSON (Entity text noSyncHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: Entity text noSyncHash hash -> Value # toEncoding :: Entity text noSyncHash hash -> Encoding # toJSONList :: [Entity text noSyncHash hash] -> Value # toEncodingList :: [Entity text noSyncHash hash] -> Encoding #
(Show text, Show noSyncHash, Show hash) => Show (Entity text noSyncHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> Entity text noSyncHash hash -> ShowS # show :: Entity text noSyncHash hash -> String # showList :: [Entity text noSyncHash hash] -> ShowS #
(Eq text, Eq noSyncHash, Eq hash) => Eq (Entity text noSyncHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Bool # (/=) :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Bool #
(Ord text, Ord noSyncHash, Ord hash) => Ord (Entity text noSyncHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Ordering # (<) :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Bool # (<=) :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Bool # (>) :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Bool # (>=) :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Bool # max :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Entity text noSyncHash hash # min :: Entity text noSyncHash hash -> Entity text noSyncHash hash -> Entity text noSyncHash hash #

data TermComponent text hash Source #

Constructors

TermComponent [(LocalIds text hash, ByteString)]

Instances

Instances details

Bifoldable TermComponent Source #
Instance details Defined in Unison.Sync.Types Methods bifold :: Monoid m => TermComponent m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> TermComponent a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> TermComponent a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> TermComponent a b -> c #
Bifunctor TermComponent Source #
Instance details Defined in Unison.Sync.Types Methods bimap :: (a -> b) -> (c -> d) -> TermComponent a c -> TermComponent b d # first :: (a -> b) -> TermComponent a c -> TermComponent b c # second :: (b -> c) -> TermComponent a b -> TermComponent a c #
Bitraversable TermComponent Source #
Instance details Defined in Unison.Sync.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> TermComponent a b -> f (TermComponent c d) #
Functor (TermComponent text) Source #
Instance details Defined in Unison.Sync.Types Methods fmap :: (a -> b) -> TermComponent text a -> TermComponent text b # (<$) :: a -> TermComponent text b -> TermComponent text a #
(FromJSON text, FromJSON hash) => FromJSON (TermComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (TermComponent text hash) # parseJSONList :: Value -> Parser [TermComponent text hash] #
(ToJSON text, ToJSON hash) => ToJSON (TermComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: TermComponent text hash -> Value # toEncoding :: TermComponent text hash -> Encoding # toJSONList :: [TermComponent text hash] -> Value # toEncodingList :: [TermComponent text hash] -> Encoding #
(Show text, Show hash) => Show (TermComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> TermComponent text hash -> ShowS # show :: TermComponent text hash -> String # showList :: [TermComponent text hash] -> ShowS #
(Eq text, Eq hash) => Eq (TermComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: TermComponent text hash -> TermComponent text hash -> Bool # (/=) :: TermComponent text hash -> TermComponent text hash -> Bool #
(Ord text, Ord hash) => Ord (TermComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: TermComponent text hash -> TermComponent text hash -> Ordering # (<) :: TermComponent text hash -> TermComponent text hash -> Bool # (<=) :: TermComponent text hash -> TermComponent text hash -> Bool # (>) :: TermComponent text hash -> TermComponent text hash -> Bool # (>=) :: TermComponent text hash -> TermComponent text hash -> Bool # max :: TermComponent text hash -> TermComponent text hash -> TermComponent text hash # min :: TermComponent text hash -> TermComponent text hash -> TermComponent text hash #

data DeclComponent text hash Source #

Constructors

DeclComponent [(LocalIds text hash, ByteString)]

Instances

Instances details

Bifoldable DeclComponent Source #
Instance details Defined in Unison.Sync.Types Methods bifold :: Monoid m => DeclComponent m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> DeclComponent a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> DeclComponent a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> DeclComponent a b -> c #
Bifunctor DeclComponent Source #
Instance details Defined in Unison.Sync.Types Methods bimap :: (a -> b) -> (c -> d) -> DeclComponent a c -> DeclComponent b d # first :: (a -> b) -> DeclComponent a c -> DeclComponent b c # second :: (b -> c) -> DeclComponent a b -> DeclComponent a c #
Bitraversable DeclComponent Source #
Instance details Defined in Unison.Sync.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> DeclComponent a b -> f (DeclComponent c d) #
Functor (DeclComponent text) Source #
Instance details Defined in Unison.Sync.Types Methods fmap :: (a -> b) -> DeclComponent text a -> DeclComponent text b # (<$) :: a -> DeclComponent text b -> DeclComponent text a #
(FromJSON text, FromJSON hash) => FromJSON (DeclComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (DeclComponent text hash) # parseJSONList :: Value -> Parser [DeclComponent text hash] #
(ToJSON text, ToJSON hash) => ToJSON (DeclComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: DeclComponent text hash -> Value # toEncoding :: DeclComponent text hash -> Encoding # toJSONList :: [DeclComponent text hash] -> Value # toEncodingList :: [DeclComponent text hash] -> Encoding #
(Show text, Show hash) => Show (DeclComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> DeclComponent text hash -> ShowS # show :: DeclComponent text hash -> String # showList :: [DeclComponent text hash] -> ShowS #
(Eq text, Eq hash) => Eq (DeclComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: DeclComponent text hash -> DeclComponent text hash -> Bool # (/=) :: DeclComponent text hash -> DeclComponent text hash -> Bool #
(Ord text, Ord hash) => Ord (DeclComponent text hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: DeclComponent text hash -> DeclComponent text hash -> Ordering # (<) :: DeclComponent text hash -> DeclComponent text hash -> Bool # (<=) :: DeclComponent text hash -> DeclComponent text hash -> Bool # (>) :: DeclComponent text hash -> DeclComponent text hash -> Bool # (>=) :: DeclComponent text hash -> DeclComponent text hash -> Bool # max :: DeclComponent text hash -> DeclComponent text hash -> DeclComponent text hash # min :: DeclComponent text hash -> DeclComponent text hash -> DeclComponent text hash #

data Patch text oldHash newHash Source #

Constructors

Patch
Fields textLookup :: [text] oldHashLookup :: [oldHash] newHashLookup :: [newHash] bytes :: ByteString

Instances

Instances details

(FromJSON text, FromJSON oldHash, FromJSON newHash) => FromJSON (Patch text oldHash newHash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (Patch text oldHash newHash) # parseJSONList :: Value -> Parser [Patch text oldHash newHash] #
(ToJSON text, ToJSON oldHash, ToJSON newHash) => ToJSON (Patch text oldHash newHash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: Patch text oldHash newHash -> Value # toEncoding :: Patch text oldHash newHash -> Encoding # toJSONList :: [Patch text oldHash newHash] -> Value # toEncodingList :: [Patch text oldHash newHash] -> Encoding #
(Show text, Show oldHash, Show newHash) => Show (Patch text oldHash newHash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> Patch text oldHash newHash -> ShowS # show :: Patch text oldHash newHash -> String # showList :: [Patch text oldHash newHash] -> ShowS #
(Eq text, Eq oldHash, Eq newHash) => Eq (Patch text oldHash newHash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: Patch text oldHash newHash -> Patch text oldHash newHash -> Bool # (/=) :: Patch text oldHash newHash -> Patch text oldHash newHash -> Bool #
(Ord text, Ord oldHash, Ord newHash) => Ord (Patch text oldHash newHash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: Patch text oldHash newHash -> Patch text oldHash newHash -> Ordering # (<) :: Patch text oldHash newHash -> Patch text oldHash newHash -> Bool # (<=) :: Patch text oldHash newHash -> Patch text oldHash newHash -> Bool # (>) :: Patch text oldHash newHash -> Patch text oldHash newHash -> Bool # (>=) :: Patch text oldHash newHash -> Patch text oldHash newHash -> Bool # max :: Patch text oldHash newHash -> Patch text oldHash newHash -> Patch text oldHash newHash # min :: Patch text oldHash newHash -> Patch text oldHash newHash -> Patch text oldHash newHash #

data PatchDiff text oldHash hash Source #

Constructors

PatchDiff
Fields parent :: hash textLookup :: [text] oldHashLookup :: [oldHash] newHashLookup :: [hash] bytes :: ByteString

Instances

Instances details

(FromJSON text, FromJSON oldHash, FromJSON hash) => FromJSON (PatchDiff text oldHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (PatchDiff text oldHash hash) # parseJSONList :: Value -> Parser [PatchDiff text oldHash hash] #
(ToJSON text, ToJSON oldHash, ToJSON hash) => ToJSON (PatchDiff text oldHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: PatchDiff text oldHash hash -> Value # toEncoding :: PatchDiff text oldHash hash -> Encoding # toJSONList :: [PatchDiff text oldHash hash] -> Value # toEncodingList :: [PatchDiff text oldHash hash] -> Encoding #
(Show hash, Show text, Show oldHash) => Show (PatchDiff text oldHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> PatchDiff text oldHash hash -> ShowS # show :: PatchDiff text oldHash hash -> String # showList :: [PatchDiff text oldHash hash] -> ShowS #
(Eq hash, Eq text, Eq oldHash) => Eq (PatchDiff text oldHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> Bool # (/=) :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> Bool #
(Ord hash, Ord text, Ord oldHash) => Ord (PatchDiff text oldHash hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> Ordering # (<) :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> Bool # (<=) :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> Bool # (>) :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> Bool # (>=) :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> Bool # max :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> PatchDiff text oldHash hash # min :: PatchDiff text oldHash hash -> PatchDiff text oldHash hash -> PatchDiff text oldHash hash #

data Namespace text hash Source #

Constructors

Namespace
Fields textLookup :: [text] defnLookup :: [hash] patchLookup :: [hash] childLookup :: [(hash, hash)] bytes :: LocalBranchBytes

Instances

Instances details

Bifoldable Namespace Source #
Instance details Defined in Unison.Sync.Types Methods bifold :: Monoid m => Namespace m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> Namespace a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> Namespace a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> Namespace a b -> c #
Bifunctor Namespace Source #
Instance details Defined in Unison.Sync.Types Methods bimap :: (a -> b) -> (c -> d) -> Namespace a c -> Namespace b d # first :: (a -> b) -> Namespace a c -> Namespace b c # second :: (b -> c) -> Namespace a b -> Namespace a c #
Bitraversable Namespace Source #
Instance details Defined in Unison.Sync.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> Namespace a b -> f (Namespace c d) #
Functor (Namespace text) Source #
Instance details Defined in Unison.Sync.Types Methods fmap :: (a -> b) -> Namespace text a -> Namespace text b # (<$) :: a -> Namespace text b -> Namespace text a #
(FromJSON text, FromJSON hash) => FromJSON (Namespace text hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (Namespace text hash) # parseJSONList :: Value -> Parser [Namespace text hash] #
(ToJSON text, ToJSON hash) => ToJSON (Namespace text hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: Namespace text hash -> Value # toEncoding :: Namespace text hash -> Encoding # toJSONList :: [Namespace text hash] -> Value # toEncodingList :: [Namespace text hash] -> Encoding #
(Show text, Show hash) => Show (Namespace text hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> Namespace text hash -> ShowS # show :: Namespace text hash -> String # showList :: [Namespace text hash] -> ShowS #
(Eq text, Eq hash) => Eq (Namespace text hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: Namespace text hash -> Namespace text hash -> Bool # (/=) :: Namespace text hash -> Namespace text hash -> Bool #
(Ord text, Ord hash) => Ord (Namespace text hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: Namespace text hash -> Namespace text hash -> Ordering # (<) :: Namespace text hash -> Namespace text hash -> Bool # (<=) :: Namespace text hash -> Namespace text hash -> Bool # (>) :: Namespace text hash -> Namespace text hash -> Bool # (>=) :: Namespace text hash -> Namespace text hash -> Bool # max :: Namespace text hash -> Namespace text hash -> Namespace text hash # min :: Namespace text hash -> Namespace text hash -> Namespace text hash #

data NamespaceDiff text hash Source #

Constructors

NamespaceDiff
Fields parent :: hash textLookup :: [text] defnLookup :: [hash] patchLookup :: [hash] childLookup :: [(hash, hash)] bytes :: LocalBranchBytes

Instances

Instances details

(FromJSON text, FromJSON hash) => FromJSON (NamespaceDiff text hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (NamespaceDiff text hash) # parseJSONList :: Value -> Parser [NamespaceDiff text hash] #
(ToJSON text, ToJSON hash) => ToJSON (NamespaceDiff text hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: NamespaceDiff text hash -> Value # toEncoding :: NamespaceDiff text hash -> Encoding # toJSONList :: [NamespaceDiff text hash] -> Value # toEncodingList :: [NamespaceDiff text hash] -> Encoding #
(Show hash, Show text) => Show (NamespaceDiff text hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> NamespaceDiff text hash -> ShowS # show :: NamespaceDiff text hash -> String # showList :: [NamespaceDiff text hash] -> ShowS #
(Eq hash, Eq text) => Eq (NamespaceDiff text hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: NamespaceDiff text hash -> NamespaceDiff text hash -> Bool # (/=) :: NamespaceDiff text hash -> NamespaceDiff text hash -> Bool #
(Ord hash, Ord text) => Ord (NamespaceDiff text hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: NamespaceDiff text hash -> NamespaceDiff text hash -> Ordering # (<) :: NamespaceDiff text hash -> NamespaceDiff text hash -> Bool # (<=) :: NamespaceDiff text hash -> NamespaceDiff text hash -> Bool # (>) :: NamespaceDiff text hash -> NamespaceDiff text hash -> Bool # (>=) :: NamespaceDiff text hash -> NamespaceDiff text hash -> Bool # max :: NamespaceDiff text hash -> NamespaceDiff text hash -> NamespaceDiff text hash # min :: NamespaceDiff text hash -> NamespaceDiff text hash -> NamespaceDiff text hash #

data Causal hash Source #

Constructors

Causal
Fields namespaceHash :: hash parents :: Set hash

Instances

Instances details

(FromJSON hash, Ord hash) => FromJSON (Causal hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (Causal hash) # parseJSONList :: Value -> Parser [Causal hash] #
ToJSON hash => ToJSON (Causal hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: Causal hash -> Value # toEncoding :: Causal hash -> Encoding # toJSONList :: [Causal hash] -> Value # toEncodingList :: [Causal hash] -> Encoding #
Show hash => Show (Causal hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> Causal hash -> ShowS # show :: Causal hash -> String # showList :: [Causal hash] -> ShowS #
Eq hash => Eq (Causal hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: Causal hash -> Causal hash -> Bool # (/=) :: Causal hash -> Causal hash -> Bool #
Ord hash => Ord (Causal hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: Causal hash -> Causal hash -> Ordering # (<) :: Causal hash -> Causal hash -> Bool # (<=) :: Causal hash -> Causal hash -> Bool # (>) :: Causal hash -> Causal hash -> Bool # (>=) :: Causal hash -> Causal hash -> Bool # max :: Causal hash -> Causal hash -> Causal hash # min :: Causal hash -> Causal hash -> Causal hash #

data LocalIds text hash Source #

Constructors

LocalIds
Fields texts :: [text] hashes :: [hash]

Instances

Instances details

Bifoldable LocalIds Source #
Instance details Defined in Unison.Sync.Types Methods bifold :: Monoid m => LocalIds m m -> m # bifoldMap :: Monoid m => (a -> m) -> (b -> m) -> LocalIds a b -> m # bifoldr :: (a -> c -> c) -> (b -> c -> c) -> c -> LocalIds a b -> c # bifoldl :: (c -> a -> c) -> (c -> b -> c) -> c -> LocalIds a b -> c #
Bifunctor LocalIds Source #
Instance details Defined in Unison.Sync.Types Methods bimap :: (a -> b) -> (c -> d) -> LocalIds a c -> LocalIds b d # first :: (a -> b) -> LocalIds a c -> LocalIds b c # second :: (b -> c) -> LocalIds a b -> LocalIds a c #
Bitraversable LocalIds Source #
Instance details Defined in Unison.Sync.Types Methods bitraverse :: Applicative f => (a -> f c) -> (b -> f d) -> LocalIds a b -> f (LocalIds c d) #
Functor (LocalIds text) Source #
Instance details Defined in Unison.Sync.Types Methods fmap :: (a -> b) -> LocalIds text a -> LocalIds text b # (<$) :: a -> LocalIds text b -> LocalIds text a #
(FromJSON text, FromJSON hash) => FromJSON (LocalIds text hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (LocalIds text hash) # parseJSONList :: Value -> Parser [LocalIds text hash] #
(ToJSON text, ToJSON hash) => ToJSON (LocalIds text hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: LocalIds text hash -> Value # toEncoding :: LocalIds text hash -> Encoding # toJSONList :: [LocalIds text hash] -> Value # toEncodingList :: [LocalIds text hash] -> Encoding #
(Show text, Show hash) => Show (LocalIds text hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> LocalIds text hash -> ShowS # show :: LocalIds text hash -> String # showList :: [LocalIds text hash] -> ShowS #
(Eq text, Eq hash) => Eq (LocalIds text hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: LocalIds text hash -> LocalIds text hash -> Bool # (/=) :: LocalIds text hash -> LocalIds text hash -> Bool #
(Ord text, Ord hash) => Ord (LocalIds text hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: LocalIds text hash -> LocalIds text hash -> Ordering # (<) :: LocalIds text hash -> LocalIds text hash -> Bool # (<=) :: LocalIds text hash -> LocalIds text hash -> Bool # (>) :: LocalIds text hash -> LocalIds text hash -> Bool # (>=) :: LocalIds text hash -> LocalIds text hash -> Bool # max :: LocalIds text hash -> LocalIds text hash -> LocalIds text hash # min :: LocalIds text hash -> LocalIds text hash -> LocalIds text hash #

entityDependencies :: Ord hash => Entity text noSyncHash hash -> Set hash Source #

Get the direct dependencies of an entity (which are actually sync'd).

FIXME use generic-lens here? (typed @hash)

data EntityType Source #

Constructors

TermComponentType
DeclComponentType
PatchType
PatchDiffType
NamespaceType
NamespaceDiffType
CausalType

Instances

Instances details

FromJSON EntityType Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser EntityType # parseJSONList :: Value -> Parser [EntityType] #
ToJSON EntityType Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: EntityType -> Value # toEncoding :: EntityType -> Encoding # toJSONList :: [EntityType] -> Value # toEncodingList :: [EntityType] -> Encoding #
Show EntityType Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> EntityType -> ShowS # show :: EntityType -> String # showList :: [EntityType] -> ShowS #
Eq EntityType Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: EntityType -> EntityType -> Bool # (/=) :: EntityType -> EntityType -> Bool #
Ord EntityType Source #
Instance details Defined in Unison.Sync.Types Methods compare :: EntityType -> EntityType -> Ordering # (<) :: EntityType -> EntityType -> Bool # (<=) :: EntityType -> EntityType -> Bool # (>) :: EntityType -> EntityType -> Bool # (>=) :: EntityType -> EntityType -> Bool # max :: EntityType -> EntityType -> EntityType # min :: EntityType -> EntityType -> EntityType #

Entity Traversals

entityHashes_ :: (Applicative m, Ord hash') => (hash -> m hash') -> Entity text noSyncHash hash -> m (Entity text noSyncHash hash') Source #

patchOldHashes_ :: Applicative m => (oldHash -> m oldHash') -> Patch text oldHash newHash -> m (Patch text oldHash' newHash) Source #

patchNewHashes_ :: Applicative m => (newHash -> m newHash') -> Patch text oldHash newHash -> m (Patch text oldHash newHash') Source #

patchDiffHashes_ :: Applicative m => (hash -> m hash') -> PatchDiff text noSyncHash hash -> m (PatchDiff text noSyncHash hash') Source #

namespaceDiffHashes_ :: Applicative m => (hash -> m hash') -> NamespaceDiff text hash -> m (NamespaceDiff text hash') Source #

causalHashes_ :: (Applicative m, Ord hash') => (hash -> m hash') -> Causal hash -> m (Causal hash') Source #

Request/response types

Get causal hash by path

newtype GetCausalHashByPathRequest Source #

Constructors

GetCausalHashByPathRequest
Fields path :: Path

Instances

Instances details

FromJSON GetCausalHashByPathRequest Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser GetCausalHashByPathRequest # parseJSONList :: Value -> Parser [GetCausalHashByPathRequest] #
ToJSON GetCausalHashByPathRequest Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: GetCausalHashByPathRequest -> Value # toEncoding :: GetCausalHashByPathRequest -> Encoding # toJSONList :: [GetCausalHashByPathRequest] -> Value # toEncodingList :: [GetCausalHashByPathRequest] -> Encoding #
Show GetCausalHashByPathRequest Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> GetCausalHashByPathRequest -> ShowS # show :: GetCausalHashByPathRequest -> String # showList :: [GetCausalHashByPathRequest] -> ShowS #
Eq GetCausalHashByPathRequest Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> Bool # (/=) :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> Bool #
Ord GetCausalHashByPathRequest Source #
Instance details Defined in Unison.Sync.Types Methods compare :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> Ordering # (<) :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> Bool # (<=) :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> Bool # (>) :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> Bool # (>=) :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> Bool # max :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> GetCausalHashByPathRequest # min :: GetCausalHashByPathRequest -> GetCausalHashByPathRequest -> GetCausalHashByPathRequest #

data GetCausalHashByPathResponse Source #

Constructors

GetCausalHashByPathSuccess (Maybe HashJWT)
GetCausalHashByPathNoReadPermission Path
GetCausalHashByPathUserNotFound
GetCausalHashByPathInvalidRepoInfo Text RepoInfo

Instances

Instances details

FromJSON GetCausalHashByPathResponse Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser GetCausalHashByPathResponse # parseJSONList :: Value -> Parser [GetCausalHashByPathResponse] #
ToJSON GetCausalHashByPathResponse Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: GetCausalHashByPathResponse -> Value # toEncoding :: GetCausalHashByPathResponse -> Encoding # toJSONList :: [GetCausalHashByPathResponse] -> Value # toEncodingList :: [GetCausalHashByPathResponse] -> Encoding #
Show GetCausalHashByPathResponse Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> GetCausalHashByPathResponse -> ShowS # show :: GetCausalHashByPathResponse -> String # showList :: [GetCausalHashByPathResponse] -> ShowS #
Eq GetCausalHashByPathResponse Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> Bool # (/=) :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> Bool #
Ord GetCausalHashByPathResponse Source #
Instance details Defined in Unison.Sync.Types Methods compare :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> Ordering # (<) :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> Bool # (<=) :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> Bool # (>) :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> Bool # (>=) :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> Bool # max :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> GetCausalHashByPathResponse # min :: GetCausalHashByPathResponse -> GetCausalHashByPathResponse -> GetCausalHashByPathResponse #

Download entities

data DownloadEntitiesRequest Source #

Constructors

DownloadEntitiesRequest
Fields repoInfo :: RepoInfo hashes :: NESet HashJWT

Instances

Instances details

FromJSON DownloadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser DownloadEntitiesRequest # parseJSONList :: Value -> Parser [DownloadEntitiesRequest] #
ToJSON DownloadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: DownloadEntitiesRequest -> Value # toEncoding :: DownloadEntitiesRequest -> Encoding # toJSONList :: [DownloadEntitiesRequest] -> Value # toEncodingList :: [DownloadEntitiesRequest] -> Encoding #
Show DownloadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> DownloadEntitiesRequest -> ShowS # show :: DownloadEntitiesRequest -> String # showList :: [DownloadEntitiesRequest] -> ShowS #
Eq DownloadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> Bool # (/=) :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> Bool #
Ord DownloadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods compare :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> Ordering # (<) :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> Bool # (<=) :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> Bool # (>) :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> Bool # (>=) :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> Bool # max :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> DownloadEntitiesRequest # min :: DownloadEntitiesRequest -> DownloadEntitiesRequest -> DownloadEntitiesRequest #

data DownloadEntitiesResponse Source #

Constructors

DownloadEntitiesSuccess (NEMap Hash32 (Entity Text Hash32 HashJWT))
DownloadEntitiesFailure DownloadEntitiesError

Instances

Instances details

FromJSON DownloadEntitiesResponse Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser DownloadEntitiesResponse # parseJSONList :: Value -> Parser [DownloadEntitiesResponse] #
ToJSON DownloadEntitiesResponse Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: DownloadEntitiesResponse -> Value # toEncoding :: DownloadEntitiesResponse -> Encoding # toJSONList :: [DownloadEntitiesResponse] -> Value # toEncodingList :: [DownloadEntitiesResponse] -> Encoding #

data DownloadEntitiesError Source #

Constructors

DownloadEntitiesNoReadPermission RepoInfo
DownloadEntitiesInvalidRepoInfo Text RepoInfo	msg, repoInfo
DownloadEntitiesUserNotFound Text	userHandle
DownloadEntitiesProjectNotFound Text	project shorthand
DownloadEntitiesEntityValidationFailure EntityValidationError

Instances

Instances details

Show DownloadEntitiesError Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> DownloadEntitiesError -> ShowS # show :: DownloadEntitiesError -> String # showList :: [DownloadEntitiesError] -> ShowS #
Eq DownloadEntitiesError Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: DownloadEntitiesError -> DownloadEntitiesError -> Bool # (/=) :: DownloadEntitiesError -> DownloadEntitiesError -> Bool #

Upload entities

data UploadEntitiesRequest Source #

Constructors

UploadEntitiesRequest
Fields repoInfo :: RepoInfo entities :: NEMap Hash32 (Entity Text Hash32 Hash32)

Instances

Instances details

FromJSON UploadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser UploadEntitiesRequest # parseJSONList :: Value -> Parser [UploadEntitiesRequest] #
ToJSON UploadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: UploadEntitiesRequest -> Value # toEncoding :: UploadEntitiesRequest -> Encoding # toJSONList :: [UploadEntitiesRequest] -> Value # toEncodingList :: [UploadEntitiesRequest] -> Encoding #
Show UploadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> UploadEntitiesRequest -> ShowS # show :: UploadEntitiesRequest -> String # showList :: [UploadEntitiesRequest] -> ShowS #
Eq UploadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: UploadEntitiesRequest -> UploadEntitiesRequest -> Bool # (/=) :: UploadEntitiesRequest -> UploadEntitiesRequest -> Bool #
Ord UploadEntitiesRequest Source #
Instance details Defined in Unison.Sync.Types Methods compare :: UploadEntitiesRequest -> UploadEntitiesRequest -> Ordering # (<) :: UploadEntitiesRequest -> UploadEntitiesRequest -> Bool # (<=) :: UploadEntitiesRequest -> UploadEntitiesRequest -> Bool # (>) :: UploadEntitiesRequest -> UploadEntitiesRequest -> Bool # (>=) :: UploadEntitiesRequest -> UploadEntitiesRequest -> Bool # max :: UploadEntitiesRequest -> UploadEntitiesRequest -> UploadEntitiesRequest # min :: UploadEntitiesRequest -> UploadEntitiesRequest -> UploadEntitiesRequest #

data UploadEntitiesResponse Source #

Constructors

UploadEntitiesSuccess
UploadEntitiesFailure UploadEntitiesError

Instances

Instances details

FromJSON UploadEntitiesResponse Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser UploadEntitiesResponse # parseJSONList :: Value -> Parser [UploadEntitiesResponse] #
ToJSON UploadEntitiesResponse Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: UploadEntitiesResponse -> Value # toEncoding :: UploadEntitiesResponse -> Encoding # toJSONList :: [UploadEntitiesResponse] -> Value # toEncodingList :: [UploadEntitiesResponse] -> Encoding #
Show UploadEntitiesResponse Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> UploadEntitiesResponse -> ShowS # show :: UploadEntitiesResponse -> String # showList :: [UploadEntitiesResponse] -> ShowS #
Eq UploadEntitiesResponse Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: UploadEntitiesResponse -> UploadEntitiesResponse -> Bool # (/=) :: UploadEntitiesResponse -> UploadEntitiesResponse -> Bool #
Ord UploadEntitiesResponse Source #
Instance details Defined in Unison.Sync.Types Methods compare :: UploadEntitiesResponse -> UploadEntitiesResponse -> Ordering # (<) :: UploadEntitiesResponse -> UploadEntitiesResponse -> Bool # (<=) :: UploadEntitiesResponse -> UploadEntitiesResponse -> Bool # (>) :: UploadEntitiesResponse -> UploadEntitiesResponse -> Bool # (>=) :: UploadEntitiesResponse -> UploadEntitiesResponse -> Bool # max :: UploadEntitiesResponse -> UploadEntitiesResponse -> UploadEntitiesResponse # min :: UploadEntitiesResponse -> UploadEntitiesResponse -> UploadEntitiesResponse #

data UploadEntitiesError Source #

Constructors

UploadEntitiesError'EntityValidationFailure EntityValidationError
UploadEntitiesError'HashMismatchForEntity HashMismatchForEntity
UploadEntitiesError'InvalidRepoInfo Text RepoInfo	msg, repoInfo
UploadEntitiesError'NeedDependencies (NeedDependencies Hash32)
UploadEntitiesError'NoWritePermission RepoInfo
UploadEntitiesError'ProjectNotFound Text	project shorthand
UploadEntitiesError'UserNotFound Text	userHandle

Instances

Instances details

Show UploadEntitiesError Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> UploadEntitiesError -> ShowS # show :: UploadEntitiesError -> String # showList :: [UploadEntitiesError] -> ShowS #
Eq UploadEntitiesError Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: UploadEntitiesError -> UploadEntitiesError -> Bool # (/=) :: UploadEntitiesError -> UploadEntitiesError -> Bool #
Ord UploadEntitiesError Source #
Instance details Defined in Unison.Sync.Types Methods compare :: UploadEntitiesError -> UploadEntitiesError -> Ordering # (<) :: UploadEntitiesError -> UploadEntitiesError -> Bool # (<=) :: UploadEntitiesError -> UploadEntitiesError -> Bool # (>) :: UploadEntitiesError -> UploadEntitiesError -> Bool # (>=) :: UploadEntitiesError -> UploadEntitiesError -> Bool # max :: UploadEntitiesError -> UploadEntitiesError -> UploadEntitiesError # min :: UploadEntitiesError -> UploadEntitiesError -> UploadEntitiesError #

Common/shared error types

data HashMismatchForEntity Source #

Constructors

HashMismatchForEntity
Fields supplied :: Hash32 computed :: Hash32

Instances

Instances details

FromJSON HashMismatchForEntity Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser HashMismatchForEntity # parseJSONList :: Value -> Parser [HashMismatchForEntity] #
ToJSON HashMismatchForEntity Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: HashMismatchForEntity -> Value # toEncoding :: HashMismatchForEntity -> Encoding # toJSONList :: [HashMismatchForEntity] -> Value # toEncodingList :: [HashMismatchForEntity] -> Encoding #
Show HashMismatchForEntity Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> HashMismatchForEntity -> ShowS # show :: HashMismatchForEntity -> String # showList :: [HashMismatchForEntity] -> ShowS #
Eq HashMismatchForEntity Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: HashMismatchForEntity -> HashMismatchForEntity -> Bool # (/=) :: HashMismatchForEntity -> HashMismatchForEntity -> Bool #
Ord HashMismatchForEntity Source #
Instance details Defined in Unison.Sync.Types Methods compare :: HashMismatchForEntity -> HashMismatchForEntity -> Ordering # (<) :: HashMismatchForEntity -> HashMismatchForEntity -> Bool # (<=) :: HashMismatchForEntity -> HashMismatchForEntity -> Bool # (>) :: HashMismatchForEntity -> HashMismatchForEntity -> Bool # (>=) :: HashMismatchForEntity -> HashMismatchForEntity -> Bool # max :: HashMismatchForEntity -> HashMismatchForEntity -> HashMismatchForEntity # min :: HashMismatchForEntity -> HashMismatchForEntity -> HashMismatchForEntity #

data InvalidParentage Source #

Constructors

InvalidParentage
Fields parent :: Hash32 child :: Hash32

Instances

Instances details

FromJSON InvalidParentage Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser InvalidParentage # parseJSONList :: Value -> Parser [InvalidParentage] #
ToJSON InvalidParentage Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: InvalidParentage -> Value # toEncoding :: InvalidParentage -> Encoding # toJSONList :: [InvalidParentage] -> Value # toEncodingList :: [InvalidParentage] -> Encoding #
Show InvalidParentage Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> InvalidParentage -> ShowS # show :: InvalidParentage -> String # showList :: [InvalidParentage] -> ShowS #

data NeedDependencies hash Source #

Constructors

NeedDependencies
Fields missingDependencies :: NESet hash

Instances

Instances details

(FromJSON hash, Ord hash) => FromJSON (NeedDependencies hash) Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser (NeedDependencies hash) # parseJSONList :: Value -> Parser [NeedDependencies hash] #
ToJSON hash => ToJSON (NeedDependencies hash) Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: NeedDependencies hash -> Value # toEncoding :: NeedDependencies hash -> Encoding # toJSONList :: [NeedDependencies hash] -> Value # toEncodingList :: [NeedDependencies hash] -> Encoding #
Show hash => Show (NeedDependencies hash) Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> NeedDependencies hash -> ShowS # show :: NeedDependencies hash -> String # showList :: [NeedDependencies hash] -> ShowS #
Eq hash => Eq (NeedDependencies hash) Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: NeedDependencies hash -> NeedDependencies hash -> Bool # (/=) :: NeedDependencies hash -> NeedDependencies hash -> Bool #
Ord hash => Ord (NeedDependencies hash) Source #
Instance details Defined in Unison.Sync.Types Methods compare :: NeedDependencies hash -> NeedDependencies hash -> Ordering # (<) :: NeedDependencies hash -> NeedDependencies hash -> Bool # (<=) :: NeedDependencies hash -> NeedDependencies hash -> Bool # (>) :: NeedDependencies hash -> NeedDependencies hash -> Bool # (>=) :: NeedDependencies hash -> NeedDependencies hash -> Bool # max :: NeedDependencies hash -> NeedDependencies hash -> NeedDependencies hash # min :: NeedDependencies hash -> NeedDependencies hash -> NeedDependencies hash #

data EntityValidationError Source #

The ways in which validating an entity may fail.

Constructors

EntityHashMismatch EntityType HashMismatchForEntity
UnsupportedEntityType Hash32 EntityType
InvalidByteEncoding Hash32 EntityType Text
HashResolutionFailure Hash32

Instances

Instances details

FromJSON EntityValidationError Source #
Instance details Defined in Unison.Sync.Types Methods parseJSON :: Value -> Parser EntityValidationError # parseJSONList :: Value -> Parser [EntityValidationError] #
ToJSON EntityValidationError Source #
Instance details Defined in Unison.Sync.Types Methods toJSON :: EntityValidationError -> Value # toEncoding :: EntityValidationError -> Encoding # toJSONList :: [EntityValidationError] -> Value # toEncodingList :: [EntityValidationError] -> Encoding #
Exception EntityValidationError Source #
Instance details Defined in Unison.Sync.Types Methods toException :: EntityValidationError -> SomeException # fromException :: SomeException -> Maybe EntityValidationError # displayException :: EntityValidationError -> String #
Show EntityValidationError Source #
Instance details Defined in Unison.Sync.Types Methods showsPrec :: Int -> EntityValidationError -> ShowS # show :: EntityValidationError -> String # showList :: [EntityValidationError] -> ShowS #
Eq EntityValidationError Source #
Instance details Defined in Unison.Sync.Types Methods (==) :: EntityValidationError -> EntityValidationError -> Bool # (/=) :: EntityValidationError -> EntityValidationError -> Bool #
Ord EntityValidationError Source #
Instance details Defined in Unison.Sync.Types Methods compare :: EntityValidationError -> EntityValidationError -> Ordering # (<) :: EntityValidationError -> EntityValidationError -> Bool # (<=) :: EntityValidationError -> EntityValidationError -> Bool # (>) :: EntityValidationError -> EntityValidationError -> Bool # (>=) :: EntityValidationError -> EntityValidationError -> Bool # max :: EntityValidationError -> EntityValidationError -> EntityValidationError # min :: EntityValidationError -> EntityValidationError -> EntityValidationError #