[NGRAMS] Missing type change

parent 9d791a18
...@@ -259,8 +259,11 @@ applyNgramsTablePatch p (NgramsTable m) = ...@@ -259,8 +259,11 @@ applyNgramsTablePatch p (NgramsTable m) =
type State = type State =
{ ngramsTablePatch :: NgramsTablePatch { ngramsTablePatch :: NgramsTablePatch
, ngramsParent :: Maybe NgramsTerm -- Nothing means we are not currently grouping terms , ngramsParent :: Maybe NgramsTerm -- Nothing means we are not currently grouping terms
, ngramsChildren :: Set NgramsTerm -- Used only when grouping, this is the set , ngramsChildren :: Map NgramsTerm Boolean
-- of future children of `ngramsParent`. -- ^ Used only when grouping.
-- This updates the children of `ngramsParent`,
-- ngrams set to `true` are to be added, and `false` to
-- be removed.
, searchQuery :: String , searchQuery :: String
, termListFilter :: Maybe TermList -- Nothing means all , termListFilter :: Maybe TermList -- Nothing means all
, termTypeFilter :: Maybe TermType -- Nothing means all , termTypeFilter :: Maybe TermType -- Nothing means all
......
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