unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-25 01:08:30 +03:00
Code Issues Projects Releases Wiki Activity

remove unused type parameter

Browse Source
This commit is contained in:
Paul Chiusano 2015-11-16 16:31:37 -05:00
parent f7212b0e53
commit dc2897c206
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
shared/src/Unison/Node.hs
View File

@ -35,7 +35,7 @@ import qualified Unison.Typechecker as Typechecker
-- that previously returned incomplete results. Appending characters to a
-- search that returned complete results just filters down the set and
-- can be done client-side, assuming the client has the full result set.
data SearchResults v h t e =
data SearchResults v h e =
SearchResults
{ query :: Metadata.Query
, references :: [(h, Metadata v h)]
@ -79,7 +79,7 @@ data Node m v h t e = Node {
-- | Access the metadata for the term and/or types identified by @k@
metadatas :: [h] -> Noted m (Map h (Metadata v h)),
-- | Search for a term, optionally constrained to be of the given type
search :: e -> Path -> Int -> Metadata.Query -> Maybe t -> Noted m (SearchResults v h t e),
search :: e -> Path -> Int -> Metadata.Query -> Maybe t -> Noted m (SearchResults v h e),
-- | Lookup the source of the term identified by @h@
terms :: [h] -> Noted m (Map h e),
-- | Lookup the dependencies of @h@, optionally limited to those that intersect the given set