Hi Frank, On Wed, May 29, 2013 at 11:45 PM, Frank Shearar <[email protected]> wrote: > I have a Trait TGroup that requires #*, #identity and #inverse. I want > to construct a TField by composing TGroup with itself. One TGroup will > form the operations #*, #one, and #reciprocal while the other will > form #+, #zero and #negated. > > I don't want #identity or #inverse, because these apply to one > operation, and it makes TField's API ambiguous. That's what > TraitExclusion is for.
maybe a diagram would help -- Damien Cassou http://damiencassou.seasidehosting.st "Success is the ability to go from one failure to another without losing enthusiasm." Winston Churchill
