Merge pull request #252 from gemini-hlsw/preserve-env

add Cursor.envR
typelevel · Aug 15, 2022 · 4736cf5 · 4736cf5
2 parents f609672 + e4a55ef
commit 4736cf5
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/modules/core/src/main/scala/cursor.scala b/modules/core/src/main/scala/cursor.scala
@@ -35,8 +35,17 @@ trait Cursor {
  def tpe: Type = context.tpe
 
  def withEnv(env: Env): Cursor
- def env: Env
+
+ protected def env: Env
+
  def env[T: ClassTag](nme: String): Option[T] = env.get(nme).orElse(parent.flatMap(_.env(nme)))
+
+ def envR[T: ClassTag: TypeName](nme: String): Result[T] =
+ env.getR(nme) match {
+ case err @ Ior.Left(_) => parent.fold[Result[T]](err)(_.envR(nme))
+ case ok => ok
+ }
+
  def fullEnv: Env = parent.map(_.fullEnv).getOrElse(Env.empty).add(env)
 
  /**