Merge pull request #1500 from Philippus/rename-FunctionnalProgramming…

…AndCategoryTheory Rename FunctionnalProgrammingAndCategoryTheory and add migration
scalacenter · Nov 19, 2024 · 3c5d2fd · 3c5d2fd
2 parents 198fb3f + b43df98
commit 3c5d2fd
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/modules/core/shared/src/main/scala/scaladex/core/model/Category.scala b/modules/core/shared/src/main/scala/scaladex/core/model/Category.scala
@@ -73,9 +73,7 @@ object Category {
   case object Compilers extends Category
   case object CodeGeneration extends Category
   case object DependencyInjection extends Category
-  case object FunctionnalProgrammingAndCategoryTheory extends Category {
-    override val title: String = "Functional Programming and Category Theory"
-  }
+  case object FunctionalProgrammingAndCategoryTheory extends Category
   case object LogicProgrammingAndTypeConstraints extends Category
   case object MiscellaneousUtils extends Category
   case object Parsing extends Category

diff --git a/modules/core/shared/src/main/scala/scaladex/core/model/MetaCategory.scala b/modules/core/shared/src/main/scala/scaladex/core/model/MetaCategory.scala
@@ -70,7 +70,7 @@ object MetaCategory {
       Category.CodeGeneration,
       Category.Compilers,
       Category.DependencyInjection,
-      Category.FunctionnalProgrammingAndCategoryTheory,
+      Category.FunctionalProgrammingAndCategoryTheory,
       Category.LogicProgrammingAndTypeConstraints,
       Category.MiscellaneousUtils,
       Category.Parsing,

diff --git a/modules/infra/src/main/resources/migrations/V27__fix_functionnal.sql b/modules/infra/src/main/resources/migrations/V27__fix_functionnal.sql
@@ -0,0 +1 @@
+UPDATE project_settings SET category='functional-programming-and-category-theory' WHERE category='functionnal-programming-and-category-theory';
diff --git a/small-index b/small-index
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		UPDATE project_settings SET category='functional-programming-and-category-theory' WHERE category='functionnal-programming-and-category-theory';
+1 −1		projects/atnos-org/eff/project.json
+1 −1		projects/julien-truffaut/monocle/project.json
+1 −1		projects/precog/matryoshka/project.json
+1 −1		projects/scalaz/scalaz/project.json
+1 −1		projects/tofu-tf/tofu/project.json
+1 −1		projects/typelevel/cats/project.json
+1 −1		projects/zio/zio-prelude/project.json