Verified Commit 5b9c4f06 authored by Camil Staps's avatar Camil Staps 🚀

Add exactName field for exact queries

parent 9b3230c2
......@@ -19,8 +19,9 @@ from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode
:: Request =
{ unify :: Maybe String //* Functions that unify with this type
, name :: Maybe String //* Entries that match this name
, className :: Maybe String //* Exactly this class
, typeName :: Maybe String //* Exactly this type
, exactName :: Maybe String //* Exactly this name
, className :: Maybe String //* Exactly this name, and a class
, typeName :: Maybe String //* Exactly this name, and a type
, using :: Maybe [String] //* Return everything that uses all of these exact names (types or classes)
, modules :: Maybe [String] //* Modules to search in
, libraries :: Maybe [String] //* Libraries to search in
......
......@@ -111,6 +111,7 @@ where
zero =
{ unify = Nothing
, name = Nothing
, exactName = Nothing
, className = Nothing
, typeName = Nothing
, using = Nothing
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment