| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
U.Codebase.Sqlite.Decode
Description
This module contains decoders for blobs stored in SQLite.
Synopsis
- data DecodeError = DecodeError {}
- decodeBranchFormat :: ByteString -> Either DecodeError BranchFormat
- decodeComponentLengthOnly :: ByteString -> Either DecodeError Word64
- decodeDeclElement :: Word64 -> ByteString -> Either DecodeError (LocalIds, Decl Symbol)
- decodeDeclElementNumConstructors :: Word64 -> ByteString -> Either DecodeError Int
- decodeDeclFormat :: ByteString -> Either DecodeError DeclFormat
- decodePatchFormat :: ByteString -> Either DecodeError PatchFormat
- decodeSyncDeclFormat :: ByteString -> Either DecodeError SyncDeclFormat
- decodeSyncNamespaceFormat :: ByteString -> Either DecodeError SyncBranchFormat
- decodeSyncPatchFormat :: ByteString -> Either DecodeError SyncPatchFormat
- decodeSyncTermFormat :: ByteString -> Either DecodeError SyncTermFormat
- decodeSyncTermAndType :: ByteString -> Either DecodeError (Term, Type)
- decodeTermElementDiscardingTerm :: Pos -> ByteString -> Either DecodeError (LocalIds, Type)
- decodeTermElementDiscardingType :: Pos -> ByteString -> Either DecodeError (LocalIds, Term)
- decodeTermElementWithType :: Pos -> ByteString -> Either DecodeError (LocalIds, Term, Type)
- decodeTermFormat :: ByteString -> Either DecodeError TermFormat
- decodeTempCausalFormat :: ByteString -> Either DecodeError TempCausalFormat
- decodeTempDeclFormat :: ByteString -> Either DecodeError TempDeclFormat
- decodeTempNamespaceFormat :: ByteString -> Either DecodeError TempNamespaceFormat
- decodeTempPatchFormat :: ByteString -> Either DecodeError TempPatchFormat
- decodeTempTermFormat :: ByteString -> Either DecodeError TempTermFormat
- decodeWatchResultFormat :: ByteString -> Either DecodeError WatchResultFormat
- unsyncTermComponent :: HasCallStack => SyncLocallyIndexedComponent' t d -> Either DecodeError (LocallyIndexedComponent' t d)
- unsyncDeclComponent :: SyncLocallyIndexedComponent' t d -> Either DecodeError (LocallyIndexedComponent' t d)
Documentation
data DecodeError Source #
Constructors
| DecodeError | |
Instances
| Exception DecodeError Source # | |
Defined in U.Codebase.Sqlite.Decode Methods toException :: DecodeError -> SomeException # fromException :: SomeException -> Maybe DecodeError # displayException :: DecodeError -> String # | |
| Show DecodeError Source # | |
Defined in U.Codebase.Sqlite.Decode Methods showsPrec :: Int -> DecodeError -> ShowS # show :: DecodeError -> String # showList :: [DecodeError] -> ShowS # | |
| SqliteExceptionReason DecodeError Source # | |
Defined in U.Codebase.Sqlite.Decode | |
object.bytes
decodeDeclElement :: Word64 -> ByteString -> Either DecodeError (LocalIds, Decl Symbol) Source #
decodeSyncTermAndType :: ByteString -> Either DecodeError (Term, Type) Source #
N.B. The bytestring here is not the entire object.bytes column --
it's just the serialized term and type from SyncTermFormat.
decodeTermElementDiscardingTerm :: Pos -> ByteString -> Either DecodeError (LocalIds, Type) Source #
decodeTermElementDiscardingType :: Pos -> ByteString -> Either DecodeError (LocalIds, Term) Source #
decodeTermElementWithType :: Pos -> ByteString -> Either DecodeError (LocalIds, Term, Type) Source #