What is a sealed trait?

by

A sealed trait can be extended only in the same file as its declaration.

They are often used to provide an alternative to enums. Since they can be only extended in a single file, the compiler knows every possible subtypes and can reason about it.

For instance with the declaration:

sealed trait Answer
case object Yes extends Answer
case object No extends Answer

The compiler will emit a warning if a match is not exhaustive:

scala> val x: Answer = Yes
x: Answer = Yes

scala> x match {
     |   case No => println("No")
     | }
<console>:12: warning: match is not exhaustive!
missing combination            Yes

So you should use sealed traits (or sealed abstract class) if the number of possible subtypes is finite and known in advance. For more examples you can have a look at list and option implementations.

More Related Contents:

  1. What is the difference between self-types and trait subclasses?
  2. Iteration over a sealed trait in Scala?
  3. What is the advantage of using abstract classes instead of traits?
  4. Linearization order in Scala
  5. Mixing in a trait dynamically
  6. When to use val or def in Scala traits?
  7. Cake pattern with overriding abstract type don’t work with Upper Type Bounds
  8. Why can a Scala trait extend a class?
  9. Scala single method interface implementation
  10. How to store custom objects in Dataset?
  11. Is the Scala 2.8 collections library a case of “the longest suicide note in history”? [closed]
  12. What are type lambdas in Scala and what are their benefits?
  13. How do I break out of a loop in Scala?
  14. What Scala web-frameworks are available? [closed]
  15. Scala: Why mapValues produces a view and is there any stable alternatives?
  16. How to zip two (or more) DataFrame in Spark
  17. How to force DataFrame evaluation in Spark
  18. How to convert A[B[C]] to B[A[C]] if A and B are monads?
  19. Why are `private val` and `private final val` different?
  20. How to get path to the uploaded file
  21. Implementing yield (yield return) using Scala continuations
  22. Accessing value returned by scala futures
  23. Accessing the underlying ActorRef of an akka stream Source created by Source.actorRef
  24. Scala and forward references [duplicate]
  25. How do you define a local var/val in the primary constructor in Scala?
  26. Scala 2.10 reflection, how do I extract the field values from a case class, i.e. field list from case class
  27. assembly-merge-strategy issues using sbt-assembly
  28. Understanding the Aux pattern in Scala Type System
  29. Multiple parameter closure argument type not inferred
  30. How to create a Dataset of Maps?

Leave a Comment