Specify identity as the implementation for TrivialDescendant

Portfoligno · Feb 13, 2019 · db98070 · db98070
1 parent 9f7d622
commit db98070
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 7 deletions.
diff --git a/core/src/main/scala/eyrie/ops/TrivialDescendant.scala b/core/src/main/scala/eyrie/ops/TrivialDescendant.scala
@@ -0,0 +1,10 @@
+package eyrie.ops
+
+import simulacrum.typeclass
+
+@typeclass
+trait TrivialDescendant[A] extends Descendant[A, A] {
+  override
+  final def root: A => A =
+    identity
+}
diff --git a/core/src/main/scala/eyrie/ops/package.scala b/core/src/main/scala/eyrie/ops/package.scala
@@ -2,7 +2,5 @@ package eyrie
 
 package object ops {
   type NonSuccessor[A] = GeneralizedSuccessor[A, Nothing, Nothing]
-
-  type TrivialDescendant[A] = Descendant[A, A]
   type NonDescendant[A] = GeneralizedDescendant[A, Nothing]
 }
diff --git a/file/src/main/scala/eyrie/file/instances/RootDirectoryInstances.scala b/file/src/main/scala/eyrie/file/instances/RootDirectoryInstances.scala
@@ -12,8 +12,4 @@ trait RootDirectoryInstances extends EqualityInstances[RootDirectory] {
 
 private
 object FilePathTrivialDescendant extends TrivialDescendant[RootDirectory[Any]]
-  with NonSuccessor[RootDirectory[Any]] {
-  override
-  def root: RootDirectory[Any] => RootDirectory[Any] =
-    identity
-}
+  with NonSuccessor[RootDirectory[Any]]