diff options
| author | Burak Emir <emir@epfl.ch> | 2006-11-28 16:27:16 +0000 |
|---|---|---|
| committer | Burak Emir <emir@epfl.ch> | 2006-11-28 16:27:16 +0000 |
| commit | 6c468e8927ab8277207b6d21ebe13171509213a8 (patch) | |
| tree | 8ecfa442d51147595831a1a5518c256b2a355a63 /src/library/scala/Product10.scala | |
| parent | c5e9360725ed37e444b3836185be895bc69e5687 (diff) | |
| download | scala-6c468e8927ab8277207b6d21ebe13171509213a8.tar.gz scala-6c468e8927ab8277207b6d21ebe13171509213a8.tar.bz2 scala-6c468e8927ab8277207b6d21ebe13171509213a8.zip | |
more fun with positions, and updated doc
Diffstat (limited to 'src/library/scala/Product10.scala')
| -rw-r--r-- | src/library/scala/Product10.scala | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/library/scala/Product10.scala b/src/library/scala/Product10.scala index 323c6c891a..8ec9ec4bdf 100644 --- a/src/library/scala/Product10.scala +++ b/src/library/scala/Product10.scala @@ -7,11 +7,16 @@ ** |/ ** \* */ -// generated on Tue Nov 28 14:03:53 CET 2006 +// generated on Tue Nov 28 17:25:56 CET 2006 package scala import Predef._ +object Product10 { + def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10](x:Any): Option[Product10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]] = + if(x.isInstanceOf[Product10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]]) Some(x.asInstanceOf[Product10[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10]]) else None +} + /** Product10 is a cartesian product of 10 components */ trait Product10 [+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10] extends Product { |