@@ -1,4 +1,5 @@
1{-# LANGUAGE GADTs, TypeFamilies, TypeOperators, ScopedTypeVariables, CPP #-}
1{-# LANGUAGE GADTs, TypeFamilies, TypeOperators, ScopedTypeVariables, CPP #-}
2+{-# LANGUAGE StandaloneDeriving, FlexibleInstances #-}
2{-# OPTIONS_GHC -Wall -fenable-rewrite-rules #-}
3{-# OPTIONS_GHC -Wall -fenable-rewrite-rules #-}
3-- ScopedTypeVariables works around a 6.10 bug. The forall keyword is
4-- ScopedTypeVariables works around a 6.10 bug. The forall keyword is
4-- supposed to be recognized in a RULES pragma.
5-- supposed to be recognized in a RULES pragma.
@@ -20,7 +21,7 @@
20----------------------------------------------------------------------
21----------------------------------------------------------------------
22module Data.MemoTrie
23module Data.MemoTrie
23− ( HasTrie, (:->:)(..), trie, untrie, enumerate
24+ ( HasTrie(..), (:->:)(..)
24 , domain, idTrie, (@.@)
25 , domain, idTrie, (@.@)
25 -- , trie2, trie3, untrie2, untrie3
26 -- , trie2, trie3, untrie2, untrie3
26 , memo, memo2, memo3, mup
27 , memo, memo2, memo3, mup