[NGRAMS] Better patch types

parent cab26234
......@@ -63,9 +63,13 @@ data Replace a
= Keep
| Replace { old :: a, new :: a }
type NgramsPatch = { rem_children :: Set NgramsTerm
, add_children :: Set NgramsTerm
, patch_list :: Replace TermList
newtype PatchSet a = PatchSet
{ rem :: Set a
, add :: Set a
}
type NgramsPatch = { patch_children :: PatchSet NgramsTerm
, patch_list :: Replace TermList
}
type NgramsTablePatch = Map NgramsTerm NgramsPatch
......
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