CODEWITHSUNDEEP
scalasubtype
Ralph
Ralph

Reputation: 32264

Restrict class to trait and structural subtype in Scala

I need to restrict a Scala method parameter so that it implements both a trait and a structural subtype. How can I do this?

trait Foo
// ...
def someMethod[A <: Foo xxx { def close() }](resource: A)(block: A => Unit) {
  // ...
}

What do I put in place of xxx? I tried both extends and with, but got syntax errors.

Can it be done using a type definition for the structural subtype?

Upvotes: 4

Views: 484

Answers (2)

tenshi
tenshi

Reputation: 26566

Yes, you can use type for this:

type CanBeClosed = {def close()}

def someMethod[A <: Foo with CanBeClosed](resource: A)(block: A => Unit) {
  // ...
}

Recently I also wrote post about similar topic:

http://hacking-scala.posterous.com/composing-your-types-on-fly

Upvotes: 7

agilesteel
agilesteel

Reputation: 16859

I'm actually not sure, if this is the same thing as what tenshi suggested, but it compiles, so try it out...

def someMethod[A <: Foo { def close() }](resource: A)(block: A => Unit) {
  // ...
}

Upvotes: 7

Related Questions