Re: [Haskell-cafe] Can I have a typeclass for topological spaces?

It may not be exactly what you want, but I played with https://github.com/luqui/topology-extras/blob/master/TopologyExtras/Topology... a few months ago, it may be a good basis to start with. (no pun intended) On Thu, Aug 11, 2011 at 5:08 PM, Grigory Sarnitskiy wrote:

Oh, I guess the class would look something like that:

class TopologicalSpace a where ifOpen :: (Subset a) -> Bool

and Subset x is a type corresponding to subsets of x.

11.08.2011, 17:52, "Grigory Sarnitskiy" :

...

Hello! I just wonder whether it is possible to have a typeclass for topological spaces?

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

-- Alp Mestanogullari http://alpmestan.wordpress.com/ http://alp.developpez.com/