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

[Grigory Sarnitskiy]

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 at ya.ru>:
> Hello! I just wonder whether it is possible to have a typeclass for topological spaces?
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe