Version française
Home     About     Download     Resources     Contact us    
Browse thread
bijective association
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: tmp123@m...
Subject: bijective association
Hello,

Please, knows someone if there are any module who implements a bijective 
association ( 'a <=> 'b)?

functions should be something like (assuming 't is the type of the 
association):
add : 't -> 'a -> 'b -> 't
find_a  : 't -> 'a -> 'b
find_b : 't -> 'b -> 'a
remove : 't -> 'a -> 't
...

If not, which one could be the best option: use two associative lists, 
two maps, two hash tables or others?

Thanks a lot.