[Haskell-cafe] Can I have a typeclass for topological spaces?
sargrigory at ya.ru
Thu Aug 11 17:08:24 CEST 2011
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
More information about the Haskell-Cafe