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

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" <sargrigory@ya.ru>:

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