mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-06-08 01:26:32 -06:00
"Committed_by_peb"
This commit is contained in:
@@ -30,6 +30,8 @@ newtype TrieT a b = TrieT ([(a,TrieT a b)],[b])
|
||||
newtype Trie a b = Trie (Map a (Trie a b), [b])
|
||||
|
||||
emptyTrieT = TrieT ([],[])
|
||||
|
||||
emptyTrie :: Trie a b
|
||||
emptyTrie = Trie (empty,[])
|
||||
|
||||
optimize :: (Ord a,Eq b) => TrieT a b -> Trie a b
|
||||
|
||||
Reference in New Issue
Block a user