unison-codebase-sqlite-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.Serialization

Contents

Exported for Share

Synopsis

decomposeBranchFormat :: MonadGet m => m SyncBranchFormat
decomposeDeclFormat :: MonadGet m => m SyncDeclFormat
decomposePatchFormat :: MonadGet m => m SyncPatchFormat
decomposeTermFormat :: MonadGet m => m SyncTermFormat
decomposeWatchFormat :: MonadGet m => m SyncWatchResultFormat
getBranchFormat :: MonadGet m => m BranchFormat
getLocalBranch :: MonadGet m => m LocalBranch
getDeclElement :: MonadGet m => m (Decl Symbol)
getDeclElementNumConstructors :: MonadGet m => m Int
getDeclFormat :: MonadGet m => m DeclFormat
getPatchFormat :: MonadGet m => m PatchFormat
getLocalPatch :: MonadGet m => m LocalPatch
getTempCausalFormat :: MonadGet m => m TempCausalFormat
getTempDeclFormat :: MonadGet m => m TempDeclFormat
getTempNamespaceFormat :: MonadGet m => m TempNamespaceFormat
getTempPatchFormat :: MonadGet m => m TempPatchFormat
getTempTermFormat :: MonadGet m => m TempTermFormat
getTermAndType :: MonadGet m => m (Term, Type)
getTypeFromTermAndType :: MonadGet m => m Type
getTermFormat :: MonadGet m => m TermFormat
getWatchResultFormat :: MonadGet m => m WatchResultFormat
lookupDeclElement :: MonadGet m => Pos -> m (LocalIds, Decl Symbol)
lookupDeclElementNumConstructors :: MonadGet m => Pos -> m Int
lookupTermElement :: MonadGet m => Pos -> m (LocalIds, Term, Type)
lookupTermElementDiscardingTerm :: MonadGet m => Pos -> m (LocalIds, Type)
lookupTermElementDiscardingType :: MonadGet m => Pos -> m (LocalIds, Term)
putBranchFormat :: MonadPut m => BranchFormat -> m ()
putDeclFormat :: MonadPut m => DeclFormat -> m ()
putPatchFormat :: MonadPut m => PatchFormat -> m ()
putTempEntity :: MonadPut m => TempEntity -> m ()
putTermFormat :: MonadPut m => TermFormat -> m ()
putWatchResultFormat :: MonadPut m => WatchResultFormat -> m ()
recomposeBranchFormat :: MonadPut m => SyncBranchFormat -> m ()
recomposeDeclFormat :: MonadPut m => SyncDeclFormat -> m ()
recomposePatchFormat :: MonadPut m => SyncPatchFormat -> m ()
recomposeTermFormat :: MonadPut m => SyncTermFormat -> m ()
recomposeWatchFormat :: MonadPut m => SyncWatchResultFormat -> m ()
putTermAndType :: MonadPut m => (Term, Type) -> m ()
putSingleTerm :: MonadPut m => Term -> m ()
putDeclElement :: MonadPut m => DeclR TypeRef Symbol -> m ()
getSingleTerm :: MonadGet m => m Term
putLocalIdsWith :: MonadPut m => (t -> m ()) -> (d -> m ()) -> LocalIds' t d -> m ()
getLocalIdsWith :: MonadGet m => m t -> m d -> m (LocalIds' t d)
putLocalBranch :: MonadPut m => LocalBranch -> m ()
putLocalPatch :: MonadPut m => LocalPatch -> m ()

Documentation

decomposeBranchFormat :: MonadGet m => m SyncBranchFormat Source #

decomposeDeclFormat :: MonadGet m => m SyncDeclFormat Source #

decomposePatchFormat :: MonadGet m => m SyncPatchFormat Source #

decomposeTermFormat :: MonadGet m => m SyncTermFormat Source #

decomposeWatchFormat :: MonadGet m => m SyncWatchResultFormat Source #

getBranchFormat :: MonadGet m => m BranchFormat Source #

getLocalBranch :: MonadGet m => m LocalBranch Source #

getDeclElement :: MonadGet m => m (Decl Symbol) Source #

getDeclElementNumConstructors :: MonadGet m => m Int Source #

Get the number of constructors in a decl element.

getDeclFormat :: MonadGet m => m DeclFormat Source #

getPatchFormat :: MonadGet m => m PatchFormat Source #

getLocalPatch :: MonadGet m => m LocalPatch Source #

getTempCausalFormat :: MonadGet m => m TempCausalFormat Source #

getTempDeclFormat :: MonadGet m => m TempDeclFormat Source #

getTempNamespaceFormat :: MonadGet m => m TempNamespaceFormat Source #

getTempPatchFormat :: MonadGet m => m TempPatchFormat Source #

getTempTermFormat :: MonadGet m => m TempTermFormat Source #

getTermAndType :: MonadGet m => m (Term, Type) Source #

getTypeFromTermAndType :: MonadGet m => m Type Source #

Decode ONLY the type of a term-component element. This is useful during sync and when we need the type of a term component element but don't want to decode the whole term (which can be expensive).

getTermFormat :: MonadGet m => m TermFormat Source #

getWatchResultFormat :: MonadGet m => m WatchResultFormat Source #

lookupDeclElement :: MonadGet m => Pos -> m (LocalIds, Decl Symbol) Source #

lookupDeclElementNumConstructors :: MonadGet m => Pos -> m Int Source #

lookupTermElement :: MonadGet m => Pos -> m (LocalIds, Term, Type) Source #

lookupTermElementDiscardingTerm :: MonadGet m => Pos -> m (LocalIds, Type) Source #

lookupTermElementDiscardingType :: MonadGet m => Pos -> m (LocalIds, Term) Source #

putBranchFormat :: MonadPut m => BranchFormat -> m () Source #

putDeclFormat :: MonadPut m => DeclFormat -> m () Source #

putPatchFormat :: MonadPut m => PatchFormat -> m () Source #

putTempEntity :: MonadPut m => TempEntity -> m () Source #

putTermFormat :: MonadPut m => TermFormat -> m () Source #

putWatchResultFormat :: MonadPut m => WatchResultFormat -> m () Source #

recomposeBranchFormat :: MonadPut m => SyncBranchFormat -> m () Source #

recomposeDeclFormat :: MonadPut m => SyncDeclFormat -> m () Source #

recomposePatchFormat :: MonadPut m => SyncPatchFormat -> m () Source #

recomposeTermFormat :: MonadPut m => SyncTermFormat -> m () Source #

recomposeWatchFormat :: MonadPut m => SyncWatchResultFormat -> m () Source #

Exported for Share

putTermAndType :: MonadPut m => (Term, Type) -> m () Source #

putSingleTerm :: MonadPut m => Term -> m () Source #

Encode a single term without its type or component. Don't use this on its own unless you're encoding a watch result.

putDeclElement :: MonadPut m => DeclR TypeRef Symbol -> m () Source #

getSingleTerm :: MonadGet m => m Term Source #

putLocalIdsWith :: MonadPut m => (t -> m ()) -> (d -> m ()) -> LocalIds' t d -> m () Source #

getLocalIdsWith :: MonadGet m => m t -> m d -> m (LocalIds' t d) Source #

putLocalBranch :: MonadPut m => LocalBranch -> m () Source #

putLocalPatch :: MonadPut m => LocalPatch -> m () Source #