Sign Up

Sign Up to our social questions and Answers Engine to ask questions, answer people’s questions, and connect with other people.

Have an account? Sign In

Have an account? Sign In Now

Sign In

Login to our social questions & Answers Engine to ask questions answer people’s questions & connect with other people.

Sign Up Here

Forgot Password?

Don't have account, Sign Up Here

Forgot Password

Lost your password? Please enter your email address. You will receive a link and will create a new password via email.

Have an account? Sign In Now

You must login to ask a question.

Forgot Password?

Need An Account, Sign Up Here

Please briefly explain why you feel this question should be reported.

Please briefly explain why you feel this answer should be reported.

Please briefly explain why you feel this user should be reported.

Sign InSign Up

The Archive Base

The Archive Base Logo The Archive Base Logo

The Archive Base Navigation

  • SEARCH
  • Home
  • About Us
  • Blog
  • Contact Us
Search
Ask A Question

Mobile menu

Close
Ask a Question
  • Home
  • Add group
  • Groups page
  • Feed
  • User Profile
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Buy Points
  • Users
  • Help
  • Buy Theme
  • SEARCH
Home/ Questions/Q 6743067
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Editorial Team
Asked: May 26, 20262026-05-26T11:55:03+00:00 2026-05-26T11:55:03+00:00

Consider: def xs(c: String): Option[List[Long]] = … val ys: Stream[Long] = … Now I’d

  • 0

Consider:

def xs(c: String): Option[List[Long]] = ...

val ys: Stream[Long] = ...

Now I’d write a method something like:

def method(oc: Option[String]): Option[Long] = for { 
    c <- oc
    list <- xs(c)
} yield{        
    for {
        first <- ys.find(list contains _)
    } yield first
}

but of course this doesn’t compile, since the inferred type is Option[Option[Long]].

Is there a way in terms of scala syntax and standard library to get an Option[Long]? I know I can pattern match, but the question if it can be done using for comprehensions only just arised.


Thanks to tenshi for the answer, that does the job, however I just encountered another example of my problem:

class T
class U
class A(t: String)(implicit x: T)
def getU(a: A): Option[U] = ...

def getU_2(oc: Option[String]): Option[U] = for{
   c <- oc
} yield{
   implicit val someImplicit: T = new T
   val a = A(c)

   getU(a)
}

I can add a in the for as: a <- Some(A(c)) but what about the implicit? Should that imply a design change in my code?

  • 1 1 Answer
  • 0 Views
  • 0 Followers
  • 0
Share
  • Facebook
  • Report

Leave an answer
Cancel reply

You must login to add an answer.

Forgot Password?

Need An Account, Sign Up Here

1 Answer

  • Voted
  • Oldest
  • Recent
  • Random
  1. Editorial Team
    Editorial Team
    2026-05-26T11:55:03+00:00Added an answer on May 26, 2026 at 11:55 am

    Why are you using 2 nested for comprehensions? Shouldn’t one do the job?

    def method(oc: Option[String]): Option[Long] = 
        for { 
            c <- oc
            list <- xs(c)
            first <- ys.find(list contains _)
        } yield first 
    

    Update

    About your second example. You can define implicit elsewhere and import it or define it in the beginning of the method, but I guess you want to make it’s scope as narrow as possible. In this case you can use block directly in the for comprehension:

    def getU_2(oc: Option[String]): Option[U] = for {
       c <- oc
       a <- {
           implicit val someImplicit: T = new T
           getU(new A(c))
       }
    } yield a
    

    or (probably the simplest) provide implicit parameter explicitly:

    def getU_2(oc: Option[String]): Option[U] = for {
       c <- oc
       a <- getU(new A(c)(new T))
    } yield a 
    
    • 0
    • Reply
    • Share
      Share
      • Share on Facebook
      • Share on Twitter
      • Share on LinkedIn
      • Share on WhatsApp
      • Report

Sidebar

Related Questions

In Flask you write the route above the method declaration like so: @app.route('/search/<location>/') def
Consider the following code: object U { def foo(s:String) = true } val boolType
Consider the following: irb(main):001:0> class A irb(main):002:1> def initialize irb(main):003:2> @string = my string
Consider: List<String> someList = new ArrayList<>(); // add "monkey", "donkey", "skeleton key" to someList
Consider the file bug.scala : package sandbox object Foo { implicit def stringToInt(s: String)
Consider a City Model having: def self.search(field, search) if search where(#{field} LIKE ?, %#{search}%)
Consider this code: class Foo[T : Manifest](val id: String = manifest[T].erasure.getName) I basically want
Consider the following Scala code def NOTImplementedIn[T<: AnyRef](t:T):String = throw new Exception(t.getClass.getName+: Input type
Please consider the following test program (using scala 2.9.0.1) object test { def main(args:Array[String])
Consider the following Scala code: object MainObject { def main(args: Array[String]) { import Integer.{

Explore

  • Home
  • Add group
  • Groups page
  • Communities
  • Questions
    • New Questions
    • Trending Questions
    • Must read Questions
    • Hot Questions
  • Polls
  • Tags
  • Badges
  • Users
  • Help
  • SEARCH

Footer

© 2021 The Archive Base. All Rights Reserved
With Love by The Archive Base

Insert/edit link

Enter the destination URL

Or link to existing content

    No search term specified. Showing recent items. Search or use up and down arrow keys to select an item.