Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
data PredTrie p t x where Source
A predicative trie is composed of explicit predicate labels (for equality tests of predicates), a type for node labels, and some content type
Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
data PredTrie p t x where Source
A predicative trie is composed of explicit predicate labels (for equality tests of predicates), a type for node labels, and some content type