-----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) <erayo@cs.bilkent.edu.tr> Comp. Sci. Dept., Bilkent University, Ankara www: http://www.cs.bilkent.edu.tr/~erayo GPG public key fingerprint: 360C 852F 88B0 A745 F31B EA0F 7C07 AE16 874D 539C -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.6 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE7lKVDfAeuFodNU5wRAtslAJ9Hc9gIo/f+u0HWT8YlJxSOhlg2cgCeKQaj nj0LOmWB6PyI4m/f6adVMeM= =A7m7 -----END PGP SIGNATURE-----