What are you trying to do with HasTwo? Can you give me an example of its use?
Keean. On 13 Jun 2015 10:43 pm, "Matt Oliveri" <[email protected]> wrote: > > Is this supposed to be HasTwo? I don't see how it can be right. You > are using type classes for predicates, correct? And HasTwo is a > predicate. But has_two is not a type class. > > Informally, the ingredient you seem to be leaving out is an > existential quantifier. > > On Sat, Jun 13, 2015 at 7:25 AM, Keean Schupke <[email protected]> wrote: > > has_two :: dif a b => (a, b) > > has_two x y = (x, y) > > > > On 13 Jun 2015 12:14 pm, "Matt Oliveri" <[email protected]> wrote: > >> Although I'm still curious whether HasTwo can be defined as a type > >> class... > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
