Using Set: Hypergraph type

[Eray Ozkural (exa)]

-----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-----