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