| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Unison.Server.NameSearch.Sqlite
Synopsis
- resolveShortHash :: Codebase m v a -> ShortHash -> Transaction (Set LabeledDependency)
- typeReferencesByShortHash :: ShortHash -> Transaction (Set Reference)
- termReferentsByShortHash :: Codebase m v a -> ShortHash -> Transaction (Set Referent)
- data NameSearch m = NameSearch {
- typeSearch :: Search m Reference
- termSearch :: Search m Referent
- nameSearchForPerspective :: Codebase m v a -> NamesPerspective -> NameSearch Transaction
Documentation
resolveShortHash :: Codebase m v a -> ShortHash -> Transaction (Set LabeledDependency) Source #
Resolves a shorthash into any possible matches.
typeReferencesByShortHash :: ShortHash -> Transaction (Set Reference) Source #
Look up types in the codebase by short hash, and include builtins.
termReferentsByShortHash :: Codebase m v a -> ShortHash -> Transaction (Set Referent) Source #
Look up terms in the codebase by short hash, and include builtins.
data NameSearch m Source #
Constructors
| NameSearch | |
Fields
| |
nameSearchForPerspective :: Codebase m v a -> NamesPerspective -> NameSearch Transaction Source #