| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
U.Codebase.Sqlite.Term.Format
Contents
Synopsis
- type TermRef = Reference' LocalTextId (Maybe LocalDefnId)
- type TypeRef = Reference' LocalTextId LocalDefnId
- type TermLink = Referent' TermRef TypeRef
- type TypeLink = TypeRef
- type LocallyIndexedComponent = LocallyIndexedComponent' TextId ObjectId
- type HashLocallyIndexedComponent = LocallyIndexedComponent' Text Hash32
- newtype LocallyIndexedComponent' t d = LocallyIndexedComponent {
- unLocallyIndexedComponent :: Vector (LocalIds' t d, Term, Type)
- newtype SyncLocallyIndexedComponent' t d = SyncLocallyIndexedComponent (Vector (LocalIds' t d, ByteString))
- type F = F' LocalTextId TermRef TypeRef TermLink TypeLink Symbol
- type FT = F' TypeRef
- type Term = Term F Symbol ()
- type Type = Term FT Symbol ()
- type FTT = F' Reference
- type TypeOfTerm = Term FTT Symbol ()
- type TermFormat = TermFormat' TextId ObjectId
- type HashTermFormat = TermFormat' Text Hash32
- data TermFormat' t d = Term (LocallyIndexedComponent' t d)
- type SyncTermFormat = SyncTermFormat' TextId ObjectId
- data SyncTermFormat' t d = SyncTerm (SyncLocallyIndexedComponent' t d)
- data WatchResultFormat = WatchResult WatchLocalIds Term
- data SyncWatchResultFormat = SyncWatchResult WatchLocalIds ByteString
Documentation
type TermRef = Reference' LocalTextId (Maybe LocalDefnId) Source #
- Builtin terms are represented as local text ids.
- Non-builtin terms are represented as local definition ids, with an added distinguished element (here
Nothing) which represents a self-reference.
type TypeRef = Reference' LocalTextId LocalDefnId Source #
- Builtin types are represented as a local text id.
- Non-builtin types are represented by a local definition id.
type LocallyIndexedComponent = LocallyIndexedComponent' TextId ObjectId Source #
A LocallyIndexedComponent is a vector that has one element per member of the component (invariant: 1+).
Each element is a term, which is represented as:
- Lookup vectors that map local ids to database ids for texts and objects referenced by the term.
- The term itself, with internal references to local ids (offsets into the lookup vectors).
- The term's type, also with internal references to local id.
type HashLocallyIndexedComponent = LocallyIndexedComponent' Text Hash32 Source #
A locally indexed component which uses hash references instead of database ids.
newtype LocallyIndexedComponent' t d Source #
Constructors
| LocallyIndexedComponent | |
Fields
| |
Instances
| (Show t, Show d) => Show (LocallyIndexedComponent' t d) Source # | |
Defined in U.Codebase.Sqlite.Term.Format Methods showsPrec :: Int -> LocallyIndexedComponent' t d -> ShowS # show :: LocallyIndexedComponent' t d -> String # showList :: [LocallyIndexedComponent' t d] -> ShowS # | |
newtype SyncLocallyIndexedComponent' t d Source #
Constructors
| SyncLocallyIndexedComponent (Vector (LocalIds' t d, ByteString)) |
Type of Term
type TermFormat = TermFormat' TextId ObjectId Source #
type HashTermFormat = TermFormat' Text Hash32 Source #
A TermFormat which uses hash references instead of database ids.
data TermFormat' t d Source #
Constructors
| Term (LocallyIndexedComponent' t d) |
data SyncTermFormat' t d Source #
Constructors
| SyncTerm (SyncLocallyIndexedComponent' t d) |
data WatchResultFormat Source #
Constructors
| WatchResult WatchLocalIds Term |
data SyncWatchResultFormat Source #
Constructors
| SyncWatchResult WatchLocalIds ByteString |