-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Tuesday 04 September 2001 12:43 pm, Eray Ozkural (exa) wrote:
type Hypergraph n = Set (Set n)
-- hgraph constructor -- takes a list of edges hgraph edge_list = unionManySets (map mkSet edge_list)
Well. Obviously my constructor is failing here :)
It should be
hgraph edge_list
= mkSet (map mkSet edge_list)
However, I still can't get it to work!
Hypergraph> :type hgraph [ [1,2], [1] ]
forall a. (Num a, Ord (Set a), Ord a) => Set (Set a)
Hypergraph> elementOf (mkSet [1]) (hgraph [ [1,2], [1] ])
[type errors]
....
Hypergraph> :type (mkSet [1])
forall a. (Num a, Ord a) => Set a
Any help would be greatly appreciated.
Regards,
- --
Eray Ozkural (exa)