I'm amazed this works: in array_class:
// searching by relation
fun mem[u] (rel:v*u->bool) (x:t) (e:u): bool =>
mem (fun (i:v) => rel(i, e)) x
;
instance[with Eq[v]] Set[t,v] {
fun \in (elt:v, a:t) => mem eq of (v * v) a elt;
}
and in array just:
open[T,N with Eq[T]] Set[array[T,N],T];
and now
1 \in 1,2,3,4
works. Previously, \in was defined in array, as an instance of Set.
But now, it's an automatic properly of all array kinds.
--
john skaller
skal...@users.sourceforge.net
http://felix-lang.org
------------------------------------------------------------------------------
For Developers, A Lot Can Happen In A Second.
Boundary is the first to Know...and Tell You.
Monitor Your Applications in Ultra-Fine Resolution. Try it FREE!
http://p.sf.net/sfu/Boundary-d2dvs2
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language
