Moved Type Classes to just after Givens

alvinj · alvinj · commit 18edb3544090 · 2020-12-18T11:00:18.000-07:00
diff --git a/_overviews/scala3-book/ca-context-bounds.md b/_overviews/scala3-book/ca-context-bounds.md
@@ -3,7 +3,7 @@ title: Context Bounds
 type: section
 description: This page demonstrates Context Bounds in Scala 3.
 num: 61
-previous-page: ca-given-using-clauses
+previous-page: types-type-classes
 next-page: ca-given-imports
 ---
 
diff --git a/_overviews/scala3-book/ca-contextual-abstractions-intro.md b/_overviews/scala3-book/ca-contextual-abstractions-intro.md
@@ -2,7 +2,7 @@
 title: Contextual Abstractions
 type: chapter
 description: This chapter provides an introduction to the Scala 3 concept of Contextual Abstractions.
-num: 59
+num: 58
 previous-page: types-others
 next-page: ca-given-using-clauses
 ---
diff --git a/_overviews/scala3-book/ca-given-using-clauses.md b/_overviews/scala3-book/ca-given-using-clauses.md
@@ -2,9 +2,9 @@
 title: Given Instances and Using Clauses
 type: section
 description: This page demonstrates how to use 'given' instances and 'using' clauses in Scala 3.
-num: 60
+num: 59
 previous-page: ca-contextual-abstractions-intro
-next-page: ca-context-bounds
+next-page: types-type-classes
 ---
 
 Scala 3 offers two important feature for contextual abstraction:
diff --git a/_overviews/scala3-book/types-adts-gadts.md b/_overviews/scala3-book/types-adts-gadts.md
@@ -4,7 +4,7 @@ type: section
 description: This section introduces and demonstrates algebraic data types (ADTs) in Scala 3.
 num: 52
 previous-page: types-union
-next-page: types-type-classes
+next-page: types-variance
 ---
 
 
diff --git a/_overviews/scala3-book/types-dependent-function.md b/_overviews/scala3-book/types-dependent-function.md
@@ -2,7 +2,7 @@
 title: Dependent Function Types
 type: section
 description: This section introduces and demonstrates dependent function types in Scala 3.
-num: 57
+num: 56
 previous-page: types-structural
 next-page: types-others
 ---
diff --git a/_overviews/scala3-book/types-opaque-types.md b/_overviews/scala3-book/types-opaque-types.md
@@ -2,7 +2,7 @@
 title: Opaque Types
 type: section
 description: This section introduces and demonstrates opaque types in Scala 3.
-num: 55
+num: 54
 previous-page: types-variance
 next-page: types-structural
 ---
diff --git a/_overviews/scala3-book/types-others.md b/_overviews/scala3-book/types-others.md
@@ -2,7 +2,7 @@
 title: Other Types
 type: section
 description: This section mentions other advanced types in Scala 3.
-num: 58
+num: 57
 previous-page: types-dependent-function
 next-page: ca-contextual-abstractions-intro
 ---
diff --git a/_overviews/scala3-book/types-structural.md b/_overviews/scala3-book/types-structural.md
@@ -2,7 +2,7 @@
 title: Structural Types
 type: section
 description: This section introduces and demonstrates structural types in Scala 3.
-num: 56
+num: 55
 previous-page: types-opaque-types
 next-page: types-dependent-function
 ---
diff --git a/_overviews/scala3-book/types-type-classes.md b/_overviews/scala3-book/types-type-classes.md
@@ -2,9 +2,9 @@
 title: Type Classes
 type: section
 description: This section introduces type classes in Scala 3.
-num: 53
-previous-page: types-adts-gadts
-next-page: types-variance
+num: 60
+previous-page: ca-given-using-clauses
+next-page: ca-context-bounds
 ---
 
 A _type class_ is an abstract, parameterized type that lets you add new behavior to any closed data type without using sub-typing. If you are coming from Java, you can think of type classes as something like [`java.util.Comparator[T]`][comparator].
diff --git a/_overviews/scala3-book/types-variance.md b/_overviews/scala3-book/types-variance.md
@@ -2,8 +2,8 @@
 title: Variance
 type: section
 description: This section introduces and demonstrates variance in Scala 3.
-num: 54
-previous-page: types-type-classes
+num: 53
+previous-page: types-adts-gadts
 next-page: types-opaque-types
 ---
 
