unison-codebase-sqlite-0.0.0

Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.Decl.Format

Synopsis

data DeclFormat' text defn = Decl (LocallyIndexedComponent' text defn)
type DeclFormat = DeclFormat' TextId ObjectId
type HashDeclFormat = DeclFormat' Text Hash32
type LocallyIndexedComponent = LocallyIndexedComponent' TextId ObjectId
newtype LocallyIndexedComponent' t d = LocallyIndexedComponent {
- unLocallyIndexedComponent :: Vector (LocalIds' t d, Decl Symbol)
}
type SyncDeclFormat = SyncDeclFormat' TextId ObjectId
data SyncDeclFormat' t d = SyncDecl (SyncLocallyIndexedComponent' t d)
newtype SyncLocallyIndexedComponent' t d = SyncLocallyIndexedComponent (Vector (LocalIds' t d, ByteString))
type Decl v = DeclR TypeRef v
type Type v = Term F v ()
type F = F' TypeRef
type TypeRef = Reference' LocalTextId (Maybe LocalDefnId)

Documentation

data DeclFormat' text defn Source #

Add new formats here

Constructors

Decl (LocallyIndexedComponent' text defn)

Instances

Instances details

(Show text, Show defn) => Show (DeclFormat' text defn) Source #
Instance details Defined in U.Codebase.Sqlite.Decl.Format Methods showsPrec :: Int -> DeclFormat' text defn -> ShowS # show :: DeclFormat' text defn -> String # showList :: [DeclFormat' text defn] -> ShowS #

type DeclFormat = DeclFormat' TextId ObjectId Source #

type HashDeclFormat = DeclFormat' Text Hash32 Source #

A DeclFormat which uses hash references instead of database ids.

type LocallyIndexedComponent = LocallyIndexedComponent' TextId ObjectId Source #

V1: Decls included Hashes inline V2: Instead of Hash, we use a smaller index.

newtype LocallyIndexedComponent' t d Source #

Constructors

LocallyIndexedComponent
Fields unLocallyIndexedComponent :: Vector (LocalIds' t d, Decl Symbol)

Instances

Instances details

(Show t, Show d) => Show (LocallyIndexedComponent' t d) Source #
Instance details Defined in U.Codebase.Sqlite.Decl.Format Methods showsPrec :: Int -> LocallyIndexedComponent' t d -> ShowS # show :: LocallyIndexedComponent' t d -> String # showList :: [LocallyIndexedComponent' t d] -> ShowS #

type SyncDeclFormat = SyncDeclFormat' TextId ObjectId Source #

data SyncDeclFormat' t d Source #

Constructors

SyncDecl (SyncLocallyIndexedComponent' t d)

newtype SyncLocallyIndexedComponent' t d Source #

Constructors

SyncLocallyIndexedComponent (Vector (LocalIds' t d, ByteString))

type Decl v = DeclR TypeRef v Source #

type Type v = Term F v () Source #

type F = F' TypeRef Source #

type TypeRef = Reference' LocalTextId (Maybe LocalDefnId) Source #