Selective instance tests

Author: richard-gibson

modules/core/arrow-core-data/src/test/kotlin/arrow/core/Function0Test.kt

@@ -4,14 +4,12 @@ import arrow.Kind
 import arrow.core.extensions.function0.comonad.comonad
 import arrow.core.extensions.function0.monad.monad
 import arrow.core.extensions.function0.monoid.monoid
+import arrow.core.extensions.function0.selective.selective
 import arrow.core.extensions.function0.semigroup.semigroup
 import arrow.core.extensions.monoid
 import arrow.core.extensions.semigroup
 import arrow.test.UnitSpec
-import arrow.test.laws.ComonadLaws
-import arrow.test.laws.MonadLaws
-import arrow.test.laws.MonoidLaws
-import arrow.test.laws.SemigroupLaws
+import arrow.test.laws.*
 import arrow.typeclasses.Eq
 import io.kotlintest.properties.Gen
 import io.kotlintest.runner.junit4.KotlinTestRunner
@@ -29,7 +27,8 @@ class Function0Test : UnitSpec() {
       SemigroupLaws.laws(Function0.semigroup(Int.semigroup()), { 1 }.k(), { 2 }.k(), { 3 }.k(), EQ),
       MonoidLaws.laws(Function0.monoid(Int.monoid()), Gen.constant({ 1 }.k()), EQ),
       MonadLaws.laws(Function0.monad(), EQ),
-      ComonadLaws.laws(Function0.comonad(), { { it }.k() }, EQ)
+      ComonadLaws.laws(Function0.comonad(), { { it }.k() }, EQ),
+      SelectiveLaws.laws(Function0.selective(), EQ)
     )
 
     "Semigroup of Function0<A> is Function0<Semigroup<A>>"() {

modules/core/arrow-core-data/src/test/kotlin/arrow/core/IdTest.kt

@@ -8,6 +8,7 @@ import arrow.core.extensions.id.eq.eq
 import arrow.core.extensions.id.hash.hash
 import arrow.core.extensions.id.monad.monad
 import arrow.core.extensions.id.monoid.monoid
+import arrow.core.extensions.id.selective.selective
 import arrow.core.extensions.id.semigroup.semigroup
 import arrow.core.extensions.id.show.show
 import arrow.core.extensions.id.traverse.traverse
@@ -16,6 +17,7 @@ import arrow.core.extensions.semigroup
 import arrow.test.UnitSpec
 import arrow.test.laws.*
 import arrow.typeclasses.Eq
+import arrow.typeclasses.Selective
 import io.kotlintest.properties.Gen
 import io.kotlintest.properties.forAll
 import io.kotlintest.runner.junit4.KotlinTestRunner
@@ -31,7 +33,8 @@ class IdTest : UnitSpec() {
       MonadLaws.laws(Id.monad(), Eq.any()),
       TraverseLaws.laws(Id.traverse(), Id.applicative(), ::Id, Eq.any()),
       ComonadLaws.laws(Id.comonad(), ::Id, Eq.any()),
-      HashLaws.laws(Id.hash(Int.hash()), Id.eq(Int.eq())) { Id(it) }
+      HashLaws.laws(Id.hash(Int.hash()), Id.eq(Int.eq())) { Id(it) },
+      SelectiveLaws.laws(Id.selective(), Eq.any())
     )
 
     "Semigroup of Id<A> is Id<Semigroup<A>>"() {

modules/core/arrow-core-data/src/test/kotlin/arrow/core/OptionTest.kt

@@ -8,6 +8,7 @@ import arrow.core.extensions.option.applicative.applicative
 import arrow.core.extensions.option.eq.eq
 import arrow.core.extensions.option.hash.hash
 import arrow.core.extensions.option.monoid.monoid
+import arrow.core.extensions.option.selective.selective
 import arrow.core.extensions.option.semigroupal.semigroupal
 import arrow.core.extensions.option.show.show
 import arrow.core.extensions.tuple2.eq.eq
@@ -49,7 +50,8 @@ class OptionTest : UnitSpec() {
       TraverseFilterLaws.laws(Option.traverseFilter(), Option.applicative(), ::Some, Eq.any()),
       MonadFilterLaws.laws(Option.monadFilter(), ::Some, Eq.any()),
       HashLaws.laws(Option.hash(Int.hash()), Option.eq(Int.eq())) { it.some() },
-      SemigroupalLaws.laws(Option.semigroupal(), ::Some, ::bijection, associativeSemigroupalEq)
+      SemigroupalLaws.laws(Option.semigroupal(), ::Some, ::bijection, associativeSemigroupalEq),
+      SelectiveLaws.laws(Option.selective(), Eq.any())
     )
 
     "fromNullable should work for both null and non-null values of nullable types" {