[Haskell-cafe] Can I have a typeclass for topological spaces?
alpmestan at gmail.com
Sat Aug 13 10:33:13 CEST 2011
It may not be exactly what you want, but I played with
few months ago, it may be a good basis to start with. (no pun intended)
On Thu, Aug 11, 2011 at 5:08 PM, Grigory Sarnitskiy <sargrigory at ya.ru>wrote:
> 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
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe