Add as as an alias of narrow

Portfoligno · Jan 27, 2019 · ac719b9 · ac719b9
1 parent c00b469
commit ac719b9
Show file tree

Hide file tree

Showing 3 changed files with 26 additions and 1 deletion.
diff --git a/core/src/main/scala/eyrie/syntax/ConvertibleSyntax.scala b/core/src/main/scala/eyrie/syntax/ConvertibleSyntax.scala
@@ -19,4 +19,7 @@ final class ConvertibleOps[A](private val a: A) extends AnyVal {
 
   def narrowBy[Qual](implicit F: Convertible.ByQuality[Qual, A]): Option[F.Out] =
     F.narrow(a)
+
+  def as[B](implicit F: Convertible[B, A]): Option[B] =
+    F.narrow(a)
 }
diff --git a/file/src/test/scala/eyrie/file/test/ConvertibleSpec.scala b/file/src/test/scala/eyrie/file/test/ConvertibleSpec.scala
@@ -5,7 +5,7 @@ import java.nio.file.Paths
 import eyrie.{Emptiness, False, Relativity, True}
 import eyrie.file.FilePath.Internal
 import eyrie.file.context.Sys
-import eyrie.file.{FilePath, IdentityFilePath, RelativeFile}
+import eyrie.file.{FilePath, IdentityFilePath, RelativeFile, RootDirectory}
 import org.junit.runner.RunWith
 import org.scalatest.FreeSpec
 import org.scalatest.junit.JUnitRunner
@@ -16,6 +16,9 @@ object ConvertibleSpec {
 
   val relativeFile: RelativeFile[Sys] =
     Internal.RelativeFile(Paths.get("a/b/c"))
+
+  val empty: FilePath.Empty[Sys] =
+    Internal.RootDirectory(Paths.get("a/b/c").toAbsolutePath.getRoot)
 }
 
 @RunWith(classOf[JUnitRunner])
@@ -54,4 +57,15 @@ class ConvertibleSpec extends FreeSpec {
       relativeFile.widenBy[Relativity]: FilePath.NonEmpty[Sys]
     }
   }
+  "FilePath.Empty" - {
+    "typed narrow should work" in {
+      empty.narrow[RootDirectory[Sys]]
+    }
+    "typed narrowBy should work" in {
+      empty.narrowBy[Relativity[False]]
+    }
+    "typed as should work" in {
+      empty.as[RootDirectory[Sys]]
+    }
+  }
 }
diff --git a/file/src/test/scala/eyrie/file/test/PotentialDescendantSpec.scala b/file/src/test/scala/eyrie/file/test/PotentialDescendantSpec.scala
@@ -15,6 +15,9 @@ object PotentialDescendantSpec {
 
   val filePath: FilePath[Sys] =
     Internal.RootDirectory(Paths.get("a/b/c").getRoot)
+
+  val empty: FilePath.Empty[Sys] =
+    Internal.RootDirectory(Paths.get("a/b/c").getRoot)
 }
 
 @RunWith(classOf[JUnitRunner])
@@ -32,4 +35,9 @@ class PotentialDescendantSpec extends FreeSpec {
       filePath.rootOption: Option[RootDirectory[Sys]]
     }
   }
+  "FilePath.Empty" - {
+    "rootOption should be Option of RootDirectory" in {
+      empty.rootOption: Option[RootDirectory[Sys]]
+    }
+  }
 }