diff options
| author | Andrew Waterman | 2015-07-16 16:58:09 -0700 |
|---|---|---|
| committer | Andrew Waterman | 2015-07-16 16:58:09 -0700 |
| commit | 595d7118dbb4346dd572563d69ce0e36e6e4342d (patch) | |
| tree | 0e8ab7565d62de968e6941d81414753bac344256 | |
| parent | bf47a60bc654b9ef04d9f26bca3d22d9dfcf7771 (diff) | |
Implement Vec.contains
| -rw-r--r-- | src/main/scala/Core.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/Core.scala b/src/main/scala/Core.scala index d94e08b5..119af0b6 100644 --- a/src/main/scala/Core.scala +++ b/src/main/scala/Core.scala @@ -525,7 +525,7 @@ trait VecLike[T <: Data] extends collection.IndexedSeq[T] { def forall(p: T => Bool): Bool = (this map p).fold(Bool(true))(_&&_) def exists(p: T => Bool): Bool = (this map p).fold(Bool(false))(_||_) - // def contains[T <: Bits](x: T): Bool = this.exists(_ === x) + def contains(x: T) (implicit evidence: T <:< Bits): Bool = this.exists(_ === x) def count(p: T => Bool): UInt = PopCount((this map p).toSeq) private def indexWhereHelper(p: T => Bool) = this map p zip (0 until length).map(i => UInt(i)) |
