Numeric.Clifford.Internal

Documentation

myTrace :: t -> t1 -> t1

trie :: HasTrie a => forall b. (a -> b) -> :->: a b

Create the trie for the entire domain of a function

untrie :: HasTrie a => forall b. :->: a b -> a -> b

Convert a trie to a function, i.e., access a field of the trie

enumerate :: HasTrie a => forall b. :->: a b -> [(a, b)]

List the trie elements. Order of keys (:: a) is always the same.