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/Product20.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/Product20.scala')
-rw-r--r-- | src/library/scala/Product20.scala | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/library/scala/Product20.scala b/src/library/scala/Product20.scala index 51bdf7057c..73218da8ff 100644 --- a/src/library/scala/Product20.scala +++ b/src/library/scala/Product20.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 Product20 { + def unapply[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20](x:Any): Option[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]] = + if(x.isInstanceOf[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]]) Some(x.asInstanceOf[Product20[T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20]]) else None +} + /** Product20 is a cartesian product of 20 components */ trait Product20 [+T1, +T2, +T3, +T4, +T5, +T6, +T7, +T8, +T9, +T10, +T11, +T12, +T13, +T14, +T15, +T16, +T17, +T18, +T19, +T20] extends Product { |