Confused by this type error...

parent 56927369
...@@ -927,13 +927,14 @@ getTableNgrams nId tabType listId limit_ offset ...@@ -927,13 +927,14 @@ getTableNgrams nId tabType listId limit_ offset
type QueryParamR = QueryParam' '[Required, Strict] type QueryParamR = QueryParam' '[Required, Strict]
type TableNgramsApiGet = Summary " Table Ngrams API Get" type TableNgramsApiGet = Summary " Table Ngrams API Get"
:> QueryParamR "docId" DocId
:> QueryParamR "ngramsType" TabType :> QueryParamR "ngramsType" TabType
:> QueryParamR "list" ListId :> QueryParamR "list" ListId
:> QueryParamR "limit" Limit :> QueryParamR "limit" Limit
:> QueryParam "offset" Offset :> QueryParam "offset" Offset
:> QueryParam "listType" ListType :> QueryParam "listType" ListType
:> QueryParam "minTermSize" Int :> QueryParam "minTermSize" MinSize
:> QueryParam "maxTermSize" Int :> QueryParam "maxTermSize" MaxSize
:> QueryParam "search" Text :> QueryParam "search" Text
:> Get '[JSON] (Versioned NgramsTable) :> Get '[JSON] (Versioned NgramsTable)
...@@ -982,25 +983,14 @@ getTableNgramsDoc dId tabType listId limit_ offset listType minSize maxSize _mt ...@@ -982,25 +983,14 @@ getTableNgramsDoc dId tabType listId limit_ offset listType minSize maxSize _mt
--{- --{-
-- TODO Doc Table Ngrams API -- TODO Doc Table Ngrams API
type ApiNgramsTableDoc = TableNgramsApiGet type ApiNgramsTableDoc = TableNgramsApiGet
-- :<|> TableNgramsApiPut :<|> TableNgramsApiPut
-- :<|> TableNgramsApiPost :<|> TableNgramsApiPost
apiNgramsTableDoc :: (RepoCmdM env err m, HasNodeError err, HasConnection env) apiNgramsTableDoc :: (RepoCmdM env err m, HasNodeError err, HasConnection env)
=> DocId -> TabType => ServerT ApiNgramsTableDoc m
-> ListId -> Limit -> Maybe Offset apiNgramsTableDoc = getTableNgramsDoc
-> Maybe ListType
-> Maybe MinSize -> Maybe MaxSize
-> Maybe Text -- full text search
-> m (Versioned NgramsTable)
{- TODO
--apiDocNgramsTable :: ApiDocNgramsTable
--apiDocNgramsTable :: ApiDocNgramsTable
-}
apiDocNgramsTable = getTableNgramsDoc
:<|> tableNgramsPut :<|> tableNgramsPut
:<|> tableNgramsPost :<|> tableNgramsPost
-- > add new ngrams to the repo (TODO NP)
-- > add new ngrams in database (TODO AD) -- > add new ngrams in database (TODO AD)
-- > index all the corpus accordingly (TODO AD) -- > index all the corpus accordingly (TODO AD)
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