11 Aug
2011
11 Aug
'11
11:08 a.m.
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