Skip to content

Changing Set to Seq #42

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 2 commits into from
Jul 17, 2017
Merged

Changing Set to Seq #42

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
7e13d0c
Changing Set to Seq
aborg0 Jul 8, 2017
6d358d0
Fixed remaining Sets
aborg0 Jul 8, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 10 additions & 10 deletions src/main/scala/shapeless/PolyExercises.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,30 +18,30 @@ import poly.{~>}
*/
object PolyExercises extends FlatSpec with Matchers with org.scalaexercises.definitions.Section {

object choose extends (Set ~> Option) {
def apply[T](s: Set[T]) = s.headOption
object choose extends (Seq ~> Option) {
def apply[T](s: Seq[T]) = s.headOption
}

/** `choose` is a function from Sets to Options with no type specific cases
/** `choose` is a function from Seqs to Options with no type specific cases
* {{{
* object choose extends (Set ~> Option) {
* def apply[T](s : Set[T]) = s.headOption
* object choose extends (Seq ~> Option) {
* def apply[T](s : Seq[T]) = s.headOption
* }
* }}}
*/
def exerciseChoose(res0: Option[Int], res1: Option[Char]) = {
import shapeless.poly._
// choose is a function from Sets to Options with no type specific cases
// choose is a function from Seqs to Options with no type specific cases

choose(Set(1, 2, 3)) should be(res0)
choose(Set('a', 'b', 'c')) should be(res1)
choose(Seq(1, 2, 3)) should be(res0)
choose(Seq('a', 'b', 'c')) should be(res1)
}

/** Being polymorphic, they may be passed as arguments to functions or methods and then applied to values of different types
* within those functions
*/
def exercisePairApply(res0: Option[Int], res1: Option[Char]) = {
def pairApply(f: Set ~> Option) = (f(Set(1, 2, 3)), f(Set('a', 'b', 'c')))
def pairApply(f: Seq ~> Option) = (f(Seq(1, 2, 3)), f(Seq('a', 'b', 'c')))

pairApply(choose) should be(res0, res1)
}
Expand All @@ -51,7 +51,7 @@ object PolyExercises extends FlatSpec with Matchers with org.scalaexercises.defi
* mapped across an ordinary Scala List
*/
def exerciseMonomorphicChoose(res0: Option[Int], res1: Option[Int]) =
(List(Set(1, 3, 5), Set(2, 4, 6)) map choose) should be(List(res0, res1))
(List(Seq(1, 3, 5), Seq(2, 4, 6)) map choose) should be(List(res0, res1))

/** However, they are [[http://www.chuusai.com/2012/05/10/shapeless-polymorphic-function-values-2/ more general than natural transformations]] and are able to capture type-specific cases
* which, as we'll see below, makes them ideal for generic programming,
Expand Down